Verification of forensic readiness in software development: a roadmap.
Lukas DaubnerMartin MacákBarbora BuhnovaTomás PitnerPublished in: SAC (2020)
Keyphrases
- software development
- software engineering
- software systems
- writer identification
- software developers
- software projects
- case study
- formal verification
- software design
- model checking
- software architecture
- development process
- software testing
- agile software development
- formal methods
- face verification
- software components
- knowledge management
- software quality
- requirements engineering
- software process
- cost estimation
- effort estimation
- computer forensics
- pair programming
- software development effort
- forensic science
- neural network
- verification method
- software development process
- software industry
- software reuse
- real world