2608 search results - page 69 / 522 » Subjects, Models, Languages, Transformations |
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
101
click to vote
SOSYM
2008
14 years 11 months ago
2008
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
ENASE
2010
14 years 6 months ago
2010
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
ISTA
2008
15 years 1 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 ...
DAC
2002
ACM
16 years 26 days ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...