From requirements to design: Formalizing the key steps

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003

Volumn , Issue , 2003, Pages 2-11

  Dromey, R G ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DESIGN; FORESTRY; FORMAL METHODS;

COMPONENT ARCHITECTURES; DOMAIN REPRESENTATIONS; EMERGENT PROPERTY; FORMAL REPRESENTATIONS; FUNCTIONAL REQUIREMENT; INDIVIDUAL COMPONENTS; INTEGRATED DESIGNS; REQUIREMENTS TO DESIGNS;

SOFTWARE ENGINEERING;

COMPUTER PROGRAMS; DESIGN; ENGINEERING; PROBLEM SOLVING;

EID: 63149169200     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2003.1236202     Document Type: Conference Paper

References (9)

1. G.Booch, J. Rumbaugh, I Jacobson, The Unified Modelling Language User Guide, Addison-Wesley, Reading, Mass. (1999).
2. A.M.Davis, A Comparison of Techniques for the Specification of External System Behavior, Comm. ACM, vol. 31 (9), 1098-1115, (1988).
3. D.Harel, Statecharts: Visual Formalism for Complex Systems, Sci. Comp. Prog., 8, 231-274 (1987)
4. D. Harel., W. Damm, LSCs: Breathing Life into Message Sequence Charts, 3rs IFIP Conf. On Formal Methods for Open Objected-based Distributed Systems, New York, 1999, Kluwer
5. D. Jackson, Alloy: A Lightweight Object Modelling Notation, MIT Lab. for Comp. Sci. Report (1999)
6. A. Woolfson, Life Without Genes, Flamingo, (2000).
7. S. Shlaer, S.J. Mellor, Object Lifecycles, Yourdon Press, New Jersey, 1992.
8. D. Gries, The Science of Programming, Springer-Verlag, (1981).
9. S.J. Prowell, C.J.Trammell, R.C. Linger, J.H. Poore, Cleanroom Software Engineering: Technology and Process, Addison-Wesley, Reading Mass., (1999).