Specification Language for Transaction Level Assertions.

Wolfgang Ecker Volkan Esen Thomas Steininger Michael Velten Michael Hull

Published in: HLDVT (2006)

Keyphrases

specification language
formal specification
description language
programming language
database
concurrency control
software environment
artificial intelligence
knowledge base
domain specific