The groupthink specification exercise.

Michael D. Ernst John Chapin

Published in: ICSE (2005)

Keyphrases

high level
information systems
formal specification
specification language
ims learning design
data sets
information retrieval
e learning
multi agent
special case
programming language
formal verification
asynchronous circuits