An object-oriented toolkit for constructing specification editors.

Robert H. Bourdeau Betty H. C. Cheng

Published in: COMPSAC (1992)

Keyphrases

object oriented
high level
user interface
special issue
artificial intelligence
image processing
multiresolution
user defined
formal verification
genetic algorithm
search engine
e learning
similarity measure
formal methods