Lessons from Formally Verified Deployed Software Systems.
Li HuangSophie EbersoldAlexander KogtenkovAlexandr NaumchevBertrand MeyerYinling LiuALiyu AlegePublished in: CoRR (2023)
Keyphrases
- software systems
- software engineering
- source code
- software components
- software maintenance
- software development
- software design
- metamodel
- multi agent systems
- software architecture
- software evolution
- functional requirements
- software engineers
- software quality
- clone detection
- object oriented systems
- maintenance activities
- real world
- software developers
- information technology
- software projects
- open source
- object oriented
- multi agent
- reinforcement learning
- decision making
- product lines
- artificial intelligence