


Остановите войну!
for scientists:
Electronic Notes in Theoretical Computer Science, Volume 215
Volume 215, June 2008
- Markus Lumpe, Eric Madelaine
:
Preface. 1-3 - Slim Kallel
, Anis Charfi, Mohamed Jmaiel:
Using Aspects for Enforcing Formal Architectural Invariants. 5-21 - Bernhard Schätz:
Modular Functional Descriptions. 23-38 - Javier Cubo
, Gwen Salaün, Carlos Canal
, Ernesto Pimentel
, Pascal Poizat
:
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. 39-55 - Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier:
Liveness in Interaction Systems. 57-74 - Meriem Belguidoum
, Fabien Dagnat:
Formalization of Component Substitutability. 75-92 - Jean-Baptiste Raclet:
Residual for Component Specifications. 93-110 - Javier Cámara, Carlos Canal
, Gwen Salaün:
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. 111-130 - Fabrício Fernandes, Jean-Claude Royer:
The STSLib Project: Towards a Formal Component Model Based on STS. 131-149 - Jasmin Christian Blanchette, Olaf Owe
:
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. 151-169 - Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components. 171-189 - Muck van Weerdenburg:
Process Algebra with Local Communication. 191-208 - Tobias Blechmann, Christel Baier:
Checking Equivalence for Reo Networks. 209-226

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.