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

Content of Issue 10
DOI: 10.3217/jucs-011-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.S. 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