The Object-Based Specification Language PI: Concepts, Syntax, and Semantics.

Published in: COMPASS/ADT (1991)

Keyphrases

specification language
formal specification
programming language
description language
software environment
symbolic execution
requirements specification
knowledge structures
database
machine learning
information systems
evolutionary algorithm
information retrieval systems
workflow models