1376 search results - page 9 / 276 » Model-Driven Software Verification |
178
click to vote
IESA
2009
14 years 11 months ago
2009
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
125
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
117
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
SE
2008
15 years 3 months ago
2008
