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�...
Abatract. This paper describes our experiences providing support for the Larch. Formal Specification Mdhod. We are transferring this technology to make.
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�...
This paper describes our experiences providing support for the Larch Formal Specification Method. We are transferring this technology to make it useful in�...
Proceedings of the first First International Workshop on Larch � The DECspec Project: Tools for Larch/C. Article. Share on. The DECspec Project: Tools for Larch�...
The DECspec Project: Tools for Larch/C. Gary Feldman. Joseph Wild. Software Development Techologies Group. Digitsal Equipment Corporation. Nashua. NH 03062.
People also ask
What is the Larch specification?
What is the difference between a Japanese Larch and a European larch?
This monograph discusses the use of formal specifications in program development and introduces the notation of mathematical logic in formal specification�...
"The DECspec Project: Tools for Larch/C" - similar Books and Chapters ; Identifying and Managing Project Risk: Essential Tools for Failure-Proofing Your Project.
Dec 10, 1999 � Larch is a multi-site project exploring methods, languages, and tools for the practical use of formal specifications.
Missing: DECspec | Show results with:DECspec
The Larch project also developed tools to support the use of formal specifications, including the Larch Prover (LP). See also. edit � Formal methods. References.
Missing: DECspec | Show results with:DECspec