The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 7
R.B. France , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
J.-M. Bruel , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
M. Larrondo-Petrie , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
E. Grant , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
M. Saksena , 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.
INDEX TERMS
object-oriented methods; object-oriented analysis method; object-oriented design method; Z specifications; Fusion method; Fusion models; design model verification
CITATION

M. Larrondo-Petrie, R. France, J. Bruel, M. Saksena and E. Grant, "Towards a rigorous object-oriented analysis and design method," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 7.
doi:10.1109/ICFEM.1997.630392
81 ms
(Ver 3.3 (11022016))