1121 search results - page 11 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
ASE
2008
14 years 9 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
SERP
2007
14 years 10 months ago
2007
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...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
ENTCS
2008
14 years 9 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
ICSM
2006
IEEE
15 years 3 months ago
2006
IEEE
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...