Using invariants to optimize formal specifications before code synthesis.
Ralph D. JeffordsElizabeth I. LeonardPublished in: MEMOCODE (2004)
Keyphrases
- formal specification
- code generation
- object oriented design
- model checking
- specification language
- specification languages
- process algebra
- source code
- reverse engineering
- design methodology
- formal methods
- software components
- moment invariants
- formal specification language
- semantic data models
- unit testing
- fine grained