Specifying and Validating Reactive Systems with CommonKADS Methodology.

Maâmar El-Amine Hamri Claudia S. Frydman Lucile Torres

Published in: KES (2003)

Keyphrases

reactive systems
temporal logic
information flow
petri net
databases
knowledge engineering
expert systems
knowledge based systems
model checking
formal methods
control flow
state machines
case study
data warehouse
distributed systems
design methodology