Open AccessFormalizations in Systems Development
Author(s) -
Lars Mathiassen,
Andreas Munk-Madsen
Publication year - 1985
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v14i193.7465
Subject(s) - computer science , development (topology) , plan (archaeology) , epistemology , mathematics , philosophy , mathematical analysis , archaeology , history
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 plan a combination of a formal and informal approach.