Are Formal Contracts a Useful Digital Twin of Software Systems?
Jonas SchifflAlexander WeiglPublished in: FMDT@FM (2023)
Keyphrases
- software systems
- requirements specification
- software engineering
- source code
- software development
- software maintenance
- software components
- software design
- software quality
- software architecture
- software testing
- multi agent systems
- software developers
- software evolution
- linux kernel
- software engineers
- formal specification
- metamodel
- design patterns
- open source
- functional requirements
- dynamic reconfiguration
- cooperative
- component based software