close
1.

図書

図書
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
2.

図書

図書
Frank S. de Boer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  viii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3657
所蔵情報: loading…
3.

電子ブック

EB
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
4.

電子ブック

EB
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…
5.

電子ブック

EB
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
6.

電子ブック

EB
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
7.

電子ブック

EB
Marcello M. Bonsangue, David Hutchison, Einar Broch Johnsen, Takeo Kanade, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック

EB
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼