Algebraic Imperative Specifications.

Marie-Claude Gaudel Alexandre V. Zamulin

Published in: Ershov Memorial Conference (1999)

Keyphrases

case study
delay insensitive
formal specification
real time
real world
algebraic structure
database
concurrent systems
knowledge base
high level
functional requirements
algebraic curves
model checking
relational databases
data structure
search engine
information retrieval
data mining