JUCS - Journal of Universal Computer Science 11

In this issue

Papers published: 7

Total pages: 178

Unique views: 4887

Total views: 6010

open access

Go to issue

Issue 11(10)

Next »

JUCS - Journal of Universal Computer Science 11(10) (2005)

Select: All None

Download:

Citation

XML

PDF

Compositional ...

Editorial

Compositional Construction and Reasoning Techniques for Software

Farhad Arbab, Joost Kok

10.3217/jucs-011-10

28-10-2005

Unique: 871 | Total: 1030

1577-1579

From ...

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: 687 | Total: 861

1580-1612

Analyzing ...

Research Article

Analyzing Module Diversity

Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz

10.3217/jucs-011-10-1613

28-10-2005

Unique: 681 | Total: 865

1613-1644

A ...

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: 688 | Total: 840

1645-1675

Coordinating ...

Research Article

Coordinating Behavioral Descriptions of Components

Silvia Amaro, Ernesto Pimentel, Ana Roldán

10.3217/jucs-011-10-1676

28-10-2005

Unique: 672 | Total: 834

1676-1694

Modular ...

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: 601 | Total: 754

1695-1717

Probabilistic ...

Research Article

Probabilistic Models for Reo Connector Circuits

Christel Baier

10.3217/jucs-011-10-1718

28-10-2005

Unique: 687 | Total: 826

1718-1748

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

OK

Web Analytics