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.
| Original language | English |
|---|---|
| Pages (from-to) | 73-80 |
| Number of pages | 8 |
| Journal | IEE Proceedings: Software |
| Volume | 147 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1 Dec 2000 |