Towards Software Compliance Specification and Enforcement Using TOSCA.
Mohammed MubarkootJörn AltmannPublished in: GECON (2021)
Keyphrases
- software development
- software systems
- source code
- control flow
- highly modular
- databases
- test case generation
- formal verification
- hardware design
- database
- formal methods
- personal computer
- software piracy
- reactive systems
- software testing
- software maintenance
- software tools
- software architecture
- computer systems
- multi agent systems
- information systems
- neural network
- data sets