Conference
Formal Derivation of Functional Architectural Design
Abstract
One of the drawbacks of mainstream design methods is that their processes are based on crafty procedures rather than on rigorous mathematically founded procedures. Software designers spend a lot of time attempting to come up with an Architectural Design that is very often inefficient and not directly and systematically derived from the requirements. The lack of a systematic and a mathematical way to decompose the requirements into simpler …
Authors
Khedri R; Bourguiba I
Pagination
pp. 356-365
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2004
DOI
10.1109/sefm.2004.1347540
Name of conference
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.