Formal derivation of functional architectural design


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… (More)
DOI: 10.1109/SEFM.2004.18


3 Figures and Tables