Techniques for Reactive System Design: The Tools in TRADE.

Roel J. Wieringa David N. Jansen

Published in: CAiSE (2001)

Keyphrases

design decisions
design concepts
computer aided
formal methods
design tools
design patterns
building blocks
software design
engineering design
databases
learning activities
decision support
user interface
multi agent systems
case study
information retrieval
data mining