LISA: A Specification Language Based on WS2S.

Abdelwaheb Ayari David A. Basin Andreas Podelski

Published in: CSL (1997)

Keyphrases

specification language
formal specification
description language
programming language
service oriented
symbolic execution
business process
general purpose
requirements specification
artificial intelligence
software environment
databases
database systems
knowledge management