Formalizing the transition from requirements to design

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Volumn , Issue , 2006, Pages 173-205

  Dromey, R Geoff ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85115921723     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1142/9789812772831_0006     Document Type: Chapter

References (15)

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. R.G.Dromey, From Requirements to Design: Formalizing the Key Steps, International Conference on Software Engineering and Formal Methods, (Invited Keynote Address), Brisbane, September, (2003).
4. R.G.Dromey, Using Behavior Trees to Model the Autonomous Shuttle System, 3rd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, (SCESM04), Edinburgh, May, (2004).
5. R.G.Dromey, Behavior Trees: Amplifying Our Ability to Deal With Requirements Complexity, Proceedings Dagstuhl Seminar, September 2003, Scenarios: Models, Transformations and Tools, Lecture Notes in Computer Science, Edited by, Francis Bordeleau, Stefan Leue, and Tarja Systa (to appear).
6. D.Harel, Statecharts: Visual Formalism for Complex Systems, Sci. Comp. Prog., 8, 231-274 (1987).
7. D. Harel., W. Damm, LSCs: Breathing Life into Message Sequence Charts, 3rd IFIP Conf. On Formal Methods for Open Objected-based Distributed Systems, New York, Kluwer (1999).
8. D. Jackson, Alloy: A Lightweight Object Modelling Notation, MIT Lab. for Comp. Sci. Report (1999).
9. S.J. Prowell, C.J.Trammell, and R.C. Linger, J.H. Poore, Cleanroom Software Engineering:Technology and Process, Addison-Wesley, Reading Mass., (1999).
10. J.Rumbaugh, M.Blaha, W.Premerlani, F.Eddy, W.Lorensen, Object-Oriented Modeling and design, Prentice-Hall, Englewood Cliffs, NJ, (1991).
11. S. Shlaer, S.J. Mellor, Object Lifecycles, Yourdon Press, New Jersey, (1992).
12. C. Smith, K.Winter, I.Hayes, R.G. Dromey, P.Lindsay, D.Carrington, An Environment for Building a System Out of Its Requirements, 19th IEEE International Conference on Automated Software Engineering, Linz, Austria, Sept. (2004)
13. L.Wen, R.G.Dromey, From Requirements Change to Design Change: A Formal Path, SEFM04, IEEE International Conference on Software Engineering and Formal Methods, Beijing, September, (2004).
14. K.Winter, Formalising Behavior Trees with CSP, International Conference on Integrated Formal Methods, IFM04, LNCS vol. 2999, 148-167 (2004).
15. A.Woolfson, Life Without Genes, Flamingo, (2000).