cTc - A Tool Supporting the Construction of cTLA-Specifications.

Carsten Heyl Arnulf Mester Heiko Krumm

Published in: TACAS (1996)

Keyphrases

multi class
construction process
database
data mining
social networks
knowledge acquisition
class distribution
formal specification
unit testing