Sara Jones, David Till, Ann M. Wrightson: Formal methods and requirements engineering: Challenges and synergies. 263-273

Hoare's logic and VDM http://www.springerlink.com/content/mk583100700h6ux0/by J. Coenen1 ContactReceived: 15 August 1993 Accepted: 15 March 1994 Abstract A relational framework which unifies Hoare's logic and VDM is presented. Within this …

Specifications are not (necessarily) executableAbstract : Specifications can be written in languages which have formal semantics. Their very formality, and the similarities with some aspects of implementation languages, invites the idea th…