Slicing of Component Behavior Specification with Respect to Their Composition.

Ondrej Sery Frantisek Plasil

Published in: CBSE (2007)

Keyphrases

qualitative simulation
high level
specification language
database
relational databases
user defined
human behavior
formal specification
behavior analysis
dynamic behavior