Stephen N. Zilles

Learn More
The main purposes in writing this paper are to discuss the importance of formal specifications and to survey a number of promising specification techniques. The role of formal specifications both in proofs of program correctness, and in programming methodologies leading to programs which are correct by construction, is explained. Some criteria are(More)
Requirements definition is the tip of the iceberg of system s development. While it is intended to capture the mos t important aspects of what the user of the system will see, i t must also interface with the further steps of the syste m development process. In particular, because the requirements capture the most important properties of the system , those(More)
  • 1