In this issue

Papers published: 7

Total pages: 178

Printed version: Paperback

open access
Printed: € 57,50 cart Order now

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: 68 | Total: 90  | Access Period:
 1577-1579
HTML
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: 45 | Total: 55  | Access Period:
 1580-1612
HTML
PDF
Research Article
Analyzing Module Diversity
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
10.3217/jucs-011-10-1613
 28-10-2005
 Unique: 54 | Total: 70  | Access Period:
 1613-1644
HTML
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: 61 | Total: 82  | Access Period:
 1645-1675
HTML
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: 59 | Total: 70  | Access Period:
 1676-1694
HTML
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: 63 | Total: 84  | Access Period:
 1695-1717
HTML
PDF
Research Article
Probabilistic Models for Reo Connector Circuits
Christel Baier
10.3217/jucs-011-10-1718
 28-10-2005
 Unique: 51 | Total: 59  | Access Period:
 1718-1748
HTML
PDF

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

OK