Class Types as Sets of Classes in Object-oriented Formal Speciication Languages

  • Caul eld EastAustralia
  • Published 1994
Formal speciication of software requirements has been recognised as an essential ingredient to improve the quality of delivered code. When integrated with the structuring mechanisms of object-orientation, formal speciications can provide a powerful tool for the software developer. However, the formal speciication of particularly large systems needs to be… (More)