Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 11

Content of Issue 10
Compositional Construction and Reasoning Techniques for Software F. Arbab, J.N. Kok 1577
From Algebras to Objects: Generation and Composition A.M. Cruz, L. Soares Barbosa, J.N. Oliveira 1580
Analyzing Module Diversity A. Bergel, S. Ducasse, O. Nierstrasz 1613
A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm F. Cao, B.R. Bryant, R.R. Raje, A.M. Olson, M. Auguston, W. Zhao, C.C. Burt 1645
Coordinating Behavioral Descriptions of Components S. Amaro, E. Pimentel, A.M. Roldán 1676
Modular Verification of a Component-Based Actor Language M. Sirjani, F.S. de Boer, A. Movaghar 1695
Probabilistic Models for Reo Connector Circuits C. Baier 1718