An Executable Specification Language Based on Message Sequence Charts.

Abhik Roychoudhury P. S. Thiagarajan

Published in: 10th Anniversary Colloquium of UNU/IIST (2002)

Keyphrases

specification language
formal specification
description language
programming language
model checking
email
software environment
symbolic execution
web services
requirements specification
information systems
knowledge management
domain specific
knowledge based systems
formal methods