Automated Synthesis of Software Contracts with KindSpec.
María AlpuenteAlicia VillanuevaPublished in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Keyphrases
- software systems
- software development
- computer systems
- semi automated
- supply chain
- software developers
- software architecture
- embedded systems
- software platform
- software package
- software tools
- software projects
- source code
- user interface
- databases
- fully automated
- design patterns
- personal computer
- cloud computing
- software design
- decision trees
- automated analysis
- software packages
- neural network