Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures. (Q1774485)

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1028.00026). Indexed articles: \textit{Benveniste, Albert; Caillaud, Benoît; Carloni, Luca P.; Caspi, Paul; Sangiovanni-Vincentelli, Alberto L.}, Causality and scheduling constraints in heterogeneous reactive systems modeling, 1-16 [Zbl 1104.68406] \textit{Bergstra, Jan A.}, Machine function based control code algebras, 17-41 [Zbl 1104.68407] \textit{Börger, Egon; Stärk, Robert F.}, Exploiting abstraction for specification reuse. The Java/C\# case study, 42-76 [Zbl 1104.68357] \textit{Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger}, On the verification of cooperating traffic agents, 77-110 [Zbl 1104.68526] \textit{de Boer, Frank S.; Pierik, Cees}, How to cook a complete Hoare logic for your pet OO language, 111-133 [Zbl 1104.68428] \textit{Diaconescu, Răzvan}, Behavioural specification for hierarchical object composition, 134-156 [Zbl 1104.68411] \textit{Küster, Jochen M.; Engels, Gregor}, Consistency management within model-based object-oriented development of components, 157-176 [Zbl 1104.68418] \textit{Fiadeiro, José Luiz; Lopes, Antónia}, CommUnity on the move: architectures for distribution and mobility, 177-196 [Zbl 1104.68431] \textit{Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo}, TulaFale: a security tool for web services, 197-222 [Zbl 1104.68306] \textit{Groote, Jan Friso; Willemse, Tim A. C.}, A checker for modal formulae for processes with data, 223-239 [Zbl 1104.68413] \textit{Gurevich, Yuri; Rossman, Benjamin; Schulte, Wolfram}, Semantic essence of AsmL: extended abstract, 240-259 [Zbl 1104.68527] \textit{Jézéquel, Jean-Marc; Defour, Olivier; Plouzeau, Noël}, An MDA approach to tame component based software development, 260-275 [Zbl 1104.68417] \textit{Rutten, J. J. M. M.}, An application of stream calculus to signal flow graphs, 276-291 [Zbl 1104.68423] \textit{Ioustinova, Natalia; Sidorova, Natalia; Steffen, Martin}, Synchronous closing and flow analysis for model checking timed systems, 292-313 [Zbl 1104.68415] \textit{Gössler, Gregor; Sifakis, Joseph}, Priority systems, 314-329 [Zbl 1104.68412] \textit{Wehrheim, Heike}, Preserving properties under change, 330-343 [Zbl 1104.68426] \textit{Sheyner, Oleg; Wing, Jeannette}, Tools for generating and analyzing attack graphs, 344-371 [Zbl 1104.68424]