MESA: Support for Scenario-Based Design of Concurrent Systems.

Hanêne Ben-Abdallah Stefan Leue

Published in: TACAS (1998)

Keyphrases

concurrent systems
case study
primary purpose
relational databases
design tools
support systems
sensemaking
technical systems
data sets
decision support
building blocks
temporal logic
service oriented
requirements engineering