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

所蔵情報QRコード

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

x, 292 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2884 <BA00009279>

著者名:

ISBN:

9783540204916 [3540204911]

書誌ID:

BA64762546

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Electronic data processing--Distributed processing--Congresses; Object-oriented programming (Computer science)--Congresses

言語:

英語

目次情報:

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 International Conference on Formal Methods for Open Object-Based Distributed Systems, Steffen, Martin, Zavattaro, … Springer	7 図書 Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto, Wehrheim, Heike Springer
2 図書 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Ciancarini, Paolo, 1959-, … Kluwer Academic	8 図書 Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Jacobs, Bart, Rensink, Arend Kluwer Academic Publishers
3 電子ブック 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	9 図書 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, … FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1 Springer
4 図書 Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, … FORTE, Najm, Elie, Pradat-Peyre, Jean-François, Donzeau-Gouge, Véronique Viguié Springer	10 図書 Formal methods for open object-based distributed systems ([v. 1] ; v. 2) Najm, Elie, Stefani, Jean-Bernard, International Federation for Information Processing Chapman and Hall on behalf of the International Federation for Information Processing(IFIP)
5 図書 Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on … (: alk. paper) IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication … Kluwer Academic Publishers	11 図書 Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and … FORTE, Diaz, Michel, 1945-, Groz, Roland North-Holland
6 図書 Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Smith, Scott F., Talcott, Carolyn … Kluwer Academic Publishers	12 図書 Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : … FORTE, Wang, Farn Springer