close
1.

図書

図書
edited by Bart Jacobs, Arend Rensink
出版情報: Boston, Mass. : Kluwer Academic Publishers, c2002  x, 278 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 81
所蔵情報: loading…
目次情報: 続きを見る
Preface
Invited Talk / Part I:
On the Semantics of JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
Mobility / Part II:
Elements of an object-based model for distributed and mobile computation / Jean-Bernard Stefani ; Florence Germain ; Elie Najm
Specification of Mobile Code Systems using Graph Grammars / Fernando Luis Dotti ; Leila Ribeiro
Atomic Failure in Wide-Area Computation / Dominic Duggan
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems / Jose MeseguerPart III:
Java / UML / Part IV:
Requirements Level Semantics for UML Statecharts / Rik Eshuis ; Roel Wieringa
A Step Toward Automatic Distribution of Java Programs / Isabelle Attali ; Denis Caromel ; Romain Guider
Using Relational and Behavioural Semantics in the Verification of Object Models / Christie Bolton ; Jim Davies
Formally Modeling UML and its Evolution: A Holistic Approach / Ambrosio Toval Alvarez ; Jose Luis Fernandez Aleman
Object-Oriented Programming for Wide-Area Computing / Jayadev MisraPart V:
Refinement and Subtyping / Part VI:
Behavioural Subtyping and Property Preservation / Heike Wehrheim
A Practical Approach to Incremental Specification / Charles Lakos ; Glenn Lewis
Refinement of objects and operations in Object-Z / John Derrick ; Eerke Boiten
E-speak: the Technology for Ubiquitous E-services / Alan H. KarpPart VII:
Time / Part VIII:
Behavior Expression and OMDD / Yunming Wang
On a Temporal Logic for Object-Based Systems / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Stochastically Enhanced Timed Automata / Lynne Blair ; Trevor Jones ; Gordon Blair
Components / Part IX:
Fail-Stop Components by Pattern Matching / Tomasz Janowski ; Wojciech I. Mostowski
A Formal Specification of the CORBA Event Service / Remi Bastide ; Ousmane Sy ; David Navarre ; Philippe Palanque
Components as Processes: An Exercise in Coalgebraic Modeling / L. S. Barbosa
Invited presentations / I:
Software Model Checking: The Bandera approach / M. Dwyer
Verifying Authentication Protocol Implementations / S. Schneider
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middelware Services / C. Talcott
Multiple Viewpoint Modelling / II:
Formal Semantics for Interacting UML Subsystems / J. Jnrjens
A Compositional Formalism for Object Viewpoints / E.B. Johnsen ; O. Owe
Interpreting ODP Viewpoint Specification: Observations from a Case Study / C. Taylor, et al.
Types, Service Types and Subtyping / III:
Checking Behavioural Subtypes via Refinement / H. Wehrheim
Behavioural Suptyping and Property Preservation for Active Objects / N. Hameurlain
A Formal Service Specification for IIOP Based on ISO/IEC 14752 / A. Singh ; J. Billington
Semantics of Object-Based Programming Languages / IV:
Mobile Objects `Must' Move Safely / S. Briais ; U. Nestmann
A Theory of May Testing for Actors / P. Thati, et al.
Computer-Aided Specification and Verification of Annotated Object-Oriented Programs / F. de Boer ; C. Pierik
Verification and Validation / V:
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm / K. Ogata ; Kokichi Futatsugi
Control Flow Analysis of Mobile Ambients with Security Boundaries / C. Braghin, et al.
Specification and Analysis Techniques / VI:
A Feature Manager Approach to the Analysis of Component-Interactions / L. Blair, et al.
Supporting Collaborative Design / Yanjie Wang ; C. George
A Visual Modeling Framework for Distributed Object Computing / G. Taentzer
Author Index
Preface
Invited Talk / Part I:
On the Semantics of JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
2.

図書

図書
Martin Steffen, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2005  x, 321 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3535
所蔵情報: loading…
3.

図書

図書
edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
出版情報: Boston : Kluwer Academic, c1999  xii, 436 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 10
所蔵情報: loading…
目次情報: 続きを見る
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:
4.

図書

図書
Roberto Gorrieri, Heike Wehrheim (eds.)
出版情報: Berlin : Springer, c2006  x, 266 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4037
所蔵情報: loading…
5.

図書

図書
edited by Scott F. Smith, Carolyn L. Talcott
出版情報: Boston, Mass. : Kluwer Academic Publishers, c2000  xii, 417 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 49
所蔵情報: loading…
目次情報: 続きを見る
Preface
Invited Talk / Part I:
On the Semantics of JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
Mobility / Part II:
Elements of an object-based model for distributed and mobile computation / Jean-Bernard Stefani ; Florence Germain ; Elie Najm
Specification of Mobile Code Systems using Graph Grammars / Fernando Luis Dotti ; Leila Ribeiro
Atomic Failure in Wide-Area Computation / Dominic Duggan
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems / Jose MeseguerPart III:
Java / UML / Part IV:
Requirements Level Semantics for UML Statecharts / Rik Eshuis ; Roel Wieringa
A Step Toward Automatic Distribution of Java Programs / Isabelle Attali ; Denis Caromel ; Romain Guider
Using Relational and Behavioural Semantics in the Verification of Object Models / Christie Bolton ; Jim Davies
Formally Modeling UML and its Evolution: A Holistic Approach / Ambrosio Toval Alvarez ; Jose Luis Fernandez Aleman
Object-Oriented Programming for Wide-Area Computing / Jayadev MisraPart V:
Refinement and Subtyping / Part VI:
Behavioural Subtyping and Property Preservation / Heike Wehrheim
A Practical Approach to Incremental Specification / Charles Lakos ; Glenn Lewis
Refinement of objects and operations in Object-Z / John Derrick ; Eerke Boiten
E-speak: the Technology for Ubiquitous E-services / Alan H. KarpPart VII:
Time / Part VIII:
Behavior Expression and OMDD / Yunming Wang
On a Temporal Logic for Object-Based Systems / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Stochastically Enhanced Timed Automata / Lynne Blair ; Trevor Jones ; Gordon Blair
Components / Part IX:
Fail-Stop Components by Pattern Matching / Tomasz Janowski ; Wojciech I. Mostowski
A Formal Specification of the CORBA Event Service / Remi Bastide ; Ousmane Sy ; David Navarre ; Philippe Palanque
Components as Processes: An Exercise in Coalgebraic Modeling / L. S. Barbosa
Preface
Invited Talk / Part I:
On the Semantics of JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
6.

図書

図書
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 292 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2884
所蔵情報: loading…
目次情報: 続きを見る
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
7.

電子ブック

EB
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼