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 Components and Objects
Frank S. Boer, Marcello M. Bonsangue, Takeo Kanade, Eric Madelaine
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
The COMPAS Project
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
The CREDO Project
A Real-Time Extension of Creol for Modelling Biomedical Sensors / Marcel Kyas ; Einar Broch Johnsen
Conformance Testing of Distributed Concurrent Systems with Executable Designs / Bernhard K. Aichernig ; Andreas Griesmayer ; Rudolf Schlatte ; Andries Stam
Formal Verification for Components and Connectors / Christel Baier ; Tobias Blechmann ; Joachim Klein ; Sascha Kt&uuuml;ppelholz
The DEPLOY Project
Formal Modular Modelling of Context-Awareness / Mats Neovius ; Kaisa Sere
Towards Demonstrably Correct Compilation of Java Byte Code / Michael Leuschel
Incremental System Modelling in Event-B / Stefan Hallerstede
The GRIDCOMP Project
An Asynchronous Distributed Component Model and Its Semantics / Ludovic Henrio ; Florian Kamm&uuuml;ller ; Marcela Rivera
Specification and Verification for Grid Component-Based Applications: From Models to Tools / Antonio Cansado ; Eric Madelaine
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed programming / M. Aldinucci ; M. Danelutto ; P. Kilpatrick
The MOBIUS Project
Session-Based Compilation Framework for Multicore Programming / Nobuko Yoshida ; Vasco Vasconcelos ; Hervé Paulino ; Kohei Honda
Abstract Interpretation of Symbolic Execution with Explicit State Updates / Richard Bubel ; Reiner Hähnle ; Benjamin Weiß
BML and Related Tools / Jacek Chrz&acedil;szcz ; Marieke Huisman ; Aleksy Schubert
Author Index
The COMPAS Project
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
4.

電子ブック
ＥＢ
4. Formal Methods for Components and Objects
Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Takeo Kanade, Michael Leuschel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; María Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
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
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
7.

電子ブック
ＥＢ
7. 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, 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
8.

電子ブック
ＥＢ
8. 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, Willem-Paul de Roever
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Formal Methods for Components and Objects
Frank S. Boer, Marcello M. Bonsangue, Takeo Kanade, Eric Madelaine, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
The COMPAS Project
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
The CREDO Project
A Real-Time Extension of Creol for Modelling Biomedical Sensors / Marcel Kyas ; Einar Broch Johnsen
Conformance Testing of Distributed Concurrent Systems with Executable Designs / Bernhard K. Aichernig ; Andreas Griesmayer ; Rudolf Schlatte ; Andries Stam
Formal Verification for Components and Connectors / Christel Baier ; Tobias Blechmann ; Joachim Klein ; Sascha Kt&uuuml;ppelholz
The DEPLOY Project
Formal Modular Modelling of Context-Awareness / Mats Neovius ; Kaisa Sere
Towards Demonstrably Correct Compilation of Java Byte Code / Michael Leuschel
Incremental System Modelling in Event-B / Stefan Hallerstede
The GRIDCOMP Project
An Asynchronous Distributed Component Model and Its Semantics / Ludovic Henrio ; Florian Kamm&uuuml;ller ; Marcela Rivera
Specification and Verification for Grid Component-Based Applications: From Models to Tools / Antonio Cansado ; Eric Madelaine
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed programming / M. Aldinucci ; M. Danelutto ; P. Kilpatrick
The MOBIUS Project
Session-Based Compilation Framework for Multicore Programming / Nobuko Yoshida ; Vasco Vasconcelos ; Hervé Paulino ; Kohei Honda
Abstract Interpretation of Symbolic Execution with Explicit State Updates / Richard Bubel ; Reiner Hähnle ; Benjamin Weiß
BML and Related Tools / Jacek Chrz&acedil;szcz ; Marieke Huisman ; Aleksy Schubert
Author Index
The COMPAS Project
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
10.

電子ブック
ＥＢ
10. Formal Methods for Components and Objects
Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Takeo Kanade, Michael Leuschel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; María Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼