DocumentCode
1414525
Title
The logic of software design
Author
Ostroff, J.S. ; Paige, R.F.
Author_Institution
Dept. of Comput. Sci., York Univ., Toronto, Ont., Canada
Volume
147
Issue
3
fYear
2000
fDate
6/1/2000 12:00:00 AM
Firstpage
73
Lastpage
80
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;
fLanguage
English
Journal_Title
Software, IEE Proceedings -
Publisher
iet
ISSN
1462-5970
Type
jour
DOI
10.1049/ip-sen:20000681
Filename
888326
Link To Document