Abstraction-Raising Transformation for Generating Analysis Models

Antonino Sabetta, Dorina C. Petriu, Vincenzo Grassi, Raffaela Mirandola. Abstraction-Raising Transformation for Generating Analysis Models. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers. Volume 3844 of Lecture Notes in Computer Science, pages 217-226, Springer, 2005. [doi]

@inproceedings{SabettaPGM05,
  title = {Abstraction-Raising Transformation for Generating Analysis Models},
  author = {Antonino Sabetta and Dorina C. Petriu and Vincenzo Grassi and Raffaela Mirandola},
  year = {2005},
  doi = {10.1007/11663430_23},
  url = {http://dx.doi.org/10.1007/11663430_23},
  tags = {model-to-model transformation, meta-model, points-to analysis, analysis, UML, source-to-source, C++, model transformation, abstraction, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/SabettaPGM05},
  cites = {0},
  citedby = {0},
  pages = {217-226},
  booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers},
  editor = {Jean-Michel Bruel},
  volume = {3844},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-31780-5},
}