@inproceedings{CalegariEtAl14,
  abstract = {We have defined a unified environment that allows formal
verification within the Model-Driven Engineering (MDE) paradigm us-
ing heterogeneous verification approaches. The environment is based on
the Theory of Institutions, which provides a sound basis for representing
MDE elements and a way for specifying translations from these elements
to other logical domains used for verification, such that formal experts
can choose the domain in which they are more skilled to address a formal
proof. In this paper we present how this environment can be supported
in practice by the Heterogeneous Tool Set (Hets). We define semantic-
preserving translations from the MDE elements to the core language of
Hets, and we also show how it is possible to move from it to other log-
ics, both to supplement the original specification with other verification
properties and to perform a heterogeneous verification.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Garc{\'i}a, Daniel Calegari and Mossakowski, Till and Szasz, Nora},
  biburl = {https://www.bibsonomy.org/bibtex/2db12f444985d1650ff4b962c11e9a045/tillmo},
  booktitle = {17th Brazilian Symposium, SBMF 2014, Macei{\'o}, AL, Brazil, September 29--October 1, 2014. Proceedings},
  editor = {Braga, Christiano and Mart{\'i}-Oliet, Narciso},
  interhash = {3dd3c3da0e4e01077bf0f3a49f3f5173},
  intrahash = {db12f444985d1650ff4b962c11e9a045},
  isbn = {978-3-319-15074-1},
  keywords = {Hets MDE UML},
  pages = {64-79},
  pdfurl = {http://iws.cs.uni-magdeburg.de/~mossakow/mde-hets.pdf},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Model-Driven Engineering in the Heterogeneous Tool Set},
  url = {http://dx.doi.org/10.1007/978-3-319-15075-8_5},
  volume = 8941,
  year = 2015
}