POSIX file store in Z/Eves: An experiment in the verified software repository.
Leo FreitasJim WoodcockZheng FuPublished 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