In this issue

Papers published: 7

Total pages: 178

Printed version: Paperback

Unique views: 3020

Total views: 3553

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: 629 | Total: 725  | 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: 410 | Total: 485  | 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: 432 | Total: 515  | 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: 421 | Total: 498  | 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: 378 | Total: 449  | 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: 354 | Total: 426  | 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: 396 | Total: 455  | Access Period:
 1718-1748
HTML
XML
PDF

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

OK