Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.

David Coppit Kevin J. Sullivan Joanne Bechta Dugan

Published in: ISSRE (2000)

Keyphrases

formal semantics
operational semantics
fault diagnosis
logical language
modeling language
decision trees
fault detection
software engineering
design process
first order logic
ontology languages
formal language
modelling language
owl dl ontology