Title :
Intelligent tools for formal specification
Author :
Masterson, J.J. ; Ishaq, K. ; Patel, S. ; Norris, M.T. ; Orr, R.A.
Author_Institution :
British Telecom Res. Labs., Ipswich, UK
Abstract :
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
Keywords :
expert systems; formal languages; knowledge engineering; software tools; specification languages; Intelligent VDM Assistant; Vienna Development Method; automated support; formal languages; formal specification; intelligent tools; prototype tool; software tools;
Conference_Titel :
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location :
Liverpool
