2255 search results - page 1 / 451 » High Assurance Software Systems |
RE
2002
Springer
13 years 10 months ago
2002
Springer
HASE
2007
IEEE
14 years 5 months ago
2007
IEEE
CJ
2006
13 years 10 months ago
2006
ECBS
1999
IEEE
14 years 3 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...