Specification languages-assessment and trends.

C. K. Chang John W. Brackett A. M. Davis P. C. Grabon T. Haizuka P. Hsia

Published in: ICCL (1988)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
emerging trends
real time
databases
social networks
similarity measure
expert systems
model checking
reverse engineering