POSIX file store in Z/Eves: an experiment in the verified software repository.
Leo FreitasZheng FuJim WoodcockPublished in: ICECCS (2007)
Keyphrases
- software repositories
- source files
- source code
- content addressable
- address these issues
- software systems
- raw data
- historical data
- defect prediction
- software evolution
- database
- mining software repositories
- file system
- version control
- artificial intelligence
- software projects
- software design
- software artifacts
- hard disk
- software maintenance
- information technology
- file formats
- file organization
- file structure
- software components
- machine learning
- data mining