From Basic Views and Aspects to Integration of Specification Formalisms.

Hartmut Ehrig Julia Padberg Fernando Orejas

Published in: Bull. EATCS (1999)

Keyphrases

multiple views
data fusion
single view
knowledge representation
multi view
data integration
model checking
user defined
formal specification
knowledge representation formalisms