Falling Back on Executable Specifications.
Hesam SamimiEi Darli AungTodd D. MillsteinPublished in: ECOOP (2010)
Keyphrases
- formal specification
- attribute grammars
- control flow
- specification language
- data flow
- delay insensitive
- process algebra
- distributed systems
- model checking
- reverse engineering
- real time
- expert systems
- case study
- website
- operational semantics
- reactive systems
- concurrent systems
- xml processing
- feature selection
- information retrieval
- data sets