6 search results - page 2 / 2 » A Service-Oriented UML Profile with Formal Support |
FDL
2008
IEEE
13 years 7 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...