• DocumentCode
    3341984
  • 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
  • fYear
    1997
  • fDate
    12-14 Nov. 1997
  • Firstpage
    7
  • Lastpage
    16
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
  • Conference_Location
    Hiroshima, Japan
  • Print_ISBN
    0-8186-8002-4
  • Type

    conf

  • DOI
    10.1109/ICFEM.1997.630392
  • Filename
    630392
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3341984