927 search results - page 18 / 186 » Practical Limits on Software Dependability: A Case Study |
CODES
1999
IEEE
13 years 12 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
CSMR
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...
ISSRE
2003
IEEE
14 years 24 days ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
CAV
1998
Springer
13 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
EUROSPI
2005
Springer
14 years 1 months ago
2005
Springer
The Rational Unified Process (RUP) is a comprehensive software development process framework emphasizing use-cases, architecture focus and an iterative approach. RUP is widely know...