Abstract
Formalizations are related both to types of expression and to types of behaviour. The limits to applying formalizations in these two senses are discussed and illustrated by examples from practical systems development. It will be established that formalizations are valuable in some situations, but insufficient in others. The alternative to uncritically using formalizations is that system developers analyse the situations in which they find themselves, and from there choose a combination of a formal and an informal approach.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Boehm, B.W. (1981). Software Engineering Economics. Prentice-Hall.
Brooks, F.P. jr. (1982). The Mythical Man-Month. Addison-Wesley.
Davis, G.B. (1982). Strategies for Information Requirements Determination. IBM Systems Journal, 21. pp. 4–30.
Floyd, C. (1984). A Systematic Look at Prototyping. In Budde,R. et al (Eds.) Approaches to Prototyping. Springer-Verlag.
Freedman, D.P., Weinberg, G.M. (1982). Handbook of Walkthroughs, Inspections, and Technical Reviews. Little, Brown and Co.
Jackson, M.A. (1975). Principles of Program Design. Academic Press.
Jackson, M.A. (1983). System Development. Prentice-Hall.
Kraft, P. (1977). Programmers and Managers. Springer-Verlag.
Lanzara, G.F., Mathiassen, L. (1984). Mapping Situations within a System Development Project. University of Aarhus, DAIMI PB-179.
March, J.G., Simon, H.A. (1958). Organizations. Wiley.
Mathiassen, L. (1981). Systems Development and Systems Development Method. University of Aarhus, DAIMI PB-136 (in Danish).
Munk-Madsen, A. (1984). Practical Problems of System Development Projects. In Sääksjärvi, M. (Eds.). Proceedings of the Seventh Scandinavian Research Seminar on Systemeering. (To appear).
Naur, P., (1982). Formalization in Program Development. BIT, 22, pp. 437–453.
Polya, G. (1957). How to Solve It. Doubleday and Company.
Weinberg, G.M. (1982). Overstructured Management of Software Engineering. Course notes for Problem Solving Leadership Workshop.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mathiassen, L., Munk-Madsen, A. (1985). Formalization in systems development. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_7
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive