The Coalgebraic Class Specification Language CCSL.

Jan Rothe Hendrik Tews Bart Jacobs

Published in: J. Univers. Comput. Sci. (2001)

Keyphrases

specification language
formal specification
programming language
description language
case study
software environment
symbolic execution
software engineering
web services
general purpose
open source
test collection