138 search results - page 4 / 28 » Integrating Formal Methods with Model-Driven Engineering |
100
click to vote
EDOC
2008
IEEE
15 years 4 hour ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
92
Voted
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
128
Voted
DOLAP
2005
ACM
15 years 5 days 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 ...
111
Voted
TII
2008
14 years 10 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
85
Voted
EDUTAINMENT
2007
Springer
15 years 4 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...