Why is My Component and Connector Views Specification Unsatisfiable?

Shahar Maoz Nitzan Pomerantz Jan Oliver Ringert Rafi Shalom

Published in: MoDELS (2017)

Keyphrases

multiple views
formal specification
user defined
database
information systems
orders of magnitude
phase transition
single view
database systems