Implementing the product automation formalism.

Frederick J. Portier

Published in: WSC (1987)

Keyphrases

life cycle
formal model
artificial intelligence
computational properties
database
real time
optimal solution
natural language
conceptual model
probabilistic reasoning
product quality
operational semantics