@Conference{DBLP:conf/ecmdafa/Lopez-HerrejonE10,
  author    = {Lopez-Herrejon, Roberto E. and Alexander Egyed},
  title     = {Detecting Inconsistencies in Multi-View Models with Variability.},
  booktitle = {Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, France},
  year      = {2010},
  editor    = {Thomas Kühne and Bran Selic and Marie-Pierre Gervais and François Terrier},
  pages     = {217-232},
  abstract  = {Multi-View Modeling (MVM) is a common modeling practice that advocates
	the use of multiple, different and yet related models to represent
	the needs of diverse stakeholders. Of crucial importance in MVM is
	consistency checking - the description and verification of semantic
	relationships amongst the views. Variability is the capacity of software
	artifacts to vary, and its effective management is a core tenet of
	the research in Software Product Lines (SPL). MVM has proven useful
	for developing one-of-a-kind systems; however, to reap the potential
	benefits of MVM in SPL it is vital to provide consistency checking
	mechanisms that cope with variability. In this paper we describe
	how to address this need by applying Safe Composition the guarantee
	that all programs of a product line are type safe. We evaluate our
	approach with a case study.},
  doi       = {10.1007/978-3-642-13595-8_18},
  file      = {:Conferences\\ECMFA 2010 - Detecting Inconsistencies in Multi-View Models With Variability\\Detecting Inconsistencies in Multi-View Models With Variability-preprint.pdf:PDF},
  keywords  = {FWF P21321, FWF M1421},
}