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

Bibliographic Item (1.0)

MahoneyHayes92

  1. Brendan P Mahoney & Ian J Hayes
  2. A Case-Study in Timed Refinement: A Mine Pump
  3. IEEE Trans SE-V18 n9 (Sep 1992)pp817-826
  4. =DEMO Z continuous time units
  5. Specification_statement::= variables":" "[" Assumptions "," Guaranteed"]".

    FSM NOT!

    p824, Conclusions: "The use of continuous observables, as opposed to the simple adoption of analog models, helps direct the the specifier away from detailed considerations of the method by which a system must evolve through time[...]leads to an algorithmic and evolutionary description of a system not always appropriate to the highest levels of the development process".


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]