[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Gregory D Abowd & Alan J Dix
- Integrating status and event phenomena in formal specifictions of interactive systems
- SIGSOFT'94 Proc 2nd ACM SIGSOFT Symp on Foundations of Software Engineering & ACM SIGSOFT Software Engineering Notes V19n5(Dec 1994)pp44-52. See
- =MATHEMATICAL HCI/USER SPECIFICATION
Signature+Events+formulae+ interstitial behavior.
Nothing that Ross Ashby and JSD didn't know about already
looks a little like hypertalk, but notation not of the essence.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]