TUG: An Executable Specification Language.

Chia-Chu Chiang

Published in: ACIS-ICIS (2006)

Keyphrases

specification language
formal specification
model checking
programming language
description language
formal methods
symbolic execution
reverse engineering
software environment
game based learning
information systems
cooperative
object oriented
software engineering
orders of magnitude
game play