Structured Object-Z Software Specification Language Conference Paper uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

abstract

  • In this paper, we review and compare strengths and weakness of the structure methods, object-oriented methods and formal methods. In order to overcome the disadvantages of each kind of methods and combine the advantages of these three kinds of methods, we propose a new software development methodology named SOFM that attempts to integrate structure method, object-oriented method and formal method. SOZRSL(Structured Object-Z Software Specification Language) is a language to support SOFM. The core of this language is Predicate Data Flow Diagram. We combine PDFD with Object-Z notation to define SOZRSL syntax and the related structures.

publication date

  • 2004