A refinement calculus for software components and architectures
M. Barbosa. ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, page 377--380. New York, NY, USA, ACM Press, (2005)
DOI: http://dx.doi.org/10.1145/1081706.1081767
ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 barbosa_05_refinement
%A Barbosa, Marco A.
%B ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
%C New York, NY, USA
%D 2005
%I ACM Press
%K refinement 2005 \_pdf software\_architecture
%P 377--380
%R http://dx.doi.org/10.1145/1081706.1081767
%T A refinement calculus for software components and architectures
%U http://dx.doi.org/10.1145/1081706.1081767
@inproceedings{barbosa_05_refinement,
added-at = {2009-03-10T04:52:57.000+0100},
address = {New York, NY, USA},
author = {Barbosa, Marco A.},
biburl = {https://www.bibsonomy.org/bibtex/23cfb9cc3fd8692f7b85239a6dcbf23b5/leonardo},
booktitle = {ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering},
citeulike-article-id = {789066},
doi = {http://dx.doi.org/10.1145/1081706.1081767},
interhash = {240534d1b3f14d9a4103557ba3234631},
intrahash = {3cfb9cc3fd8692f7b85239a6dcbf23b5},
issn = {0163-5948},
keywords = {refinement 2005 \_pdf software\_architecture},
pages = {377--380},
posted-at = {2006-08-07 19:56:08},
priority = {4},
publisher = {ACM Press},
timestamp = {2009-03-10T04:52:57.000+0100},
title = {A refinement calculus for software components and architectures},
url = {http://dx.doi.org/10.1145/1081706.1081767},
year = 2005
}