Deriving Safety Software Requirements from an AltaRica System Model.

Sophie Humbert Christel Seguin Charles Castel Jean-Marc Bosc

Published in: SAFECOMP (2008)

Keyphrases

management system
database
high level
objective function
probabilistic model
computational model
artificial intelligence
information systems
knowledge base
prior knowledge
probability distribution
object oriented
data driven
knowledge based systems
mathematical model
software requirements