713 search results - page 4 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
JSW
2007
13 years 6 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
SDL
2007
13 years 8 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
FMICS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
WER
2007
Springer
14 years 21 days ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
GI
2009
Springer
13 years 4 months ago
2009
Springer
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...