Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

>> Google Books

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens

版:

1st ed. 2003

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2003

形態:

VIII, 340 p.

シリーズ名:

Lecture Notes in Computer Science ; 2884

著者名:

ISBN:

9783540399582 [3540399585]
9783540204916 [3540204911]
9783662168028 [3662168022]

書誌ID:

EB00004174

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems,andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned w

主題:

Compilers and Interpreters; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Operating Systems; Programming Techniques; Software Engineering

言語:

英語

目次情報:

Invited Talk

Java's Integral Types in PVS / Bart Jacobs

Models

Towards Object-Oriented Graphs and Grammars / Ana Paula ; LÃ¼dtke Ferreira ; Leila Ribeiro

A Rewriting Based Model for Probabilistic Distributed Object Systems / Nirman Kumar ; Koushik Sen ; JosÃ© Meseguer ; Gul Agha

Engineering the SDL Formal Language Definition / Andreas Prinz ; Martin v. LÃ¶wis

Logic and Verification

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts / Cees Pierik ; Frank S. de Boer

Inheritance of Temporal Logic Properties / Heike Wehrheim

Temporal Logic Based Static Analysis for Non-uniform Behaviours / Matthias Colin ; Xavier Thirioux ; Marc Pantel

Calculi

The Kell Calculus: Operational Semantics and Type System / Philippe Bidinger ; Jean-Bernard Stefani

A Calculus for Long-Running Transactions / Laura Bocchi ; Cosimo Laneve ; Gianluigi Zavattaro

Formal Analysis of Some Timed Security Properties in Wireless Protocols / Roberto Gorrieri ; Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli

Java and .NET

Inductive Proof Outlines for Monitors in Java / Erika ÃbrahÃ¡m ; Willem-Paul de Roever ; Martin Steffen

Proof Scores in the OTS/CafeOBJ Method / Kazuhiro Ogata ; Kokichi Futatsugi

Managing the Evolution of .NET Programs / Susan Eisenbach ; Vladimir Jurisic ; Chris Sadler

UML

On Mobility Extensions of UML Statecharts. A Pragmatic Approach / Diego Latella ; Mieke Massink

New Operators for the TURTLE Real-Time UML Profile / Christophe Lohr ; Ludovic Apvrille ; Pierre de Saqui-Sannes ; Jean-Pierre Courtiat

Checking Consistency in UML Diagrams: Classes and State Machines / Holger Rasch

Composition and Verification

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components / FrÃ©dÃ©ric Tronel ; FrÃ©dÃ©ric Lang ; Hubert Garavel

Verification of Distributed Object-Based Systems / Fernando L. Dotti ; Luciana Foss ; Osmar M. dos Santos

Design and Verification of Distributed Multi-media Systems / David Akehurst ; John Derrick ; A. Gill Waters

Author Index

Invited Talk

Java's Integral Types in PVS / Bart Jacobs

Models

Towards Object-Oriented Graphs and Grammars / Ana Paula ; LÃ¼dtke Ferreira ; Leila Ribeiro

A Rewriting Based Model for Probabilistic Distributed Object Systems / Nirman Kumar ; Koushik Sen ; JosÃ© Meseguer ; Gul Agha

Engineering the SDL Formal Language Definition / Andreas Prinz ; Martin v. LÃ¶wis

続きを見る

ブックレビュー

類似資料:

1 電子ブック Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings Steffen, Martin., Zavattaro, Gianluigi., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings Wang, Farn., SpringerLink (Online service) Springer Berlin Heidelberg
2 図書 Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : … International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, … Springer	8 電子ブック Distributed Applications and Interoperable Systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings Stefani, Jean-Bernard., Demeure, Isabelle., Hagimont, Daniel., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Distributed Applications and Interoperable Systems : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings Kutvonen, Lea., SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 … Sventek, Joseph., Coulson, Geoffrey., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, … König, Hartmut., Heiner, Monika., Wolisz, Adam., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Middleware 2005 : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings Alonso, Gustavo., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, … Frutos-Escrig, David de., Nunez, Manuel., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Formal Methods for Open Object-Based Distributed Systems International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, … Peled, Doron A., Vardi, Moshe Y., SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings Guerraoui, Rachid., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12