2 search results - page 1 / 1 » Realizability Criteria for Compositional MSC |
AMAST
2006
Springer
13 years 9 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
SOFTVIS
2003
ACM
13 years 10 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...