Title :
The DECspec project: tools for Larch/C
Author :
Feldman, Gary ; Wild, Joseph
Author_Institution :
Digital Equipment Corp., Nashua, NH, USA
Abstract :
The DECspec project was inaugurated to explore the application of formal methods in a production environment. The goal was to take an existing method and provide support tools suitable for use in the environment discussed, and similar environment elsewhere. The Larch formal specification method, with C as the target programming language, was selected. The experiences of the first year of that project are described, together with the extensions which have been made to the Larch method, and the tools which were developed
Keywords :
C language; formal specification; software tools; C; DECspec project; Larch formal specification method; formal methods; production environment; Computer aided software engineering; Debugging; Formal specifications; Production systems; Programming;
Conference_Titel :
Computer-Aided Software Engineering, 1992. Proceedings., Fifth International Workshop on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-2960-6
DOI :
10.1109/CASE.1992.200141
