Login / Signup
Very Abstract Specifications: A Formalism Independent Approach.
Maura Cerioli
Gianna Reggio
Published in:
Math. Struct. Comput. Sci. (1998)
Keyphrases
</>
high level
operational semantics
transition systems
formal language
low level
state machines
conceptual graphs
formal model
delay insensitive
logical framework
specification language
formal specification
databases
higher level
trade off
data structure
image sequences
formal semantics
theoretical framework
multi agent
e learning