×

zbMATH — the first resource for mathematics

Domain engineering. (English) Zbl 1194.68100
Boca, Paul P. (ed.) et al., Formal methods: State of the art and new directions. Dedicated to Peter Landin (1930–2009). London: Springer (ISBN 978-1-84882-735-6/hbk; 978-1-84882-736-3/ebook). 1-41 (2010).
Summary: Before software can be designed we must know its requirements. Before requirements can be expressed we must understand the domain. So it follows, from our dogma, that we must first establish precise descriptions of domains; then, from such descriptions, “derive” at least domain and interface requirements; and from those and machine requirements design the software, or, more generally, the computing systems.
For the entire collection see [Zbl 1183.68005].

MSC:
68N99 Theory of software
Software:
CafeOBJ
PDF BibTeX XML Cite
Full Text: DOI