Research of Component Composition Using Formal Semantics.

Min Ma Quansheng Wu

Published in: Software Engineering Research and Practice (2010)

Keyphrases

formal semantics
logical language
formal language
logical reasoning
er model
modeling language
modelling language
first order logic
theorem prover
software components
owl dl ontology
databases
high level
bayesian networks
software engineering