6 search results - page 2 / 2 » A Service-Oriented UML Profile with Formal Support |
91
Voted
FDL
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...