search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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