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.
Cite
CITATION STYLE
Mathiassen, L., & Munk-Madsen, A. (1985). Formalization in systems development. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 186 LNCS, pp. 101–116). Springer Verlag. https://doi.org/10.1007/3-540-15199-0_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
