932 search results - page 124 / 187 » Software Reliability Engineering: A Roadmap |
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...
SEM
2004
Springer
15 years 3 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
102
click to vote
ISPASS
2003
IEEE
15 years 3 months ago
2003
IEEE
The growth of business enterprises and the emergence of the Internet as a medium for data processing has led to a proliferation of applications that are server-centric. The power ...
FSTTCS
1999
Springer
15 years 2 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...