loading...
From Requirements to Design: Formalizing the Key Steps
Brisbane, Australia September 22-September 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236202First International Conference on Sof ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
R.G. Dromey, Griffith University

Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive as we would like. Progress with this fundamental problem is possible once we recognize that individual functional requirements represent fragments of behaviour, while a design that satisfies a set of functional requirements represents integrated behaviour. This perspective admits the prospect of constructing a design out of its requirements. A formal representation for individual functional requirements, called behavior trees makes this possible. Behaviour trees of individual functional requirements may be composed, one at a time, to create an integrated design behaviour tree. From this problem domain representation it is then possible to transition directly and systematically to a solution domain representation of the component architecture of the system and the behaviour designs of the individual components that make up the system — both are emergent properties.

"Finding deep simplicities in a complex logical task leads to work reduction"- Harlan Mills.

Citation:
R.G. Dromey, "From Requirements to Design: Formalizing the Key Steps," sefm, pp.2, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.