A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.
Ewen DenneyBernd FischerPublished in: ASE (2009)
Keyphrases
- software architecture
- software evolution
- software development
- written in natural language
- data driven
- tool support
- software tools
- software package
- software systems
- formal verification
- software quality
- source code
- model checking
- life cycle
- software components
- formal methods
- computer software
- software maintenance
- data sets
- software platform
- automatically generated
- software artifacts
- mathematical expressions
- embedded systems
- randomly selected
- face verification
- petri net
- user interface
- mobile devices
- artificial intelligence
- neural network