Abstract
It is increasingly accepted that the top-down model of the design process is not realistic. Designers often work at many levels of abstraction simultaneously, applying insights gained at one level to modify both specifications and designs at other levels. A development method which will accommodate such opportunistic insights must allow the designer to view and modify the developing design at a variety of different abstraction levels. We propose a design representation suitable for program derivation, intended to support this requirement and to record some non-formal aspects of the design. The model is presented in the form of a VDM specification, together with an outline of a visual editing system for it.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. J. R. Back, On the correctness of refinement steps in program develop-ment. Report A-1978–4, Department of Computer Science, University of Helsinki, 1978.
R. J. R. Back, “Refinement Diagrams”. In Proceedings of the Fourth BCS Refinement Workshop, Springer-Verlag, 1991.
J. Dawes, The VDM-SL Reference Guide. Pitman, 1991.
R. Guindon, H. Krasner and B. Curtis, “Breakdowns and processes during the early activities of software design by professionals”. In G. Olson, S. Sheppard and E. Soloway (eds), Empirical Studies of Programmers: Second Workshop. Ablex (Norwood, N.J. ), 1987.
C. B. Jones, Systematic Software Development Using VDM, 2nd edn. Prentice-Hall International, 1990.
C. B. Jones et al., mural: A Formal Development System. Springer-Verlag, 1991.
C. Morgan, K. Robinson and P. Gardiner, On the Refinement Calculus Technical Monograph PRG-70, Oxford University Computing Laboratory, Programming Research Group.
C. Morgan, Programming from Specifications. Prentice-Hall International, 1990.
J. M. Morris, “Laws of Data refinement”. Acta Informatica, Vol. 26, pp. 309–332, 1989.
M. Naftalin, A Visual Refinement System. Technical Report TR73, Uni- versity of Stirling Department of Computing Science, 1991.
M. Petre, “Expert programmers and programming languages”. In T. Green et al (eds.), Psychology of Programming, Academic Press, 1990.
M. Petre, “Shifts in reasoning about software and hardware systems: must operational models underpin declarative ones?”. Invited paper presented at The Third Workshop of the Psychology of Programming Interest Group ( Huddersfield, January 1991 ).
J. H. Sumiga, J. I. A. Siddiqi, and B. Khazaei, “Use of a Blackboard Framework to Model Software Design”. Proceedings of the Sixth Symposium on Empirical Foundations of Information and Software Sciences, Atlanta, Ga, 1988.
W. Visser, “Strategies in programming programmable controllers: a field study on a professional programmer”. In G. Olson, S. Sheppard and E. Soloway (eds), Empirical Studies of Programmers: Second Workshop. Ablex (Norwood, N.J. ), 1987.
W. Visser and J.-M. Hoc, “Expert Software Design Strategies”. In T.Green et al (eds.), Psychology of Programming, Academic Press, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag London
About this paper
Cite this paper
Naftalin, M. (1992). A Model of the Refinement Process. In: Jones, C.B., Shaw, R.C., Denvir, T. (eds) 5th Refinement Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3550-0_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3550-0_11
Publisher Name: Springer, London
Print ISBN: 978-3-540-19752-2
Online ISBN: 978-1-4471-3550-0
eBook Packages: Springer Book Archive