[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Abstraction is a mixture of code and specification
invariant, require, and ensure assertions
Quantification for Q x:1..alloc( ... R[x] ....) Variable x (an object of exported type) is replaced by R[x] inside. Assume and Confirm statements MetaTheory ??Lamport/Lam Shankar?? ->p304: "A valid program is a collection of valid modules in which each item imported by a module is exported by precisely one other module, and in which the specs of imported and exported items are compatible"
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]