In this issue

Papers published: 7

Total pages: 178

Printed version: Paperback

open access

Go to issue

« Previous
Issue 11(10)
 Next »
Issue No
from 0 to 29
Number No
JUCS - Journal of Universal Computer Science 11(10) (2005)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
Compositional Construction and Reasoning Techniques for Software
Farhad Arbab, Joost Kok
10.3217/jucs-011-10
 28-10-2005
 Unique: 114 | Total: 141  | Access Period:
 1577-1579
HTML
XML
PDF
Research Article
From Algebras to Objects: Generation and Composition
A. Cruz, Luís Barbosa, José Oliveira
10.3217/jucs-011-10-1580
 28-10-2005
 Unique: 106 | Total: 127  | Access Period:
 1580-1612
HTML
XML
PDF
Research Article
Analyzing Module Diversity
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
10.3217/jucs-011-10-1613
 28-10-2005
 Unique: 108 | Total: 135  | Access Period:
 1613-1644
HTML
XML
PDF
Research Article
A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm
Fei Cao, Barrett Bryant, Rajeev Raje, Andrew Olson, Mikhail Auguston, Wei Zhao, Carol Burt
10.3217/jucs-011-10-1645
 28-10-2005
 Unique: 108 | Total: 143  | Access Period:
 1645-1675
HTML
XML
PDF
Research Article
Coordinating Behavioral Descriptions of Components
Silvia Amaro, Ernesto Pimentel, Ana Roldán
10.3217/jucs-011-10-1676
 28-10-2005
 Unique: 105 | Total: 122  | Access Period:
 1676-1694
HTML
XML
PDF
Research Article
Modular Verification of a Component-Based Actor Language
Marjan Sirjani, Frank De Boer, Ali Movaghar
10.3217/jucs-011-10-1695
 28-10-2005
 Unique: 107 | Total: 138  | Access Period:
 1695-1717
HTML
XML
PDF
Research Article
Probabilistic Models for Reo Connector Circuits
Christel Baier
10.3217/jucs-011-10-1718
 28-10-2005
 Unique: 99 | Total: 115  | Access Period:
 1718-1748
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK