BibTeX record conf/models/MaozMRRW17

• > Home > conf/models/MaozMRRW17

@inproceedings{DBLP:conf/models/MaozMRRW17,
  author       = {Shahar Maoz and
                  Ferdinand Mehlan and
                  Jan Oliver Ringert and
                  Bernhard Rumpe and
                  Michael von Wenckstern},
  editor       = {Loli Burgue{\~{n}}o and
                  Jonathan Corley and
                  Nelly Bencomo and
                  Peter J. Clarke and
                  Philippe Collet and
                  Michalis Famelis and
                  Sudipto Ghosh and
                  Martin Gogolla and
                  Joel Greenyer and
                  Esther Guerra and
                  Sahar Kokaly and
                  Alfonso Pierantonio and
                  Julia Rubin and
                  Davide Di Ruscio},
  title        = {{OCL} Framework to Verify Extra-Functional Properties in Component
                  and Connector Models},
  booktitle    = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
                  ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
                  MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
                  Research Competition, and Tools and Demonstrations co-located with
                  {ACM/IEEE} 20th International Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
                  17, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2019},
  pages        = {24--30},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2019/modcomp\_4.pdf},
  timestamp    = {Wed, 26 Jun 2024 17:26:37 +0200},
  biburl       = {https://dblp.org/rec/conf/models/MaozMRRW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}