|
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 |
