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

Bibliographic Item (1.0)

Zelkowitz94
  1. Marvin V Zelkowitz<mvz@cs.umd.edu>
  2. Algebra and Models ( and Reality)
  3. ACM SIGSOFT Software Engineering Notes v19 n10(Oct 1994 1995)pp79-81 & V20 n4 (Apr 1995)pp55-57
  4. =CRITIQUE HOARE LOGIC PROGRAM
  5. States the algebra of Hoares algebra of programs
  6. quotes [Hoare69] and Hoare in 1993
  7. argues that since on some machines x'=x+1 does not implie x'>x on all machines that modern mathematics shouldn't be used.
  8. Appeals for a (as yet) unknown approach based on natural science.
  9. "There needs to be feedback"

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]