15155 search results - page 384 / 3031 » System Software |
180
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
The research examines the version histories of nine open source software systems to uncover trends and characteristics of how developers commit source code to version control syst...
200
click to vote
WICSA
2008
15 years 8 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
278
click to vote
FIW
2009
15 years 4 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
165
click to vote
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
187
click to vote
CADE
2004
Springer
16 years 7 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 ...