Path: utzoo!attcan!uunet!aplcen!uakari.primate.wisc.edu!sdd.hp.com!ucsd!rutgers!mcnc!decvax.dec.com!zinn!nuucp
From: mjv@objects.mv.com (Michael J. Vilot)
Newsgroups: comp.lang.c++
Subject: Re: C++ interface specification
Message-ID: <945@zinn.MV.COM>
Date: 23 Sep 90 17:30:50 GMT
Sender: nuucp@zinn.MV.COM
Lines: 15

Rowland Reed asked about documenting C++ class libraries in a rigorous fashion.

About the best I've seen is Annotated C++ (A++), by Doug Lea and Marshall Cline.
You can get a copy of their paper ``The Behavior of C++ Classes'' from the folks
who organized the SOOPPA conference: jzbv@maristb.bitnet.
They'll also present ``Using Annotated C++'' at this week's C++ at Work
conference.

Another place you might look is the Usenix C++ Conference proceedings from the
1988 Denver conference.  Peter Kirslis and Robert Terwilliger presented a
paper ``Implementing a Logic-Based Executable Specification Language in C++''.

--
Mike Vilot,  ObjectWare Inc, Nashua NH
mjv@objects.mv.com  (UUCP:  ...!decvax!zinn!objects!mjv)