1178 search results - page 116 / 236 » A Methodological Approach to Developing Model Transformation... |
106
click to vote
MODELS
2007
Springer
15 years 7 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...
124
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
117
click to vote
DEXAW
2008
IEEE
15 years 3 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
116
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
106
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...