By Topic

Software Engineering Journal

Issue 1 • Jan. 1988

Filter Results

Displaying Results 1 - 2 of 2
  • Theorem proving and software engineering

    Publication Year: 1988
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (104 KB)

    The author discusses the potential role of computer support for theorem proving in software engineering. There are three major approaches into which most formal methods can be divided. That which fits the normal development route most closely is to fix a specification notation but to record design by bringing in features of the implementation language. Such design steps give rise to 'proof obligat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A survey of mechanical support for formal reasoning

    Publication Year: 1988, Page(s):3 - 27
    Cited by:  Papers (8)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2780 KB)

    The article is a survey of computer support for formal reasoning, but primarily from the point of view of software engineering applications. It is an introduction to existing systems and ongoing research, gathering together information which has often only appeared before in narrowly distributed technical reports. Formal reasoning means the deduction of logical expressions from other logical expre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.