81 search results - page 2 / 17 » Formal executable semantics for conformance in the MDE frame... |
ICECCS
2008
IEEE
13 years 11 months ago
2008
IEEE
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
UML
2005
Springer
13 years 10 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...
JLP
2006
13 years 5 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
DALT
2006
Springer
13 years 9 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
CONCUR
1999
Springer
13 years 9 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...