7225 search results - page 51 / 1445 » Software is data too |
FM
2008
Springer
15 years 1 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 ...
FLAIRS
2004
15 years 1 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...
108
click to vote
WCRE
2010
IEEE
14 years 10 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...
DSN
2000
IEEE
15 years 3 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...
COMPSAC
2003
IEEE
15 years 5 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...