PIL: A Tool for Pre-implementation of LOTOS.

J. Queiroz Ahmed Serhrouchni P. Cunha Elie Najm

Published in: FORTE (1990)

Keyphrases

formal specification language
database
efficient implementation
implementation details
programming tool
real world
computer vision
information systems
three dimensional
data structure
information technology
software engineering
software tools
formal methods