207 search results - page 21 / 42 » Theory of Software Reliability Based on Components |
ICST
2011
IEEE
12 years 11 months ago
2011
IEEE
—Changing source code in large software systems is complex and requires a good understanding of dependencies between software components. Modification to components with little ...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...