11 search results - page 3 / 3 » D-Finder: A Tool for Compositional Deadlock Detection and Ve... |
109
click to vote
SIGSOFT
2001
ACM
16 years 9 days 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...