Title :
The logic of software design
Author :
Ostroff, J.S. ; Paige, R.F.
Author_Institution :
Dept. of Comput. Sci., York Univ., Toronto, Ont., Canada
fDate :
6/1/2000 12:00:00 AM
Abstract :
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
Keywords :
computer science education; formal logic; software engineering; Logic E; PVS; WRSM reference model; automated proofs; computer science curriculum; software design; software development cycle;
Journal_Title :
Software, IEE Proceedings -
DOI :
10.1049/ip-sen:20000681
