[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)


  1. Jonathan P Bowen & Michael G Hinchey
  2. Ten Commandments of Formal Methods
  3. IEEE Computer Magazine V28 n 4(Apr 1995)pp56-63
      To: formal-methods@cs.uidaho.edu Subject: Re: FM technology transfer Date: Wed, 22 Feb 1995 20:44:35 +0000 From: Mike Hinchey <Michael.Hinchey@cl.cam.ac.uk>

      "Ten Commandments of Formal Methods" by J.P. Bowen and M.G. Hinchey is scheduled for the April (1995) issue of IEEE Computer. "Ten Commandments of Formal Methods" is available as a University of Cambridge Computer Laboratory Technical Report (no. 350). The IEEE Computer version will not differ significantly. http://www.cl.cam.ac.uk/users/mgh1001/TECHREPORTS/10cs.ps.Z (warning: even compressed it's 230K)

    1. I. Thou shalt Choose an Appropriate Notation
    2. II. Thou shalt Formalize but not Overformalize
    3. III. Thou shalt Estimate Costs
    4. IV. They shalt have a Formal Methods Guru On Call
    5. V. Thou shalt not Abandon Traditional ethods
    6. VI. Thou shalt Document Sufficiently
    7. VII. Thou shalt not Compromise thy QUALITY Standards
    8. VIII. Thou shalt not be Dogmatic
    9. IX Thou shalt Test, Test, and Test again
    10. X. Thou Shalt Reuse

Search for bibliographic items containing a matching string.

(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.

To see the complete bibliography (1Mb+) select:[Bibliography]