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

Bibliographic Item (1.0)

Stevens95

  1. Anthony Stevens
  2. Review of "Information Modeling: Specification and Implementation" (Edmond92)
  3. Comp Rev V36n1(Jan 1995)p62 [CR] 9501-0017
  4. =REVIEW REFINEMENT Z SQL
  5. "[...]impression that SQL had become integrated with[...]Z
  6. What unifies the two fields are the basic concepts of discrete mathematics - sets, relations, functions, and logic. [...] training materials for a systems nalysis courses with a modern flavore[..]well-thought-out and extensive examples[...] humor[...]"

    "[Refinement...] it appears that this part of formal methods continues to be a kind of mental torture. When we specify formally, we seem to say so much with so little, whereas when we refine, we seem to achieve so little with so much."


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]