%0 Book Section %1 TovalAleman2000 %A Toval, A. %A J.L.F. Alemán, %B Formal Methods for Open Object-based Distributed Systems IV %D 2000 %E Smith, Scott F. %E Talcott, Carolyn L. %I Kluwer Academic Publishers %K UML %P 183-206 %T Formally Modeling UML and its Evolution: a Holistic Approach

@incollection{TovalAleman2000, added-at = {2007-09-26T10:37:27.000+0200}, author = {Toval, A. and {J.L.F. Alem\'an}}, biburl = {https://www.bibsonomy.org/bibtex/26a71efd2941322990d1f4e5a11be642c/evol}, booktitle = {Formal Methods for Open Object-based Distributed Systems IV}, description = {The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008}, editor = {Smith, Scott F. and Talcott, Carolyn L.}, interhash = {10803d07f921a8e79d227e53b61e0c11}, intrahash = {6a71efd2941322990d1f4e5a11be642c}, keywords = {UML}, month = {September}, pages = {183-206}, publisher = {Kluwer Academic Publishers}, timestamp = {2007-09-26T10:38:01.000+0200}, title = {Formally Modeling {U}{M}{L} and its Evolution: a Holistic Approach}, year = 2000 }