In this issue

Papers published: 7

Total pages: 178

Unique views: 3795

Total views: 4469

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: 730 | Total: 843  | 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: 524 | Total: 623  | 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: 550 | Total: 659  | 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: 517 | Total: 614  | 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: 506 | Total: 599  | 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: 456 | Total: 548  | 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: 512 | Total: 583  | Access Period:
 1718-1748
HTML
XML
PDF

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

OK