Skip to main content
Article thumbnail
Location of Repository

Graphical Development of Consistent System Specifications

By Bernhard Schätz, Heinrich Hußmann and Manfred Broy


While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, "safe" development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations

Publisher: Springer
Year: 1996
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • http://www4.informatik.tu-muen... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.