3667 search results - page 154 / 734 » Software Rejuvenation - Modeling and Analysis |
RE
2007
Springer
13 years 9 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
CII
2006
13 years 10 months ago
2006
Software support for the automotive electrical design process is vital, as many of the safety analysis tasks needing to be carried out, while complex, are repetitive and time cons...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Impact analysis -- determining the potential effects of changes on a software system -- plays an important role in software engineering tasks such as maintenance, regression testi...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...