Software Theory Change for Resilient Near-Complete Specifications.
Giuseppe PrimieroFranco RaimondiPublished in: ANT/SEIT (2015)
Keyphrases
- written in natural language
- software design
- software development
- theoretical basis
- software platform
- software systems
- software architecture
- software tools
- formal descriptions
- reactive systems
- control flow
- learning algorithm
- open source
- java code
- maintenance activities
- case study
- formal theory
- formal verification
- software testing
- high level
- neural network
- software maintenance
- software engineering