archives

An Overview of Larch/C++: Behavioral Specifications for C++


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Leavens, Gary T. (1996) An Overview of Larch/C++: Behavioral Specifications for C++. Technical Report TR96-01, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

An Overview of Larch/C++:
Behavioral Specifications for C++ Modules
by
Gary T. Leavens
Abstract
This chapter is an overview of the behavioral interface specification
language Larch/C++.  Besides describing the specification language in
general and giving some examples, the features of Larch/C++ used to
specify the behavior of C++ functions and classes, including
subclasses, are described, with examples.  Comparisons are made with
other object-oriented specification languages.
Copyright (c) Kluwer Academic Publishers, 1996.  Used by permission.
A version of this paper will be a chapter in the book
Specification of Behavioral Semantics in Object-Oriented Information
Modeling, edited by Haim Kilov and William Harvey
(Kluwer Academic Publishers, 1996).

Subjects:All uncategorized technical reports
ID code:00000122
Deposited by:Staff Account on 26 February 1996



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