1940 search results - page 69 / 388 » Dependable Software: An Oxymoron |
TAPSOFT
1995
Springer
14 years 11 days 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...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...
PRDC
2000
IEEE
14 years 12 days 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...
LISA
1998
13 years 10 months ago
1998
mkpkg is a tool that helps software publishers create installation packages. Given software that is ready for distribution, mkpkg helps the publisher develop a description of the ...
ECRTS
2006
IEEE
14 years 2 months ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...