2608 search results - page 36 / 522 » Subjects, Models, Languages, Transformations |
ENTCS
2008
14 years 12 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
106
click to vote
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
114
click to vote
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...