Article View: comp.specification
Article #117Re: wanted: books/paper on formal methods
From: Rick &
Date: Wed, 02 Sep 1992 17:22
Date: Wed, 02 Sep 1992 17:22
21 lines
1214 bytes
1214 bytes
cjc@cm.deakin.OZ.AU (Chris Coomber) writes: : -------------------- : Could someone please tell me the title of a good introductory book and/or : journal paper on formal methods, in particular, on first order logic from : a software specification viewpoint. : : Thanks, : Chris Coomber : cjc@aragorn.cm.deakin.oz.au : -------------------- The best place to start is the Sept. 1990 triple issue of IEEE Software, Computer and Trans. on SW Eng. You'll find several good introductory level papers and lots of references to other material. -- Rick Kuhn Telephone: +1 301 975 3337 Natl Institute of Standards & Technology Fax: +1 301 590 0932 Technology Bldg. B266 Internet: kuhn@swe.ncsl.nist.gov Gaithersburg, Md. 20899 USA DRKuhn@dockmaster.ncsc.mil
Technical Details
Message-ID:
<5330@dove.nist.gov>Path:
arc1-ca.pugleaf.net!sparky!uunet!dove!swe.ncsl.nist.gov!kuhnReferences:
<3977@sol.deakin.OZ.AU>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!dove!swe.ncsl.nist.gov!kuhn From: kuhn@swe.ncsl.nist.gov (Rick &) Newsgroups: comp.specification Subject: Re: wanted: books/paper on formal methods Message-ID: <5330@dove.nist.gov> Date: 2 Sep 92 17:22:19 GMT References: <3977@sol.deakin.OZ.AU> Sender: news@dove.nist.gov Lines: 21 X-Newsreader: Tin 1.1 PL4