DocumentCode
3034182
Title
The DECspec project: tools for Larch/C
Author
Feldman, Gary ; Wild, Joseph
Author_Institution
Digital Equipment Corp., Nashua, NH, USA
fYear
1992
fDate
6-10 Jul 1992
Firstpage
124
Lastpage
127
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Aided Software Engineering, 1992. Proceedings., Fifth International Workshop on
Conference_Location
Montreal, Que.
Print_ISBN
0-8186-2960-6
Type
conf
DOI
10.1109/CASE.1992.200141
Filename
200141
Link To Document