An Executable Subset of Meta-IV with Loose Specification.

Peter Gorm Larsen Poul Bøgh Lassen

Published in: VDM Europe (1) (1991)

Keyphrases

formal specification
control flow
process algebra
attribute grammars
real time
learning algorithm
artificial intelligence
high level
specification language
data sets
web services
case study
object oriented
concurrent systems