Search dblp for Publications

export results for "toc:db/conf/models/ocl2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/models/BalabanBDGGKK16,
  author       = {Mira Balaban and
                  Phillipa Bennett and
                  Khanh{-}Hoang Doan and
                  Geri Georg and
                  Martin Gogolla and
                  Igal Khitron and
                  Michael Kifer},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {A Comparison of Textual Modeling Languages: OCL, Alloy, {FOML}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {57--72},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BalabanBDGGKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Bertram0RW16,
  author       = {Vincent Bertram and
                  Alexander Roth and
                  Bernhard Rumpe and
                  Michael von Wenckstern},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Extendable Toolchain for Automatic Compatibility Checks},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {49--56},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Bertram0RW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BertramRW16,
  author       = {Vincent Bertram and
                  Bernhard Rumpe and
                  Michael von Wenckstern},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Encapsulation, Operator Overloading, and Error Class Mechanisms in
                  {OCL}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {17--32},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BertramRW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCDGHHTWW16,
  author       = {Achim D. Brucker and
                  Jordi Cabot and
                  Gwendal Daniel and
                  Martin Gogolla and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera and
                  Frank Hilken and
                  Fr{\'{e}}d{\'{e}}ric Tuong and
                  Edward D. Willink and
                  Burkhart Wolff},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Recent Developments in {OCL} and Textual Modelling},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {157--165},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerCDGHHTWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CalegariV16,
  author       = {Daniel Calegari and
                  Marcos Viera},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {On the Functional Interpretation of {OCL}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {33--48},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/CalegariV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Garcia-Dominguez16,
  author       = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
                  Dimitris S. Kolovos},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Models from Code, or Code as Models?},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {137--148},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Garcia-Dominguez16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannGD16,
  author       = {Lars Hamann and
                  Martin Gogolla and
                  Nisha Desai},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {On the Support of Qualified Associations in {OCL}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {3--15},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HamannGD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HilkenSSG16,
  author       = {Frank Hilken and
                  Marcel Schuster and
                  Karsten Sohr and
                  Martin Gogolla},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Integrating {UML/OCL} Derived Properties into Validation and Verification
                  Processes},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {89--104},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HilkenSSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JouaultB16,
  author       = {Fr{\'{e}}d{\'{e}}ric Jouault and
                  Olivier Beaudoux},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Efficient OCL-based Incremental Transformations},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {121--136},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/JouaultB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MadaniK16,
  author       = {Sina Madani and
                  Dimitris S. Kolovos},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Re-Implementing Apache Thrift using Model-Driven Engineering Technologies:
                  An Experience Report},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {149--156},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MadaniK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RodriguezK16,
  author       = {Horacio Hoyos Rodriguez and
                  Dimitrios S. Kolovos},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Declarative Model Transformation Execution Planning},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {105--120},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/RodriguezK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SunDAC16,
  author       = {Peiyuan Sun and
                  Zinovy Diskin and
                  Michal Antkiewicz and
                  Krzysztof Czarnecki},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Modeling and Reasoning with Multirelations, and their encoding in
                  Alloy},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {73--88},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SunDAC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2016ocl,
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756},
  urn          = {urn:nbn:de:0074-1756-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2016ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics