Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy

>> Google Books

所蔵情報QRコード

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri

資料種別:

図書

出版情報:

Boston : Kluwer Academic, c1999

形態:

xii, 436 p. ; 24 cm

シリーズ名:

The International Federation for Information Processing ; 10 <BA39641980>

著者名:

ISBN:

9780792384298 [0792384296]

書誌ID:

BA41081798

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references

主題:

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

言語:

英語

目次情報:

3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1：

Preface

Languages / Part 1：

Piccola - A Small Compositional Language / O. Nierstrasz

An Algebra of Actors / M. Gaspari ; G. Zavattaro

Developing Object-Based Distributed Systems / M. Bonsangue, et al.

Semantics I. Reasoning About Histories in Object-Based Distributed Systems / F.S. de BoerPart 2：

Mobile Nets / N. Busi

Observation Equivalences for the Semantics of Inheritance / C. Balzarotti, et al.

Java and Coordination / Part 3：

Tools for Integrating Formal Methods into the Java Software Development Process / S. Sankar

Design and Implementation of Coordination Protocols for Distributed Cooperating Objects: A General Graph-Based Technique Applied to CORBA / K. Drira, et al.

Specifying Component-Based Java Applications / S. Cimato

Object Composition and Reuse / Part 4：

Object Composition: A Case Study / D. Ramazani ; G. V. Bochmann

Specifying Reusable Controllers for Software Components / J.M. Troya ; A. Vallecillo

Composition and Interaction for Behavioural Specifications / S. Veglioni ; F. Parisi-Presicce

Telecommunications / Part 5：

Distributed Feature Composition: An Architecture for Telecommunication Services / P. Zave

Pattern Application vs. Inheritance in SDL / B. Gepert, et al.

Engineering Telecommunication Services with SDL / R. Sinnott ; M. Kolberg

SDL in Rigorous Object-Oriented Analysis / R.G. Clark ; A.M.D. Moreira

Formal Methods / Part 6：

A Junction Between State Based and Behavioural Specification / H. Bowman ; J. Derrick

Protocol Assuring Universal Language / R. van Rein ; M. Fokkinga

Specification of Dynamic Reconfiguration in the Context of Input/Output Relations / K. Stoelen

Assessing Service Properties with Regard to a Requested QoS: The Service Metric / C. Linnhoff-Popien ; D. Thissen

Combining Design Methods for Service Development / M. Born, et al.

Emerging Standards / Part 7：

LSCs: Breathing Life Into Message Sequence Charts / W. Damm ; D. Harel

Modular Reasoning for Actor Specification Diagrams / S.F. Smith ; C.L. Talcott

Towards a Formal Operational Semantics of UML Statechart Diagrams / D. Latella, et al.

Semantics II. Foundations for Wide-Area Systems / L. CardelliPart 8：

Calculi for Concurrent Objects / C. Laneev

Infinite Types for Distributed Object Interfaces / E. Najm, et al.

Static Safety Analysis for Non-Uniform Service Availability in Actors / J.L. Colaco, et al.

A Logic for the Specification of Multi-Object Systems / J. Broersen ; R. Wieringa

Semantics III. Distributed and Concurrent Objects Based on Linear Logic / N. Kobayashi ; A. YonezawaPart 9：

Composition in Multiparadigm Specification Techniques / L. Blair ; G. Blair

Formal Development of Object-Based Systems in a Temporal Logic Setting / E. Canver ; F.W. von Henke

3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1：

Preface

Languages / Part 1：

Piccola - A Small Compositional Language / O. Nierstrasz

An Algebra of Actors / M. Gaspari ; G. Zavattaro

Developing Object-Based Distributed Systems / M. Bonsangue, et al.

続きを見る

東工大ブックレビュー

類似資料:

1 図書 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	7 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
2 図書 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	8 図書 Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC 6/WG 6.1 international conference on open distributed … IFIP TC6/WG6.1 International Workshop on Open Distributed Processing, Raymond, Kerry, Armstrong, Liz, 1956-, … Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
3 図書 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	9 図書 Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, … IFIP TC6/WG6.1 International Conference on Open Distributed Processing, Meer, Jan de, Mahr, Bernd, Storp, Silke, 1965-, … North-Holland
4 図書 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	10 図書 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
5 図書 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	11 図書 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
6 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike Springer eBooks Computer Science, Springer Berlin / Heidelberg	12 図書 Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on … IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication … Chapman & Hall