On Deriving Detailed Component Design from High-Level Service Specification.

Urooj Fatima Rolv Bræk

Published in: SAM (2012)

Keyphrases

high level
low level
case study
higher level
formal methods
user interface
engineering design
design decisions
high level abstraction
neural network
multi agent systems
design process
conceptual model
formal verification
tool suite