Intelligent tools for formal specification
J. J. Masterson, Kashif Ishaq, Shalizeh Azizi Patel, Mark Norris, R. A. Orr · 1988
A key factor in the acceptance of high level programming languages has been the development of a comprehensive set of tools to support the user. If formal languages for specification are to achieve the same level of acceptance, they too will require extensive automated support. The authors describe a prototype tool designed to assist the developer in the use of formal specification techniques based on the Vienna Development Method. It is called the Intelligent VDM Assistant. >