1938 search results - page 60 / 388 » Dependable Software |
112
click to vote
TAPSOFT
1995
Springer
15 years 6 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
145
click to vote
IWPC
2009
IEEE
15 years 9 months ago
2009
IEEE
Impact analysis is a specialized process of program comprehension that investigates the nature and extent of a planned software change. Traditionally, impact analysis inspects dep...
125
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
135
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—Enterprise networks today host a wide variety of network services, which often depend on each other to provide and support network-based services and applications. Understanding...
137
Voted
PRDC
2000
IEEE
15 years 6 months ago
2000
IEEE
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...