1376 search results - page 48 / 276 » Model-Driven Software Verification |
118
click to vote
INDIASE
2009
ACM
15 years 8 months ago
2009
ACM
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
164
click to vote
DOLAP
2005
ACM
15 years 3 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
114
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
139
click to vote
IAT
2010
IEEE
14 years 12 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...