56 search results - page 12 / 12 » Compositional Algorithms for LTL Synthesis |
SIGSOFT
2001
ACM
14 years 6 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...