Title :
Towards a rigorous object-oriented analysis and design method
Author :
France, Robert B. ; Bruel, Jean-Michel ; Larrondo-Petrie, M. ; Grant, Emanuel ; Saksena, Monika
Author_Institution :
Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
Abstract :
We present techniques for constructing Z specifications from the analysis and design models of the Fusion method. We show how the specifications can be used to more closely tie the Fusion models together. In particular, we outline how the specifications can be used to support rigorous verification of Fusion design models against analysis models.
Keywords :
formal specification; object-oriented methods; program verification; specification languages; Fusion method; Fusion models; Z specifications; design model verification; object-oriented analysis method; object-oriented design method; Computer science; Design engineering; Design methodology; Laboratories; Object oriented modeling;
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
DOI :
10.1109/ICFEM.1997.630392
