Specification Languages and Their Implementations.

Published in: ACM Conference on Computer Science (1993)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
efficient implementation
multiscale
model checking
software implementation
decision making
search algorithm
knowledge representation
fuzzy logic
fine grained
reverse engineering