1376 search results - page 49 / 276 » Model-Driven Software Verification |
127
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
122
click to vote
ISCI
2007
15 years 1 months ago
2007
The evaluation of software processes is nowadays a very important issue due to the growing interest of software companies in the improvement of the productivity and quality of del...
109
click to vote
ICHIT
2009
Springer
15 years 8 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
111
click to vote
UPP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
107
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...