archives

Evaluating Larch/C++ as a Specification Language = A Case Study Using the Microsoft Foundation Class Library


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Egle, David M. (1995) Evaluating Larch/C++ as a Specification Language = A Case Study Using the Microsoft Foundation Class Library. Technical Report TR95-17, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

This paper attempts to evaluate Larch/C++, a formal specification
language, as a means of more unambiguously documenting the interface
specifications of C++ class libraries.  In particular, the Microsoft
Foundation Class Library is examined to demonstrate some of the advantages
and disadvantages of using Larch/C++.  Several different examples are
presented with analysis.  The reader is assumed to have some familiarity with
C++ and the idea of formal specification, but need not know the Larch
approach to formal specification.

Subjects:All uncategorized technical reports
ID code:00000104
Deposited by:Staff Account on 12 September 1995



Contact site administrator at: ssg@cs.iastate.edu