Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications.
Andreas BollinPublished in: ICFEM (2011)
Keyphrases
- formal specification
- reactive systems
- formal language
- operational semantics
- high level
- requirements specification
- formal model
- neural network
- formal methods
- evolution process
- temporal evolution
- software evolution
- functional requirements
- formal semantics
- temporal logic
- relational databases
- multiscale
- knowledge base
- machine learning
- data mining