Extending a Component Specification Language with Time.

Björn Metzler Heike Wehrheim

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

specification language
formal specification
programming language
description language
software environment
requirements specification
constraint satisfaction
database
machine learning
multi agent
cooperative
object oriented
software components
workflow models