Re: The best tutorial on formal specifications

Article View: comp.specification

Article #419

Back to comp.specification Previous Next

#419

From: 24122-Haim Kilov(L028)m000
Date: Tue, 21 May 1991 14:52

14 lines
1142 bytes

Some additional "motivational" sources:

[Dijkstra 76-1] E.W.Dijkstra. The teaching of programming, i.e., the teaching of
thinking. In: Lecture Notes in Computer Science, Vol.46. Springer Verlag, 1976.
[Dijkstra 82] E.W.Dijkstra. Selected writings on computing: a personal
perspective. Springer Verlag, 1982.
[Meyer 89] B.Meyer. From structured programming to object-oriented design: the
road to Eiffel. Structured Programming, Vol. 1 (1989), No. 1, pp.19-39.


Hope this helps.

-Haim Kilov
haim@bcr.cc.bellcore.com

Technical Details

Message-ID: <1991May21.145227.9474@porthos.cc.bellcore.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!uunet!bellcore!porthos!taichi!haim

References: <34341@mimsy.umd.edu> <34698@mimsy.umd.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!uunet!bellcore!porthos!taichi!haim
From: haim@taichi.uucp (24122-Haim Kilov(L028)m000)
Newsgroups: comp.specification
Subject: Re: The best tutorial on formal specifications
Message-ID: <1991May21.145227.9474@porthos.cc.bellcore.com>
Date: 21 May 91 14:52:27 GMT
Article-I.D.: porthos.1991May21.145227.9474
References: <34341@mimsy.umd.edu> <34698@mimsy.umd.edu>
Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
Reply-To: haim@taichi.UUCP (24122-Haim Kilov)
Organization: Bellcore, Livingston, NJ
Lines: 14

Reply to Parent Message