Formal methods for open object-based distributed systems. 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19--21, 2003. Proceedings
type: Item
instance of: scholarly article
title: Formal methods for open object-based distributed systems. 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19--21, 2003. Proceedings
zbMATH Open document ID: 1029.00058
published in: Lecture Notes in Computer Science
publication date: 2004-01-12T00:00:00Z
full work available at URL: t2884.htm
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0989.00045). Indexed articles: \textit{Jacobs, Bart}, Java's integral types in PVS., 1-15 [Zbl 1253.68081] \textit{Lüdtke Ferreira, Ana Paula; Ribeiro, Leila}, Towards object-oriented graphs and grammars., 16-31 [Zbl 1253.68086] \textit{Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul}, A rewriting based model for probabilistic distributed object systems., 32-46 [Zbl 1253.68244] \textit{Prinz, Andreas; von Löwis, Martin}, Engineering the SDL formal language definition., 47-63 [Zbl 1253.68222] \textit{Pierik, Cees; de Boer, Frank S.}, A syntax-directed Hoare logic for object-oriented programming concepts., 64-78 [Zbl 1253.68087] \textit{Wehrheim, Heike}, Inheritance of temporal logic properties., 79-93 [Zbl 1253.68223] \textit{Colin, Matthias; Thirioux, Xavier; Pantel, Marc}, Temporal logic based static analysis for non-uniform behaviours., 94-108 [Zbl 1253.68084] \textit{Bidinger, Philippe; Stefani, Jean-Bernard}, The Kell calculus: operational semantics and type system., 109-123 [Zbl 1253.68235] \textit{Bocchi, Laura; Laneve, Cosimo; Zavattaro, Gianluigi}, A calculus for long-running transactions., 124-138 [Zbl 1253.68056] \textit{Gorrieri, Roberto; Martinelli, Fabio; Petrocchi, Marinella; Vaccarelli, Anna}, Formal analysis of some timed security properties in wireless protocols., 139-154 [Zbl 1253.68055] \textit{Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin}, Inductive proof outlines for monitors in Java., 155-169 [Zbl 1253.68080] \textit{Ogata, Kazuhiro; Futatsugi, Kokichi}, Proof scores in the OTS/CafeOBJ method., 170-184 [Zbl 1253.68249] \textit{Rasch, Holger; Wehrheim, Heike}, Checking consistency in UML diagrams: classes and state machines., 229-243 [Zbl 1253.68096] \textit{Dotti, Fernando L.; Foss, Luciana; Ribeiro, Leila; dos Santos, Osmar M.}, Verification of distributed object-based systems., 261-275 [Zbl 1253.6…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 2025863
zbMATH Keywords: Formal methods
zbMATH Keywords: Open object-based distributed systems
zbMATH Keywords: IFIP WG 6.1
zbMATH Keywords: FMOODS 2003
zbMATH Keywords: Paris (France)
MaRDI profile type: Publication
OpenAlex ID: W4205898334
DOI: 10.1007/B94120
description: scientific article; zbMATH DE number 2025863