POSIX file store in Z/Eves: An experiment in the verified software repository.

Leo Freitas Jim Woodcock Zheng Fu

Published in: Sci. Comput. Program. (2009)

Keyphrases

software repositories
source files
source code
address these issues
content addressable
defect prediction

software evolution
software systems
raw data
database
hard disk
historical data

file system
version control
mining software repositories
software developers
software design
software projects

software artifacts
file formats
file organization
file structure
artificial intelligence