An Institutional Framework for Heterogeneous Formal Development in UML.

Alexander Knapp Till Mossakowski Markus Roggenbach

Published in: CoRR (2014)

Keyphrases

main contribution
software engineering
theoretical framework
model driven engineering
database
open source
knowledge based systems
formal model
case study
relational databases
software development
database design
design principles
formal specification
formal methods
disparate data sources