%0 Journal Article %1 oquendo_06_�?€-method %A Oquendo, Flavio %C New York, NY, USA %D 2006 %I ACM Press %J SIGSOFT Softw. Eng. Notes %K 2006 refinement \_pdf software\_architecture %N 3 %P 1--13 %R http://dx.doi.org/10.1145/1127878.1127885 %T π-Method: a model-driven formal method for architecture-centric software engineering %U http://dx.doi.org/10.1145/1127878.1127885 %V 31

@article{oquendo_06_�?€-method, added-at = {2009-03-10T04:52:59.000+0100}, address = {New York, NY, USA}, author = {Oquendo, Flavio}, biburl = {https://www.bibsonomy.org/bibtex/2477931da589227feeae42455e1f591f6/leonardo}, citeulike-article-id = {771725}, doi = {http://dx.doi.org/10.1145/1127878.1127885}, interhash = {722b88dee55a8e4a5b333ade18115d5d}, intrahash = {477931da589227feeae42455e1f591f6}, issn = {0163-5948}, journal = {SIGSOFT Softw. Eng. Notes}, keywords = {2006 refinement \_pdf software\_architecture}, month = May, number = 3, pages = {1--13}, posted-at = {2006-07-24 20:25:57}, priority = {4}, publisher = {ACM Press}, timestamp = {2009-03-10T04:52:59.000+0100}, title = {π-Method: a model-driven formal method for architecture-centric software engineering}, url = {http://dx.doi.org/10.1145/1127878.1127885}, volume = 31, year = 2006 }