Login / Signup
Applying Formal Methods in Ontology Reconciliation Techniques Design.
Patrício de Alencar Silva
Ulrich Schiel
Cláudia Maria Fernandes
Araújo Ribeiro
Rute Cardoso Drebes
Published in:
iiWAS (2007)
Keyphrases
</>
formal methods
development lifecycle
case study
safety critical
knowledge based systems
domain specific
formal specification
model checker
provably correct
building blocks
formal analysis
user interface
semantic annotation
metamodel
software engineering
process algebra
knowledge base