UML/OCL and Refinement

Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté. UML/OCL and Refinement. In 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011. pages 149-158, IEEE Computer Society, 2011. [doi]

@inproceedings{BhiriKGA11,
  title = {UML/OCL and Refinement},
  author = {Mohamed Tahar Bhiri and Mourad Kmimech and Mohamed Graiet and Philippe Aniorté},
  year = {2011},
  doi = {10.1109/ECBS.2011.42},
  url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2011.42},
  tags = {OCL, refinement, UML},
  researchr = {https://researchr.org/publication/BhiriKGA11},
  cites = {0},
  citedby = {0},
  pages = {149-158},
  booktitle = {18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4577-0065-1},
}