%0 Journal Article %1 oquendo_04_formally %A Oquendo, Flavio %C New York, NY, USA %D 2004 %I ACM Press %J SIGSOFT Softw. Eng. Notes %K refinement 2004 software_architecture %N 5 %P 1--26 %R 10.1145/1022494.1022518 %T Formally refining software architectures with "I€-ARL: a case study %U http://dx.doi.org/10.1145/1022494.1022518 %V 29

@article{oquendo_04_formally, added-at = {2009-02-12T11:20:36.000+0100}, address = {New York, NY, USA}, author = {Oquendo, Flavio}, biburl = {https://www.bibsonomy.org/bibtex/2b9e71b805d8d062798047ea87a7d068b/leonardo}, citeulike-article-id = {771717}, doi = {10.1145/1022494.1022518}, interhash = {0be1d9c8da8f1e09670260139d00e5f2}, intrahash = {b9e71b805d8d062798047ea87a7d068b}, issn = {0163-5948}, journal = {SIGSOFT Softw. Eng. Notes}, keywords = {refinement 2004 software_architecture}, month = {September}, number = 5, pages = {1--26}, posted-at = {2006-07-24 20:16:53}, priority = {3}, publisher = {ACM Press}, timestamp = {2009-02-12T11:20:36.000+0100}, title = {Formally refining software architectures with "{I}€-ARL: a case study}, url = {http://dx.doi.org/10.1145/1022494.1022518}, volume = 29, year = 2004 }