An Overview of Larch/C++: Behavioral Specifications for C++ Modules
Date
1996-04-01
Authors
Leavens, Gary
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Series Number
Journal Issue
Is Version Of
Versions
Series
Academic or Administrative Unit
Type
article
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.