Issue 1 • Jan. 1988
Cited by: Papers (1)
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»
Cited by: Papers (8) | Patents (1)
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»
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.