Re: Formal methods in undergraduate curriculum?
To: email@example.com (Jacob L. Cybulski)
Subject: Re: Formal methods in undergraduate curriculum?
Date: Wed, 28 Sep 94 09:50:59 -0700
Delivery-Date: Wed, 28 Sep 94 09:51:05 -0700
In-Reply-To: Message of Wed, 28 Sep 1994 07:16:05 GMT
I'm glad to hear of your experience using Larch in a Software Specification
Techniques course. Would you like to be added to the
firstname.lastname@example.org mailing list? It's low-traffic, but I think the
average quality is pretty good.
PS We knew the book would not be an adequate textbook, but decided that it
was better to document the tools than to wait until we had time to produce
a book along the lines of Liskov and Guttag's Abstraction and Specification
in Program Development, but based on formal specification.
Now that you have some experience indicating what is needed in a textbook,
you might consider writing one yourself...