Integrating Formal and Informal Specification Techniques. Why? How?

Jean-Michel Bruel

Published in: WIFT (1998)

Keyphrases

formal models
formal model
high level
operational semantics
information retrieval
learning algorithm
artificial neural networks
data model
formal verification
formal language
reactive systems