Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.
Nuno MacedoHugo PachecoAlcino CunhaPublished in: RAMiCS (2012)
Keyphrases
- formal specification
- attribute grammars
- control flow
- high level
- semantic relations
- affine invariant
- temporal relations
- functional requirements
- multiscale
- model checking
- pattern recognition
- data sets
- invariant features
- information systems
- genetic algorithm
- specification language
- binary relations
- neural network
- causal relations
- databases