Flávio Oquendo. On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. In Boris Shishkov, José Cordeiro, Alpesh Ranchordas, editors, ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009. pages 208-217, INSTICC Press, 2009.
@inproceedings{Oquendo09, title = {On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL}, author = {Flávio Oquendo}, year = {2009}, tags = {software architecture, architecture}, researchr = {https://researchr.org/publication/Oquendo09}, cites = {0}, citedby = {0}, pages = {208-217}, booktitle = {ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009}, editor = {Boris Shishkov and José Cordeiro and Alpesh Ranchordas}, publisher = {INSTICC Press}, isbn = {978-989-674-009-2}, }