[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
"[A] critical element is the formulation of the top-level specification[...] focussing on I/O properties[...]selecting the "right" notation. [..] One does not stumble upon appropriate notation. Experience, exploration, and some looking ahead can provide the required insight. [...] True design, however, never makes such pretense[of being mechanistic]. Looking ahead and back-tracking are a part of the method. [...] selection of auxilary variables was one of the key decisions."
"[...]small refinements proved helpful."
"It was relatively easy to separate the formal treatment of the proofs from the refinement process itself. [... many trial refinements,...final design proved]. [...] design and verification can actually be carried out by different people."
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]