3302 search results - page 153 / 661 » Software Is More Than Code |
ISESE
2006
IEEE
15 years 4 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
CADE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
DSVIS
2006
Springer
15 years 1 months ago
2006
Springer
This keynote paper argues for an increased understanding of the various roles involved in the development work to be able to achieve the goal of developing increased usability. Hum...
JSS
2008
14 years 9 months ago
2008
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...