[Prev][Next][Index]
Re: Refs wanted
-
To: bongalon@td2cad.intel.com (Ben Bongalon)
-
Subject: Re: Refs wanted
-
From: horning
-
Date: Thu, 16 Dec 93 12:48:51 -0800
-
Cc: horning
-
Delivery-Date: Thu, 16 Dec 93 12:48:54 -0800
-
In-Reply-To: Message of 16 Dec 1993 19:06:57 GMT from bongalon@td2cad.intel.com (Ben Bongalon)
Ben,
You will find some "realistic" specifications of C interfaces for code that
actually compiles and runs in
Larch: Languages and Tools for Formal Specification
John V. Guttag, et al.
Springer-Verlag Texts and Monographs in Computer Science, 1993
ISBN 0-387-94006-5, ISBN 3-540-94006-5
The major motivation for one of the most-widely known Z specification
efforts, the CICS project at IBM, was precisely reverse-engineering an
existing system that had to be expanded, upgraded, and substantially
rewritten. I don't have any references handy, though.
Jim H.