Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

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.

Aims & Scope

Published from 1986-1996, Software Engineering Journal included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered reports on practical experience using software engineering methods and tools, and papers on long-term research activities.

Full Aims & Scope