Sciweavers

241 search results - page 23 / 49
» Towards Safe Model Transformation for Constraint-driven Mode...
Sort
View
AMAST
2008
Springer
14 years 11 months ago
Towards an Efficient Implementation of Tree Automata Completion
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
Emilie Balland, Yohan Boichut, Thomas Genet, Pierr...
MOMPES
2008
IEEE
15 years 4 months ago
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
Cormac Driver, Vinny Cahill, Siobhán Clarke
PVLDB
2008
82views more  PVLDB 2008»
14 years 9 months ago
STBenchmark: towards a benchmark for mapping systems
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
Bogdan Alexe, Wang Chiew Tan, Yannis Velegrakis
EXTREME
2004
ACM
15 years 3 months ago
Half-steps toward LMNL
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
Wendell Piez
IJISMD
2010
164views more  IJISMD 2010»
14 years 7 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm