Liliana Favre. A Formal Mapping between UML Static Models and Algebraic Specifications. In Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada. Volume 7 of LNI, pages 113-127, GI, 2001.
@inproceedings{Favre01:0, title = {A Formal Mapping between UML Static Models and Algebraic Specifications}, author = {Liliana Favre}, year = {2001}, tags = {UML, algebraic specification, algebra}, researchr = {https://researchr.org/publication/Favre01%3A0}, cites = {0}, citedby = {0}, pages = {113-127}, booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada}, editor = {Andy Evans and Robert B. France and Ana M. D. Moreira and Bernhard Rumpe}, volume = {7}, series = {LNI}, publisher = {GI}, isbn = {3-88579-335-0}, }