1338 search results - page 142 / 268 » Consistent Code Generation from UML Models |
132
click to vote
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
136
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
115
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
126
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
126
click to vote
LSMS
2007
Springer
15 years 9 months ago
2007
Springer
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...