• DocumentCode
    2851284
  • Title

    Transform Mechanisms of Object-Z Based Formal Specification to JAVA

  • Author

    Zhigang Wang ; Maofang Xie ; Yuelong Zhao

  • Author_Institution
    Math. & Comput. Coll., Hunan Normal Univ., Changsha, China
  • fYear
    2009
  • fDate
    11-13 Dec. 2009
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    How to implement software architecture to code according to formal specification is an important link within software development, for the quality of code has tremendous influence to the software quality. This paper we focus on finding out the inner relations and the transform mechanisms between object-Z specification and Java code, and propose some basic transform principles and general mechanisms. Further more, case study is used in illustrating and designing of the transform mechanisms.
  • Keywords
    Java; formal specification; software architecture; Java code; formal specification; object-Z specification; software architecture; software development; software quality; transform mechanism; Bridges; Computer architecture; Educational institutions; Encapsulation; Formal specifications; Java; Programming; Software architecture; Software design; Software quality;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
  • Conference_Location
    Wuhan
  • Print_ISBN
    978-1-4244-4507-3
  • Electronic_ISBN
    978-1-4244-4507-3
  • Type

    conf

  • DOI
    10.1109/CISE.2009.5365403
  • Filename
    5365403
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2851284