19 search results - page 3 / 4 » fase 2005 |
FASE
2005
Springer
13 years 10 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...