In this issue

Papers published: 7

Total pages: 178

Printed version: Paperback

Unique views: 2913

Total views: 3413

open access

Go to issue

« Previous
Issue 11(10)
 Next »
Issue No
from 0 to 30
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: 609 | Total: 697  | 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: 392 | Total: 465  | 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: 419 | Total: 494  | 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: 407 | Total: 483  | 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: 363 | Total: 428  | 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: 340 | Total: 409  | 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: 383 | Total: 437  | Access Period:
 1718-1748
HTML
XML
PDF

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

OK