Modeling event driven applications with a specification language (MEDASL).

Murali Kaundinya Ali Syed

Published in: OOPSLA Companion (2004)

Keyphrases

event driven
specification language
formal specification
programming language
fuzzy cognitive maps
information delivery
description language
software environment
real time
symbolic execution
publish subscribe
machine learning
artificial intelligence