close
1.

電子ブック
ＥＢ
1. Formal Methods for Components and Objects
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
System Design
Control of Modular and Distributed Discrete-Event Systems / Jan Komenda ; Jan H. van Schuppen
Model-Based Security Engineering with UML: Introducing Security Aspects / Jan Jurjens
The Pragmatics of Stairs / Ragnhild Kobro Runde ; Oystein Haugen ; Ketil Stolen
Tools
Smallfoot: Modular Automatic Assertion Checking with Separation Logic / Josh Berdine ; Cristiano Calcagno ; Peter W. O'Hearn
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs / Dennis R. Dams ; Kedar S. Namjoshi
Algebraic Methods
Beyond Bisimulation: The "up-to" Techniques / Davide Sangiorgi
Separation Results Via Leader Election Problems / Maria Grazia Vigliotti ; Iain Phillips ; Catuscia Palamidessi
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation / Wan Fokkink ; Rob van Glabbeek ; Paulien de Wind
Model Checking
Abstraction and Refinement in Model Checking / Orna Grumberg
Program Compatibility Approaches / Edmund Clarke ; Natasha Sharygina ; Nishant Sinha
Cluster-Based LTL Model Checking of Large Systems / Jiri Barnat ; Lubos Brim ; Ivana Cerna
Safety and Liveness in Concurrent Pointer Programs / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Assertional Methods
Modular Specification of Encapsulated Object-Oriented Components / Arnd Poetzsch-Heffter ; Jan Schafer
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 / Patrice Chalin ; Joseph R. Kiniry ; Gary T. Leavens ; Erik Poll
Boogie: A Modular Reusable Verifier for Object-Oriented Programs / Mike Barnett ; Bor- Yuh Evan Chang ; Robert DeLine ; Bart Jacobs ; K. Rustan M. Leino
Quantitative Analysis
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
Partial Order Reduction for Markov Decision Processes: A Survey / Marcus Groesser ; Christel Baier
Author Index
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
2.

電子ブック
ＥＢ
2. Formal Methods for Components and Objects
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Methods for Open Object-Based Distributed Systems
Gilles Barthe, Frank S. Boer, Frank S. de Boer, Takeo Kanade, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Formal Methods for Components and Objects
David Hutchison, Frank S. de Boer, Takeo Kanade, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Formal Methods for Components and Objects
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Testing
Model-Based Testing of Environmental Conformance of Components / Lars Frantzen ; Jan Tretmans
Exhaustive Testing of Exception Handlers with Enforcer / Cyrille Artho ; Armin Biere ; Shinichi Honiden
Model-Based Test Selection for Infinite-State Reactive Systems / Bertrand Jeannet ; Thierry Jeron ; Vlad Rusu
Program Verification
Verifying Object-Oriented Programs with KeY: A Tutorial / Wolfgang Ahrendt ; Bernhard Beckert ; Reiner Hahnle ; Philipp Rummer ; Peter H. Schmitt
Rebeca: Theory, Applications, and Tools / Marjan Sirjani
Learning Meets Verification / Martin Leucker
Trust and Security
JACK-A Tool for Validation of Security and Behaviour of Java Applications / Gilles Barthe ; Lilian Burdy ; Julien Charles ; Benjamin Gregoire ; Marieke Huisman ; Jean-Louis Lanet ; Mariela Pavlova ; Antoine Requet
Towards a Formal Framework for Computational Trust / Vladimiro Sassone ; Karl Krukow ; Mogens Nielsen
Models of Computation
On Recursion, Replication and Scope Mechanisms in Process Calculi / Jesus Aranda ; Cinzia Di Giusto ; Catuscia Palamidessi ; Frank D. Valencia
Bounded Session Types for Object Oriented Languages / Mariangiola Dezani-Ciancaglini ; Elena Giachino ; Sophia Drossopoulou ; Nobuko Yoshida
Distributed Programming
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring / Bill Donkervoet ; Gul Agha
Links: Web Programming Without Tiers / Ezra Cooper ; Sam Lindley ; Philip Wadler ; Jeremy Yallop
Author Index
Testing
Model-Based Testing of Environmental Conformance of Components / Lars Frantzen ; Jan Tretmans
Exhaustive Testing of Exception Handlers with Enforcer / Cyrille Artho ; Armin Biere ; Shinichi Honiden
6.

図書
図書
6. Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
出版情報: Berlin : Springer, c2006  viii, 427 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4111
所蔵情報: loading…
目次情報: 続きを見る
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
System Design
Control of Modular and Distributed Discrete-Event Systems / Jan Komenda ; Jan H. van Schuppen
Model-Based Security Engineering with UML: Introducing Security Aspects / Jan Jurjens
The Pragmatics of Stairs / Ragnhild Kobro Runde ; Oystein Haugen ; Ketil Stolen
Tools
Smallfoot: Modular Automatic Assertion Checking with Separation Logic / Josh Berdine ; Cristiano Calcagno ; Peter W. O'Hearn
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs / Dennis R. Dams ; Kedar S. Namjoshi
Algebraic Methods
Beyond Bisimulation: The "up-to" Techniques / Davide Sangiorgi
Separation Results Via Leader Election Problems / Maria Grazia Vigliotti ; Iain Phillips ; Catuscia Palamidessi
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation / Wan Fokkink ; Rob van Glabbeek ; Paulien de Wind
Model Checking
Abstraction and Refinement in Model Checking / Orna Grumberg
Program Compatibility Approaches / Edmund Clarke ; Natasha Sharygina ; Nishant Sinha
Cluster-Based LTL Model Checking of Large Systems / Jiri Barnat ; Lubos Brim ; Ivana Cerna
Safety and Liveness in Concurrent Pointer Programs / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Assertional Methods
Modular Specification of Encapsulated Object-Oriented Components / Arnd Poetzsch-Heffter ; Jan Schafer
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 / Patrice Chalin ; Joseph R. Kiniry ; Gary T. Leavens ; Erik Poll
Boogie: A Modular Reusable Verifier for Object-Oriented Programs / Mike Barnett ; Bor- Yuh Evan Chang ; Robert DeLine ; Bart Jacobs ; K. Rustan M. Leino
Quantitative Analysis
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
Partial Order Reduction for Markov Decision Processes: A Survey / Marcus Groesser ; Christel Baier
Author Index
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
7.

図書
図書
7. Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Frank S. de Boer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  viii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3657
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Formal Methods for Components and Objects
FMCO 2002, Frank S. de Boer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Formal Methods for Components and Objects
David Hutchison, Frank S. de Boer, Takeo Kanade, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Formal Methods for Components and Objects
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever, Willem-Paul de Roever
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
System Design
Control of Modular and Distributed Discrete-Event Systems / Jan Komenda ; Jan H. van Schuppen
Model-Based Security Engineering with UML: Introducing Security Aspects / Jan Jurjens
The Pragmatics of Stairs / Ragnhild Kobro Runde ; Oystein Haugen ; Ketil Stolen
Tools
Smallfoot: Modular Automatic Assertion Checking with Separation Logic / Josh Berdine ; Cristiano Calcagno ; Peter W. O'Hearn
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs / Dennis R. Dams ; Kedar S. Namjoshi
Algebraic Methods
Beyond Bisimulation: The "up-to" Techniques / Davide Sangiorgi
Separation Results Via Leader Election Problems / Maria Grazia Vigliotti ; Iain Phillips ; Catuscia Palamidessi
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation / Wan Fokkink ; Rob van Glabbeek ; Paulien de Wind
Model Checking
Abstraction and Refinement in Model Checking / Orna Grumberg
Program Compatibility Approaches / Edmund Clarke ; Natasha Sharygina ; Nishant Sinha
Cluster-Based LTL Model Checking of Large Systems / Jiri Barnat ; Lubos Brim ; Ivana Cerna
Safety and Liveness in Concurrent Pointer Programs / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Assertional Methods
Modular Specification of Encapsulated Object-Oriented Components / Arnd Poetzsch-Heffter ; Jan Schafer
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 / Patrice Chalin ; Joseph R. Kiniry ; Gary T. Leavens ; Erik Poll
Boogie: A Modular Reusable Verifier for Object-Oriented Programs / Mike Barnett ; Bor- Yuh Evan Chang ; Robert DeLine ; Bart Jacobs ; K. Rustan M. Leino
Quantitative Analysis
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
Partial Order Reduction for Markov Decision Processes: A Survey / Marcus Groesser ; Christel Baier
Author Index
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼