Journals in DBLP

J. UCS
2005, volume: 11, number: 10

1. Farhad Arbab, Joost N. Kok
   Compositional Construction and Reasoning Techniques for Software. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1577-1579 [Journal]
   
2. A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira
   From Algebras to Objects: Generation and Composition. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1580-1612 [Journal]
   
3. Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
   Analyzing Module Diversity. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1613-1644 [Journal]
   
4. Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston, Wei Zhao, Carol C. Burt
   A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1645-1675 [Journal]
   
5. Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
   Coordinating Behavioral Descriptions of Components. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1676-1694 [Journal]
   
6. Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi
   Modular Verification of a Component-Based Actor Language. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1695-1717 [Journal]
   
7. Christel Baier
   Probabilistic Models for Reo Connector Circuits. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1718-1748 [Journal]