Abstract Software Specifications and Automatic Proof of Refinement.
Claire DrossYannick MoyPublished in: RSSRail (2016)
Keyphrases
- written in natural language
- control flow
- software development
- software design
- data driven
- software systems
- software architecture
- linear logic
- theorem prover
- high level
- state machines
- theorem proving
- semi automatic
- software components
- software maintenance
- delay insensitive
- embedded systems
- software projects
- development process
- fully automatic
- software package
- test cases
- database systems
- software requirements
- requirements specification
- unit testing
- neural network