Title
Document Type
Article
Date
1990
Embargo Period
11-2012
Keywords
A++, C++, computer programming, exception testing, standardization of software components
Language
English
Disciplines
Computer Sciences
Description/Abstract
A++ (‘‘Annotated C++’’) is both a formalism and a proposed CASE tool for annotating C++ code with object-oriented specifications, assertions, and related semantic information. Annotations provide programmers with a useful means for approaching class design, exceptions, correctness, standardization, software reusability and related issues in software engineering with C++. This paper shows how A++ provides arbitrarily fine granularity to the C++ type system, how it automates and streamlines exception testing, how it can aid in standardization of software components, and how it can safely remove redundant exception tests.
Recommended Citation
Cline, Marshall P. and Lea, Doug, "Using Annotated C++" (1990). Electrical Engineering and Computer Science. Paper 117.
http://surface.syr.edu/eecs/117