Chapter

TAPSOFT'93: Theory and Practice of Software Development

Volume 668 of the series Lecture Notes in Computer Science pp 299-313

Date:

Object organisation in software environments for formal methods

  • Jun HanAffiliated withSoftware Verification Research Centre Department of Computer Science, University of Queensland
  • , Jim WelshAffiliated withSoftware Verification Research Centre Department of Computer Science, University of Queensland

Abstract

Software development by formal methods involves an overwhelming amount of technical and managerial detail. Systematic organisation of this information in a method's support environment is an important engineering concern. In this paper, we introduce a model for object organisation in software environments for formal methods, with particular emphasis on easy construction, modification, review and reuse of software objects. We demonstrate how the model can be instantiated to individual methodologies to obtain the object organisation architectures for their support environments.