Use Case Maps as a property specification language.

Jameleddine Hassine Juergen Rilling Rachida Dssouli

Published in: Softw. Syst. Model. (2009)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
relational databases
knowledge base
general purpose
model checker
software environment
requirements specification
knowledge based systems
business processes