Sciweavers

75 search results - page 9 / 15
» eclipse 2007
Sort
View
SE
2007
13 years 9 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia
ECMDAFA
2007
Springer
84views Hardware» more  ECMDAFA 2007»
13 years 9 months ago
A Practical Approach to Model Extension
In object technology, reusability is achieved primarily through class inheritance. In model engineering, where reusability is also important, it should be possible to extend a mode...
Mikaël Barbero, Frédéric Jouaul...
MODELS
2007
Springer
14 years 1 months ago
Matching Model-Snippets
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express pa...
Rodrigo Ramos, Olivier Barais, Jean-Marc Jé...
SAS
2007
Springer
14 years 1 months ago
Refactoring Using Type Constraints
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
Frank Tip
ICWE
2007
Springer
14 years 1 months ago
Bridging the Gap between BPMN and WS-BPEL. M2M Transformations in Practice
Abstract. The Web is being consolidating as the main platform for the development of applications. Moreover, these applications are not conceived just as isolated systems. This fac...
Pau Giner, Victoria Torres, Vicente Pelechano