Construction and Reuse of Formal Program Developments.

Jacques Cazin Patrice Cros René Jacquart Michel Lemoine P. Michel

Published in: TAPSOFT, Vol.2 (1991)

Keyphrases

website
image processing
real time
neural network
artificial intelligence
test cases
computer programs
machine learning
knowledge base
bayesian networks
knowledge representation
software development
formal model
formal specification
programming environment