1886 search results - page 22 / 378 » Modeling and Enacting Software Processes Using VRPML |
109
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Dynamic discovery based on semantic description of services is an essential aspect of the Semantic Web services integration process. Since not all data required for service discove...
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
With the increasing adoption of process-aware information systems (PAIS), large process model repositories have emerged. Over time respective models have to be re-aligned to the re...
149
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
119
Voted
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
101
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...