Graphical specifications for concurrent software systems

• 1 January 1992
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 214-224
• https://doi.org/10.1145/143062.143116

Abstract

Keywords

• GRAPHICAL SPECIFICATION
• CONCURRENT SOFTWARE SYSTEM
• COMMISSIONING
• FORMAL SPECIFICATIONS
• SOFTWARE ENGINEERING
• SYSTEM TESTING
• LOGIC
• PUBLISHING
• TEMPORAL LOGIC
• APPLICATION SOFTWARE
• CONCURRENT COMPUTING
• ACADEMIC RESEARCH
• DATABASE SYSTEM
• HARDWARE
• SOFTWARE SYSTEMS