Guidelines on Minimum Standards for Developer Verification of Software.
Paul E. BlackBarbara GuttmanVadim OkunPublished in: CoRR (2021)
Keyphrases
- software development
- source code
- development process
- open source projects
- software developers
- development environments
- design patterns
- software process
- widely accepted
- model checking
- software systems
- computer systems
- user interface
- case study
- international standards
- software architecture
- iso iec
- formal verification
- software maintenance
- face verification
- formal methods
- software evolution
- software components
- mailing lists
- hardware design
- software projects
- data sets
- open source
- programming language
- software engineering
- end users
- databases