The Specification Language GSBL.

Silvia Clerici Fernando Orejas

Published in: ADT (1990)

Keyphrases

specification language
description language
programming language
formal specification
symbolic execution
software environment
requirements specification
databases
web services
cooperative
object oriented
search algorithm
general purpose
building blocks
domain independent