Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/models/BalabanCGW12,
  author       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Workshop on {OCL} and textual modeling: {OCL} 2012},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {5--6},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428517},
  doi          = {10.1145/2428516.2428517},
  timestamp    = {Wed, 23 Feb 2022 13:04:32 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BalabanCGW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerW12,
  author       = {Achim D. Brucker and
                  Burkhart Wolff},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Featherweight {OCL:} a study for the consistent semantics of {OCL}
                  2.3 in {HOL}},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428520},
  doi          = {10.1145/2428516.2428520},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruningKL12,
  author       = {Jens Br{\"{u}}ning and
                  Martin Kunert and
                  Birger Lantow},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Modeling and executing ConcurTaskTrees using a {UML} and SOIL-based
                  metamodel},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {43--48},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428524},
  doi          = {10.1145/2428516.2428524},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruningKL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CantenotAB12,
  author       = {J{\'{e}}r{\^{o}}me Cantenot and
                  Fabrice Ambert and
                  Fabrice Bouquet},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Transformation rules from {UML4MBT} meta-model to {SMT} meta-model
                  for model animation},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {55--60},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428526},
  doi          = {10.1145/2428516.2428526},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/CantenotAB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DieumegardTP12,
  author       = {Arnaud Dieumegard and
                  Andres Toom and
                  Marc Pantel},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Model-based formal specification of a {DSL} library for a qualified
                  code generator},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {61--62},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428527},
  doi          = {10.1145/2428516.2428527},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DieumegardTP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FranciscoC12,
  author       = {Miguel A. Francisco and
                  Laura M. Castro},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Automatic generation of test models and properties from {UML} models
                  with {OCL} constraints},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {49--54},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428525},
  doi          = {10.1145/2428516.2428525},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/FranciscoC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GarryB12,
  author       = {David Garry and
                  Tricia Balfe},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Experiences using {OCL} for business rules on financial messaging},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {65--66},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428529},
  doi          = {10.1145/2428516.2428529},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GarryB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HofrichterHGS12,
  author       = {Oliver Hofrichter and
                  Lars Hamann and
                  Martin Gogolla and
                  Frank Steimke},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {The secret life of {OCL} constraints},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {63--64},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428528},
  doi          = {10.1145/2428516.2428528},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HofrichterHGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/IzsoSBHRV12,
  author       = {Benedek Izs{\'{o}} and
                  Zolt{\'{a}}n Szatm{\'{a}}ri and
                  G{\'{a}}bor Bergmann and
                  {\'{A}}kos Horv{\'{a}}th and
                  Istv{\'{a}}n R{\'{a}}th and
                  D{\'{a}}niel Varr{\'{o}}},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Ontology driven design of {EMF} metamodels and well-formedness constraints},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {37--42},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428523},
  doi          = {10.1145/2428516.2428523},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/IzsoSBHRV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KrikavaC12,
  author       = {Filip Krikava and
                  Philippe Collet},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {On the use of an internal {DSL} for enriching {EMF} models},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {25--30},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428521},
  doi          = {10.1145/2428516.2428521},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/KrikavaC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Liepins12,
  author       = {Renars Liepins},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Library for model querying: IQuery},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {31--36},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428522},
  doi          = {10.1145/2428516.2428522},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Liepins12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ReimannWDMA12,
  author       = {Jan Reimann and
                  Claas Wilke and
                  Birgit Demuth and
                  Michael Muck and
                  Uwe A{\ss}mann},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Tool supported {OCL} refactoring catalogue},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428518},
  doi          = {10.1145/2428516.2428518},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ReimannWDMA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Willink12,
  author       = {Edward D. Willink},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {An extensible {OCL} virtual machine and code generator},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {13--18},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428519},
  doi          = {10.1145/2428516.2428519},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Willink12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2012ocl,
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2428516},
  isbn         = {978-1-4503-1799-3},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2012ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics