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

Bibliographic Item (1.0)

JonesCB96

  1. Cliff B Jones(U of Manchester mailto:cliff@cs.man.ac.uk)
  2. A Rigorous Approach to Formal methods
  3. IEEE Computer Magazine V29N4(Apr 1996)pp20-21
      Understand the formal basis but use a less than formal approach. minimal notational detail describe the systems state. used to justify early data structure design rather than for proofs of design.

      "I have had bad expreriences seeing systems architects propose designs in natural language and ask others to foramlize them. The inevitable effect was that the people constructing the formal document generated many questions and corrections to the architect's natural languag description and were thanked only with more pages of ambiguous and inconsistent natural language. ... follow pattern of OR.... team of domain specialists and foramlist

      Education in the use of abstraction.



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]