Affiliation:
1. Universidade do Minho, Braga, Portugal
Abstract
The complexity and ubiquity achieved by software in the present world makes it imperative, more than ever, the availability of both technologies and sound methods to drive its development. Programming '
in--the--large
', component--based programming and software architecture are popular expressions which embody this concern and correspond to driving forces in current software engineering. In such a context, this paper reports on the research, which constitutes the PhD project of the author, on a formal calculus for reasoning about and transforming component--based architectures.
Publisher
Association for Computing Machinery (ACM)
Reference35 articles.
1. A Logical Basis for the Specification of Reconfigurable Component-Based Systems
2. A formal basis for architectural connection
3. Abstract Behavior Types: A Foundation Model for Components and Their Composition
4. F. Arbab and J. Rutten. A coinductive calculus of component connectors. pages 35--56. Springer Lect. Notes Comp. Sci. (2755) 2003.]] F. Arbab and J. Rutten. A coinductive calculus of component connectors. pages 35--56. Springer Lect. Notes Comp. Sci. (2755) 2003.]]
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献