The logic of software design

J. S. Ostroff*, R. F. Paige

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


The authors provide an overview of how logic can be used throughout the software development cycle, and discuss what methods can be introduced in the computer science curriculum to support software development. To see how logic is useful throughout the cycle, they present the WRSM reference model, and illustrate it with simple motivating examples. Reasoning is performed in Logic E, and PVS is used to illustrate automated proofs.

Original languageEnglish
Pages (from-to)73-80
Number of pages8
JournalIEE Proceedings: Software
Issue number3
Publication statusPublished - 1 Dec 2000

Cite this