Sciweavers

696 search results - page 42 / 140
» Model driven development with Ada
Sort
View
ICSEA
2009
IEEE
15 years 3 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
SIGMOD
2004
ACM
123views Database» more  SIGMOD 2004»
15 years 11 months ago
Model-Driven Business UI based on Maps
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
Per Bendsen
IADIS
2003
15 years 7 months ago
Model Driven Fast Prototyping: A Semantic Approach
Sure that quality applications must be well thought and described before the development phase and that a design methodology can be much more than a help in most occasions, we pro...
Luca Contursi, Roberto Paiano, Andrea Pandurino
SERP
2007
15 years 7 months ago
Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
Kendra Cooper, Lirong Dai, Sergiu Dascalu, Nehal M...
ICAC
2007
IEEE
16 years 8 days ago
Model-Driven Autonomic Architecture
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...
Radu Calinescu