Login / Signup
Formal Model Merging Applied to Class Diagram Integration.
Artur Boronat
José A. Carsí
Isidro Ramos
Patricio Letelier
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
formal model
case study
object oriented
class diagram
high level
data integration
security properties