Location of Repository

KORSO: A Methodology for the Development of Correct Software

By Peter Pepper, Martin Wirsing (eds.), Martin Wirsing, Manfred Broy, Sabine Dick, Klaus Didrich, Wolfgang Grieskamp, Heinrich Humann, Michael Mehlich and Wolfgang Reif

Abstract

The Korso project aims, by the use of formal methods, at the enhancement of the quality of software development in all phases of the software life cycle. In requirements engineering domain modeling with formal specifications is integrated with informal and pre-formal approaches for the construction of a formal requirements specification of the "functional" properties of the required system. The specifications are used in the modeling and analysis parts of the requirement process and provide means for validation, including early prototyping and theorem-proving. An evolutionary process model is proposed for system design and program development, whereby the correctness of all development steps is checked by suitable verification tools. The model centers around a development graph which consists of units, e.g. formal specifications, proofs, and programs, and relations between these units. There are three kinds of relations: syntactic relations, semantic relations, and modificat..

Year: 1994
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.2380
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://uebb.cs.tu-berlin.de/pa... (external link)
  • Suggested articles


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