A UML model consistency verification approach based on meta-modeling formalization

Hugues Malgouyres, Gilles Motet. A UML model consistency verification approach based on meta-modeling formalization. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1804-1809, ACM, 2006. [doi]

@inproceedings{MalgouyresM06,
  title = {A UML model consistency verification approach based on meta-modeling formalization},
  author = {Hugues Malgouyres and Gilles Motet},
  year = {2006},
  doi = {10.1145/1141277.1141703},
  url = {http://doi.acm.org/10.1145/1141277.1141703},
  tags = {rule-based, meta-model, modeling, UML, consistency, Meta-Environment, systematic-approach, meta-objects},
  researchr = {https://researchr.org/publication/MalgouyresM06},
  cites = {0},
  citedby = {0},
  pages = {1804-1809},
  booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006},
  editor = {Hisham Haddad},
  publisher = {ACM},
  isbn = {1-59593-108-2},
}