Engineering Formality and Software Risk in Debian Python Packages.
Matthew GaughanKaylea ChampionSohyeon HwangPublished in: CoRR (2024)
Keyphrases
- software packages
- engineering design
- artificial intelligence
- software systems
- requirements engineering
- open source
- user interface
- graphical user interface
- software engineering
- software development
- risk assessment
- open source software
- risk management
- risk analysis
- data mining
- software package
- software evolution
- software maintenance
- development process
- computer systems
- computer science
- software projects
- life cycle
- model checking
- formal specification
- decision support system
- source code
- product design
- high risk
- web services
- e learning
- neural network
- risk measures