Publication Date

4-1996

Technical Report Number

TR96-01b

Subjects

Software, General Literature

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.

Comments

Copyright © 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.

Share

COinS