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

Bibliographic Item (1.0)

WardM96
  1. Martin Ward
  2. Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm
  3. IEEE Trans SE V22n9(Sep 1996)pp663-686
  4. =THEORY LOGIC SPECIFICATION DERIVATION ALGORITHM DATA
  5. action language with specification statements
  6. steps introduce ghost variables
  7. steps can combine data structures that both drive and are developed by the algorithms

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]