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

Bibliographic Item (1.0)

SunDong06

  1. Jun Sun & Jin Song Dong
  2. Design Synthesis from Interaction and State-Based Specification
  3. IEEE Trans Software Engineering V32n6(Jun 2006)pp349-364
  4. =DEMO SCENARIO MESSAGE SEQUENCE CHARTS LCS Z AUTOMATION PVS Java CSP
  5. Shows that it is possible to synthesize correct code from specifications using universal live sequence charts plus Z (Zed) state pre/postconditions.
  6. Introduces idea of a package of Z specifications.
  7. Design is a set of cooperating sequential processes to reduce state explosion.

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]