572 search results - page 63 / 115 » Visualisation of Domain-Specific Modelling Languages Using U... |
JWSR
2006
13 years 8 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
VL
2005
IEEE
14 years 2 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
ER
2008
Springer
13 years 10 months ago
2008
Springer
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
ECMDAFA
2007
Springer
14 years 19 days ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...