Formal methods for open object-based distributed systems V. IFIP TC6/ WG6. 1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20--22, 2002 (Q1604129)

The articles of this volume will be reviewed individually. The preceding conference (4th, 2000) has been reviewed (see Zbl 0951.00047). Indexed articles: \textit{Dwyer, Matthew}, Software model checking: The Bandera approach., 3-4 [Zbl 1048.68049] \textit{Schneider, Steve}, Verifying authentication protocol implementations., 5-24 [Zbl 1048.68052] \textit{Talcott, Carolyn}, A semantic framework for specifying and reasoning about composable distributed middleware services., 25-26 [Zbl 1048.68023] \textit{Jürjens, Jan}, Formal semantics for interacting UML subsystems., 29-43 [Zbl 1048.68047] \textit{Johnsen, Einar Broch; Owe, Olaf}, A compositional formalism for object viewpoints., 45-60 [Zbl 1056.68103] \textit{Taylor, Chris; Boiten, Eerke; Derrick, John}, Interpreting ODP viewpoint specification: Observations from a case study., 61-76 [Zbl 1048.68024] \textit{Wehrheim, Heike}, Checking behavioral subtypes via refinement., 79-93 [Zbl 1048.68028] \textit{Hameurlain, Nabil}, Behavioural subtyping and property preservation for active objects., 95-110 [Zbl 1056.68060] \textit{Singh, Abhishek; Billington, Jonathan}, A formal service specification for IIOP based on ISO/IEC 14752., 111-125 [Zbl 1048.68018] \textit{Briais, Sébastien; Nestmann, Uwe}, Mobile objects \`\` must'' move safely., 129-146 [Zbl 1048.68026] \textit{Thati, Prasannaa; Ziaei, Reza; Agha, Gul}, A theory of may testing for actors., 147-162 [Zbl 1048.68059] \textit{de Boer, F. S.; Pierik, C.}, Computer-aided specification and verification of annotated object-oriented programs., 163-177 [Zbl 1048.68050] \textit{Ogata, Kazuhiro; Futatsugi, Kokichi}, Formal analysis of Suzuki \& Kasami distributed mutual exclusion algorithm., 181-195 [Zbl 1056.68162] \textit{Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo}, Control flow analysis of mobile ambients with security boundaries., 197-212 [Zbl 1048.68025] \textit{Schmidt, Heinz W.; Reussner, Ralf H.}, Generating adapters for concurrent component protocol synchronisation., 213-229 [Zbl 1048.68017] \textit{Blair, Lynne; Jones, Trevor}, A feature manager approach to the analysis of component-interactions., 233-248 [Zbl 1048.68019] \textit{Yanjie, Wang; George, Chris}, Supporting collaborative design., 249-262 [Zbl 1048.68951] \textit{Taentzer, Gabriele}, A visual modeling framework for distributed object computing., 263-278 [Zbl 1048.68022]