Approaches to executable specifications.

Stephen W. Smoliar

Published in: Rapid Prototyping (1982)

Keyphrases

formal specification
pros and cons
attribute grammars
artificial intelligence
database
data sets
neural network
concurrent systems