Toward reliable reactive systems

Authors:
L.-M. Gilham;A. Goldberg;T. C. Wang
Affiliations:
Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA;Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA;Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA
Venue:
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Year:
1989

Citing 7
Cited 2

Extending State Transition Diagrams for the Specification of Human-Computer Interaction

IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Programming with sets; an introduction to SETL

Programming with sets; an introduction to SETL
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Hierarchical deduction

Journal of Automated Reasoning
Statecharts: A visual formalism for complex systems

Science of Computer Programming
SHD-Prover at University of Texas at Austin

Proceedings of the 8th International Conference on Automated Deduction

A procedure and tools for transition engineering

SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Applying Formal Software Synthesis

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract