Analysis capabilities for requirements specified in statecharts
Authors:
B. E. Melhart;N. G. Leveson;M. S. Jaffe
Affiliations:
Dept. of Information and Computer Science, University of California, Irvine;Dept. of Information and Computer Science, University of California, Irvine;Hughes Aircraft Company, Ground Systems Group, Fullerton, California
Venue:
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design