7225 search results - page 51 / 1445 » Software is data too |
116
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
129
Voted
FLAIRS
2004
15 years 5 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
144
Voted
WCRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—The evolution of a software project is a rich data source for analyzing and improving the software development process. Recently, several research groups have tried to cluster s...
135
Voted
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with fault...
148
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...