Transformations in Pattern-Based System Specifications.

Christian Peper

Published in: FBT (1999)

Keyphrases

formal specification
databases
website
control flow
delay insensitive
real time
social networks
computer vision
decision trees
case study
high level
multi agent systems
d objects
functional requirements
reactive systems
written in natural language