310 search results - page 3 / 62 » A language and framework for invariant-driven transformation... |
PLANX
2007
13 years 9 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
POPL
2002
ACM
14 years 8 months ago
2002
ACM
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
ISTA
2008
13 years 9 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
ICEIS
2006
IEEE
14 years 1 months ago
2006
IEEE