BibTeX records: Selma Djeddai

• > Home > Persons > Selma Djeddai

@article{DBLP:journals/jodsn/DjeddaiSM14,
  author       = {Selma Djeddai and
                  Martin Strecker and
                  Mohamed Mezghiche},
  title        = {Integrating a Formal Development for DSLs into Meta-Modeling},
  journal      = {J. Data Semant.},
  volume       = {3},
  number       = {3},
  pages        = {143--155},
  year         = {2014},
  url          = {https://doi.org/10.1007/s13740-013-0030-4},
  doi          = {10.1007/S13740-013-0030-4},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jodsn/DjeddaiSM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/DjeddaiMS12a,
  author       = {Selma Djeddai and
                  Mohamed Mezghiche and
                  Martin Strecker},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Combining Verification and {MDE} Illustrated by a Formal Java Development},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {131--148},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_8},
  doi          = {10.1007/978-3-642-35737-4\_8},
  timestamp    = {Wed, 27 Apr 2022 15:55:20 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/DjeddaiMS12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/DjeddaiMS12,
  author       = {Selma Djeddai and
                  Mohamed Mezghiche and
                  Martin Strecker},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych and
                  Mikhail Zavileysky and
                  Vitaliy Kobets},
  title        = {A Case Study in Combining Formal Verification and Model-Driven Engineering},
  booktitle    = {Proceedings of the 8th International Conference on {ICT} in Education,
                  Research and Industrial Applications: Integration, Harmonization and
                  Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {848},
  pages        = {275--289},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-SMSV-paper-1-p-275-289.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:15 +0100},
  biburl       = {https://dblp.org/rec/conf/icteri/DjeddaiMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/medi/DjeddaiSM12,
  author       = {Selma Djeddai and
                  Martin Strecker and
                  Mohamed Mezghiche},
  editor       = {Alberto Abell{\'{o}} and
                  Ladjel Bellatreche and
                  Boualem Benatallah},
  title        = {Integrating a Formal Development for DSLs into Meta-modeling},
  booktitle    = {Model and Data Engineering - 2nd International Conference, {MEDI}
                  2012, Poitiers, France, October 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7602},
  pages        = {55--66},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33609-6\_7},
  doi          = {10.1007/978-3-642-33609-6\_7},
  timestamp    = {Thu, 23 Jun 2022 19:57:36 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/DjeddaiSM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}