home *** CD-ROM | disk | FTP | other *** search
- Xref: sparky comp.object:3082 comp.specification:336
- Path: sparky!uunet!haven.umd.edu!decuac!pa.dec.com!datum.nyo.dec.com!nntpd.lkg.dec.com!toklas!feldman
- From: feldman@toklas.enet.dec.com (Gary Feldman)
- Newsgroups: comp.object,comp.specification
- Subject: Re: Current OOA/OOD and formal methods
- Keywords: A++, Z, VDM, formal methods, OOA/OOD
- Message-ID: <1992Jul31.173203.9886@nntpd.lkg.dec.com>
- Date: 31 Jul 92 17:32:03 GMT
- References: <18822@drutx.ATT.COM>
- Sender: feldman@toklas (Gary Feldman)
- Reply-To: feldman@toklas.enet.dec.com (Gary Feldman)
- Organization: Digital Equipment Corporation
- Lines: 9
-
- In article <18822@drutx.ATT.COM>, weh@abasin.dr.att.com (William E. Hopkins)
- writes:
-
- |>
- |> Having just read two papers on Annotated C++ (a.k.a., A++; thanks Rich!),
-
- Dare I ask what the two papers were, and where are they available?
-
- Gary
-