Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FACS 2005: Macao
- Zhiming Liu, Luís Soares Barbosa:
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005. Electronic Notes in Theoretical Computer Science 160, Elsevier 2006 - Zhiming Liu, Luís Soares Barbosa
:
Preface. 1-2 - Silvia Amaro, Ernesto Pimentel, Ana M. Roldán:
Reo Based Interaction Model. 3-14 - Farhad Arbab:
Coordination for Component Composition. 15-40 - Tomás Barros, Ludovic Henrio, Eric Madelaine:
Verification of Distributed Hierarchical Components. 41-55 - Rémi Bastide, Eric Barboni:
Software Components: a Formal Semantics Based on Coloured Petri Nets. 57-73 - Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
A Component Model for Architectural Programming. 75-96 - Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot:
On the Contribution of a tau. 97-111 - Laura Bocchi, Paolo Ciancarini:
On the Impact of Formal Methods in the SOA. 113-126 - Jan Carlson, John Håkansson, Paul Pettersson:
SaveCCM: An Analysable Component Model for Real-Time Systems. 127-140 - María Victoria Cengarle, Peter Graubmann, Stefan Wagner:
Semantics of UML 2.0 Interactions with Variabilities. 141-155 - Samir Chouali, Maritta Heisel, Jeanine Souquières:
Proving Component Interoperability with B Refinement. 157-172 - Jifeng He, Xiaoshan Li, Zhiming Liu:
A Theory of Reactive Components. 173-195 - Pavel Jezek, Jan Kofron, Frantisek Plásil:
Model Checking of Component Behavior Specification: A Real Life Experience. 197-210 - Grant Malcolm:
Component-Based Specification of Distributed Systems. 211-224 - Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Cooperation-based Invariants for OO Languages. 225-237 - Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab:
Towards an Automated Deployment Planner for Composition of Web Services as Software Components. 239-253 - Ivanilton Polato, Antonio Mendes da Silva Filho:
A Component-based Approach to Embedded Software Design. 255-273 - Steve Reeves, David Streader:
Stepwise Refinement of Processes. 275-289 - Nuno F. Rodrigues, Luís Soares Barbosa:
Component Identification Through Program Slicing. 291-304 - Jan J. M. M. Rutten:
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. 305-319 - Bernhard Schäz:
Building Components from Functions. 321-334 - Lian Wen, R. Geoff Dromey:
Architecture Normalization for Component-based Systems. 335-348 - Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions. 349-361
a service of 
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 2024-04-25 05:27 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
