Verifying component and connector models against crosscutting structural views

by Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Reference:
Verifying component and connector models against crosscutting structural views (Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe), In ICSE, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/icse/MaozRR14,
  author    = {Shahar Maoz and
               Jan Oliver Ringert and
               Bernhard Rumpe},
  title     = {Verifying component and connector models against crosscutting
               structural views},
  booktitle = {ICSE},
  year      = {2014},
  pages     = {95-105},
  ee        = {http://doi.acm.org/10.1145/2568225.2568237},
  crossref  = {DBLP:conf/icse/2014},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Bookmark the permalink.