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

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

Abstract

An Overview of Larch/C++:
Behavioral Specifications for C++ Modules
by
Gary T. Leavens
Abstract
An overview is presented of the behavioral interface specification
language Larch/C++.  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.  An innovation in Larch/C++
is the use of examples in function specifications.
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), pages 121-142.


Subjects:
All uncategorized technical reports


ID code:
00000126
Deposited by:
Staff Account on 30 April 1996





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