1376 search results - page 41 / 276 » Model-Driven Software Verification |
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
135
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
148
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
106
click to vote
SLE
2009
Springer
15 years 8 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
131
Voted
WWW
2006
ACM
16 years 2 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...