GRIT-an extended REFINE for more executable specifications.

Paul A. Bailes Murray Chapman Ming Gong Ian Peake

Published in: KBSE (1993)

Keyphrases

formal specification
control flow
attribute grammars
case study
real world
artificial intelligence
high level
multiscale
specification language