5252 search results - page 397 / 1051 » Requirements engineering: a roadmap |
192
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
216
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...
214
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...
211
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
A common problem in software maintenance is the lack of documentation required for carrying out the maintenance tasks. Both expected and unexpected maintenance tasks use and produ...
210
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...