DocumentCode
281371
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
fYear
1988
fDate
11-15 Jul 1988
Firstpage
149
Lastpage
153
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;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location
Liverpool
Type
conf
Filename
196378
Link To Document