1376 search results - page 49 / 276 » Model-Driven Software Verification |
165
click to vote
SEW
2003
IEEE
15 years 11 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...
164
click to vote
ISCI
2007
15 years 5 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...
156
click to vote
ICHIT
2009
Springer
16 years 16 days 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...
161
click to vote
UPP
2004
Springer
15 years 11 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...
149
click to vote
CAISE
2005
Springer
15 years 11 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...