default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FACS 2007: Sophia-Antipolis, France
- Markus Lumpe, Eric Madelaine:
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007. Electronic Notes in Theoretical Computer Science 215, Elsevier 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 de Alexandria 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.
last updated on 2026-07-19 01:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
