Using Jaza to Animate RoZ Specifications of UML Class Diagrams

Yves Ledru. Using Jaza to Animate RoZ Specifications of UML Class Diagrams. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 253-262, IEEE Computer Society, 2006. [doi]

@inproceedings{Ledru06:0,
  title = {Using Jaza to Animate RoZ Specifications of UML Class Diagrams},
  author = {Yves Ledru},
  year = {2006},
  doi = {10.1109/SEW.2006.39},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.39},
  tags = {UML},
  researchr = {https://researchr.org/publication/Ledru06%3A0},
  cites = {0},
  citedby = {0},
  pages = {253-262},
  booktitle = {30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA},
  publisher = {IEEE Computer Society},
}