%0 Conference Paper %1 reynoso_08_formal %A Reynoso, Luis %A Juan, %A Genero, Marcela %A Piattini, Mario %B SAC '08: Proceedings of the 2008 ACM symposium on Applied computing %C New York, NY, USA %D 2008 %I ACM %K 2008 statecharts ocl uml %P 846--847 %R 10.1145/1363686.1363880 %T Formal definition of measures for UML statechart diagrams using OCL %U http://dx.doi.org/10.1145/1363686.1363880 %@ 9781595937537

@inproceedings{reynoso_08_formal, added-at = {2009-02-11T20:43:50.000+0100}, address = {New York, NY, USA}, author = {Reynoso, Luis and Juan and Genero, Marcela and Piattini, Mario}, biburl = {https://www.bibsonomy.org/bibtex/28dd7cdf2a749ebee7129220b58c73132/leonardo}, booktitle = {SAC '08: Proceedings of the 2008 ACM symposium on Applied computing}, citeulike-article-id = {2705139}, description = {(private-note)Ver se '{e} poss'{i}vel fazer o mesmo com Alloy}, doi = {10.1145/1363686.1363880}, interhash = {8d18ccc36d9469f045a6bdce7b6a111e}, intrahash = {8dd7cdf2a749ebee7129220b58c73132}, isbn = {9781595937537}, keywords = {2008 statecharts ocl uml}, pages = {846--847}, posted-at = {2008-04-23 03:59:53}, priority = {3}, publisher = {ACM}, timestamp = {2009-02-11T20:43:50.000+0100}, title = {Formal definition of measures for UML statechart diagrams using OCL}, url = {http://dx.doi.org/10.1145/1363686.1363880}, year = 2008 }