Specifications via Realizability.

Andrej Bauer Christopher A. Stone

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

high level
specification language
formal specification
delay insensitive
real time
transition systems
genetic algorithm
information systems
optimal solution
digital libraries
user interface
evolutionary algorithm
functional requirements
control flow
concurrent systems
written in natural language