close
1.

電子ブック
ＥＢ
1. Cooperative Bug Isolation
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
The Next Step Forward / 1.3：
Cooperative Bug Isolation / 1.4：
Instrumentation Framework / 2：
Basic Instrumentation Strategy / 2.1：
Sampling the Bernoulli Way / 2.1.1：
From Blocks to Functions / 2.1.2：
Interprocedural Issues / 2.1.3：
Instrumentation Schemes for Distributed Debugging / 2.2：
Issues in Remote Sampling / 2.2.1：
Counter-Based Instrumentation Schemes / 2.2.2：
Additional Instrumentation Schemes / 2.2.3：
Performance and Optimizations / 2.3：
Static Branch Prediction / 2.3.1：
Weightless Functions / 2.3.2：
Empty and Singleton Regions / 2.3.3：
Local Countdown Caching / 2.3.4：
Random Countdown Generation / 2.3.5：
Path Balancing / 2.3.6：
Statically Selective Sampling / 2.3.7：
Optimization Recap / 2.3.8：
Adaptive Sampling / 2.4：
Nonuniformity Via Multiple Countdowns / 2.4.1：
Nonuniformity Via Non-Unit Site Weights / 2.4.2：
Policy Notes / 2.4.3：
Realistic Sampling Rates / 2.5：
Practical Considerations / 3：
Native Compiler Integration / 3.1：
Static Site Information / 3.1.1：
Libraries and Plugins / 3.2：
Threads / 3.3：
Next-Sample Countdown / 3.3.1：
Predicate Counters / 3.3.2：
Compilation Unit Registry and Report File / 3.3.3：
Time Stamp Clock / 3.3.4：
Performance Evaluation / 3.3.5：
Privacy and Security / 3.4：
User Interaction / 3.5：
Status of the Public Deployment / 3.6：
Resource Requirements / 3.6.1：
Reporting Trends / 3.6.2：
Techniques for Statistical Debugging / 4：
Notation and Terminology / 4.1：
Predicate Elimination / 4.2：
Instrumentation Strategy / 4.2.1：
Elimination Strategies / 4.2.2：
Data Collection and Analysis / 4.2.3：
Refinement over time / 4.2.4：
Performance Impact / 4.2.5：
Limitations and Insights / 4.2.6：
Regularized Logistic Regression / 4.3：
Crash Prediction Using Logistic Regression / 4.3.1：
Moss: A Multiple-Bug Challenge / 4.3.2：
Nonuniform Sampling / 4.4.1：
Analysis Results / 4.4.2：
Iterative Bug Isolation and Elimination / 4.5：
Increase Scores / 4.5.1：
Statistical Interpretation / 4.5.2：
Balancing Specificity and Sensitivity / 4.5.3：
Redundancy Elimination / 4.5.4：
Case Studies / 4.6：
Moss / 4.6.1：
CCRYPT / 4.6.2：
BC / 4.6.3：
EXIF / 4.6.4：
Rhythmbox / 4.6.5：
Related Work / 5：
Static Analysis / 5.1：
Profiling and Tracing / 5.2：
Dynamic Analysis / 5.3：
Conclusion / 6：
References
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
2.

電子ブック
ＥＢ
2. Cooperative Bug Isolation
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
The Next Step Forward / 1.3：
Cooperative Bug Isolation / 1.4：
Instrumentation Framework / 2：
Basic Instrumentation Strategy / 2.1：
Sampling the Bernoulli Way / 2.1.1：
From Blocks to Functions / 2.1.2：
Interprocedural Issues / 2.1.3：
Instrumentation Schemes for Distributed Debugging / 2.2：
Issues in Remote Sampling / 2.2.1：
Counter-Based Instrumentation Schemes / 2.2.2：
Additional Instrumentation Schemes / 2.2.3：
Performance and Optimizations / 2.3：
Static Branch Prediction / 2.3.1：
Weightless Functions / 2.3.2：
Empty and Singleton Regions / 2.3.3：
Local Countdown Caching / 2.3.4：
Random Countdown Generation / 2.3.5：
Path Balancing / 2.3.6：
Statically Selective Sampling / 2.3.7：
Optimization Recap / 2.3.8：
Adaptive Sampling / 2.4：
Nonuniformity Via Multiple Countdowns / 2.4.1：
Nonuniformity Via Non-Unit Site Weights / 2.4.2：
Policy Notes / 2.4.3：
Realistic Sampling Rates / 2.5：
Practical Considerations / 3：
Native Compiler Integration / 3.1：
Static Site Information / 3.1.1：
Libraries and Plugins / 3.2：
Threads / 3.3：
Next-Sample Countdown / 3.3.1：
Predicate Counters / 3.3.2：
Compilation Unit Registry and Report File / 3.3.3：
Time Stamp Clock / 3.3.4：
Performance Evaluation / 3.3.5：
Privacy and Security / 3.4：
User Interaction / 3.5：
Status of the Public Deployment / 3.6：
Resource Requirements / 3.6.1：
Reporting Trends / 3.6.2：
Techniques for Statistical Debugging / 4：
Notation and Terminology / 4.1：
Predicate Elimination / 4.2：
Instrumentation Strategy / 4.2.1：
Elimination Strategies / 4.2.2：
Data Collection and Analysis / 4.2.3：
Refinement over time / 4.2.4：
Performance Impact / 4.2.5：
Limitations and Insights / 4.2.6：
Regularized Logistic Regression / 4.3：
Crash Prediction Using Logistic Regression / 4.3.1：
Moss: A Multiple-Bug Challenge / 4.3.2：
Nonuniform Sampling / 4.4.1：
Analysis Results / 4.4.2：
Iterative Bug Isolation and Elimination / 4.5：
Increase Scores / 4.5.1：
Statistical Interpretation / 4.5.2：
Balancing Specificity and Sensitivity / 4.5.3：
Redundancy Elimination / 4.5.4：
Case Studies / 4.6：
Moss / 4.6.1：
CCRYPT / 4.6.2：
BC / 4.6.3：
EXIF / 4.6.4：
Rhythmbox / 4.6.5：
Related Work / 5：
Static Analysis / 5.1：
Profiling and Tracing / 5.2：
Dynamic Analysis / 5.3：
Conclusion / 6：
References
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
3.

電子ブック
ＥＢ
3. Variations on Constants
Markus M?ller-Olm, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
Flow Graphs / 2.1.1：
May- and Must-Constants / 2.1.2：
Weakened Constant Detection Problems / 2.1.3：
Classes of Integer Constants / 2.1.4：
Known Results / 2.2：
New Undecidability Results / 2.3：
New Intractability Results / 2.4：
Summary / 2.5：
Deciding Constants by Effective Weakest Preconditions / 3：
Presburger and Polynomial Constants / 3.1：
Presburger-Constant Detection at a Glance / 3.2：
A Generic Algorithm / 3.3：
Detection of Presburger Constants / 3.4：
A Primer on Computable Ideal Theory / 3.5：
Zeros / 3.6：
Substitution / 3.6.3：
Projection / 3.6.4：
Detection of Polynomial Constants / 3.7：
Conclusion / 3.8：
Limits of Parallel Flow Analysis / 4：
A Motivating Example / 4.1：
Parallel Programs / 4.2：
Interprocedural Copy-Constant Detection / 4.3：
Two-Counter Machines / 4.3.1：
Constructing a Program / 4.3.2：
Correctness of the Reduction / 4.3.3：
Intraprocedural Copy-Constant Detection / 4.4：
Copy-Constant Detection in Loop-Free Programs / 4.5：
Beyond Fork/Join Parallelism / 4.6：
Owicki/Gries-Style Program Proofs / 4.7：
Correctness of the Reduction in Section 4.3 / 4.8：
Enriching the Program / 4.8.1：
The Proof Outlines / 4.8.2：
Interference Freedom / 4.8.3：
Correctness of the Reduction in Section 4.4 / 4.9：
An Auxiliary Predicate / 4.9.1：
Proof Outline for Main / 4.9.3：
Parallel Flow Graphs / 4.9.6：
Operational Semantics / 5.1：
Atomic Runs / 5.3：
The Run Sets of Ultimate Interest / 5.4：
The Constraint Systems / 5.5：
Same-Level Runs / 5.5.1：
Inverse Same-Level Runs / 5.5.2：
Two Assumptions and a Simple Analysis / 5.5.3：
Reaching Runs / 5.5.4：
Terminating Runs / 5.5.5：
Bridging Runs / 5.5.6：
The General Case / 5.5.7：
Discussion / 5.6：
Non-atomic Execution / 6：
Modeling Non-atomic Execution by Virtual Variables / 6.1：
The Domain of Non-atomic Run Sets / 6.2：
Base Statements / 6.3.1：
Sequential Composition / 6.3.2：
Interleaving Operator / 6.3.3：
Pre-operator / 6.3.4：
Post-operator / 6.3.5：
Dependence Traces / 6.4：
Transparency and Dependences / 7.1：
Implication Order / 7.2：
Subsumption Order / 7.4：
A Lattice of Antichains / 7.5：
Short Dependence Traces / 7.6：
The Abstract Domain / 7.7：
Interleaving / 7.8：
Complementary Dependence Traces / 7.11.1：
Soundness Lemmas / 7.11.2：
Completeness Lemmas / 7.11.4：
Proof of Theorem 7.11.1 / 7.11.5：
Base Edges / 7.12：
Running Time / 7.13：
Detecting Copy Constants and Eliminating Faint Code / 7.14：
Copy-Constant Detection / 8.1：
Faint-Code Elimination / 8.2：
Complexity in the Non-atomic Scenario / 8.3：
The SAT-reduction / 9.1：
Towards Stronger Lower Bounds / 9.2：
Assignment Statements That Propagate Twice / 9.2.1：
Propagating Runs of Exponential Length / 9.2.2：
Future Research / 9.3：
A Primer on Constraint-Based Program Analysis / A：
References
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
4.

電子ブック
ＥＢ
4. Variations on Constants
Markus Müller-Olm, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
Flow Graphs / 2.1.1：
May- and Must-Constants / 2.1.2：
Weakened Constant Detection Problems / 2.1.3：
Classes of Integer Constants / 2.1.4：
Known Results / 2.2：
New Undecidability Results / 2.3：
New Intractability Results / 2.4：
Summary / 2.5：
Deciding Constants by Effective Weakest Preconditions / 3：
Presburger and Polynomial Constants / 3.1：
Presburger-Constant Detection at a Glance / 3.2：
A Generic Algorithm / 3.3：
Detection of Presburger Constants / 3.4：
A Primer on Computable Ideal Theory / 3.5：
Zeros / 3.6：
Substitution / 3.6.3：
Projection / 3.6.4：
Detection of Polynomial Constants / 3.7：
Conclusion / 3.8：
Limits of Parallel Flow Analysis / 4：
A Motivating Example / 4.1：
Parallel Programs / 4.2：
Interprocedural Copy-Constant Detection / 4.3：
Two-Counter Machines / 4.3.1：
Constructing a Program / 4.3.2：
Correctness of the Reduction / 4.3.3：
Intraprocedural Copy-Constant Detection / 4.4：
Copy-Constant Detection in Loop-Free Programs / 4.5：
Beyond Fork/Join Parallelism / 4.6：
Owicki/Gries-Style Program Proofs / 4.7：
Correctness of the Reduction in Section 4.3 / 4.8：
Enriching the Program / 4.8.1：
The Proof Outlines / 4.8.2：
Interference Freedom / 4.8.3：
Correctness of the Reduction in Section 4.4 / 4.9：
An Auxiliary Predicate / 4.9.1：
Proof Outline for Main / 4.9.3：
Parallel Flow Graphs / 4.9.6：
Operational Semantics / 5.1：
Atomic Runs / 5.3：
The Run Sets of Ultimate Interest / 5.4：
The Constraint Systems / 5.5：
Same-Level Runs / 5.5.1：
Inverse Same-Level Runs / 5.5.2：
Two Assumptions and a Simple Analysis / 5.5.3：
Reaching Runs / 5.5.4：
Terminating Runs / 5.5.5：
Bridging Runs / 5.5.6：
The General Case / 5.5.7：
Discussion / 5.6：
Non-atomic Execution / 6：
Modeling Non-atomic Execution by Virtual Variables / 6.1：
The Domain of Non-atomic Run Sets / 6.2：
Base Statements / 6.3.1：
Sequential Composition / 6.3.2：
Interleaving Operator / 6.3.3：
Pre-operator / 6.3.4：
Post-operator / 6.3.5：
Dependence Traces / 6.4：
Transparency and Dependences / 7.1：
Implication Order / 7.2：
Subsumption Order / 7.4：
A Lattice of Antichains / 7.5：
Short Dependence Traces / 7.6：
The Abstract Domain / 7.7：
Interleaving / 7.8：
Complementary Dependence Traces / 7.11.1：
Soundness Lemmas / 7.11.2：
Completeness Lemmas / 7.11.4：
Proof of Theorem 7.11.1 / 7.11.5：
Base Edges / 7.12：
Running Time / 7.13：
Detecting Copy Constants and Eliminating Faint Code / 7.14：
Copy-Constant Detection / 8.1：
Faint-Code Elimination / 8.2：
Complexity in the Non-atomic Scenario / 8.3：
The SAT-reduction / 9.1：
Towards Stronger Lower Bounds / 9.2：
Assignment Statements That Propagate Twice / 9.2.1：
Propagating Runs of Exponential Length / 9.2.2：
Future Research / 9.3：
A Primer on Constraint-Based Program Analysis / A：
References
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
5.

電子ブック
ＥＢ
5. Software Architecture
EWSA 2005, Takeo Kanade, Ronald Morrison, Flavio Oquendo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Software Architecture
EWSA 2005, Takeo Kanade, Ronald Morrison, Flavio Oquendo, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

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

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

電子ブック
ＥＢ
9. Rapid Integration of Software Engineering Techniques
Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain / Massimo Felici
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture / Mario Anzures-Garcia ; Miguel J. Hornos ; Patricia Paderewski-Rodriguez
Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS / Marc-Elian Begin ; Guillermo Diez-Andino Sancho ; Alberto Di Meglio ; Enrico Ferro ; Elisabetta Ronchieri ; Matteo Selmi ; Marian Zurek
Architectural Verification of Black-Box Component-Based Systems / Antonia Bertolino ; Henry Muccini ; Andrea Polini
Systematic Generation of XML Instances to Test Complex Software Applications / Jinghua Gao ; Eda Marchetti
Transformations of UML 2 Models Using Concrete Syntax Patterns / Markus Schmidt
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping / Matteo Risoldi ; Vasco Amaral
Invited Paper
SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping / Adrien Coyette ; Jean Vanderdonckt ; Quentin Limbourg
Author Index
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
10.

電子ブック
ＥＢ
10. Rapid Integration of Software Engineering Techniques
Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain / Massimo Felici
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture / Mario Anzures-Garcia ; Miguel J. Hornos ; Patricia Paderewski-Rodriguez
Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS / Marc-Elian Begin ; Guillermo Diez-Andino Sancho ; Alberto Di Meglio ; Enrico Ferro ; Elisabetta Ronchieri ; Matteo Selmi ; Marian Zurek
Architectural Verification of Black-Box Component-Based Systems / Antonia Bertolino ; Henry Muccini ; Andrea Polini
Systematic Generation of XML Instances to Test Complex Software Applications / Jinghua Gao ; Eda Marchetti
Transformations of UML 2 Models Using Concrete Syntax Patterns / Markus Schmidt
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping / Matteo Risoldi ; Vasco Amaral
Invited Paper
SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping / Adrien Coyette ; Jean Vanderdonckt ; Quentin Limbourg
Author Index
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
11.

電子ブック
ＥＢ
11. Testing of Communicating Systems
IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Rachida Dssouli, Takeo Kanade, Ferhat Khendek
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Model Driven Engineering Languages and Systems
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library., Clay Williams
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Model Driven Engineering Languages and Systems
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library., Clay Williams
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. 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…
15.

電子ブック
ＥＢ
15. 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…
16.

電子ブック
ＥＢ
16. Testing of Communicating Systems
IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Rachida Dssouli, Takeo Kanade, Ferhat Khendek, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library., Clay Williams, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Model Driven Engineering Languages and Systems
Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer
Improving the Definition of UML / Greg O'Keefe
MDA in Software Development
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron
Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier
Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel
Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar
Applying UML to Interaction and Coordination
Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx
Aspects
Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt
Model Intergration
Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten
Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee
Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente
Security
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu
MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson
A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff
Model Transformation Tools and Implementation
Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond
A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina
SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier
Analyzing Dynamic Models
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche
Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel
Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt
Specifying Transformations
Model Transformation by Example / Daniel Varro
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss
Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow
MOF
A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres
Basic Operations over Models Containing Subset and Union Properties
A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche
Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2：
Bridging Models
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer
Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner
Risk, Trust and Dependability
Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen
Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon
Tool Environments
Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais
OCL
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia
An OCL Semantics Specified with QVT / Slavisa Markovic
Specification of Invariability in OCL / Piotr Kosiuczenko
Roundtrip Engineering
Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum
Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek
Real Time and Embedded Systems
Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels
Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli
A Formal Semantics of UML-RT / Michael von der Beeck
Workshops, Tutorials and Panels
Workshops and Symposia at MoDELS 2006 / Thomas Kuhne
Tutorials at MoDELS 2006 / Egidio Astesiano
Panels at MoDELS 2006 / Douglas C. Schmidt
Author Index
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
19.

電子ブック
ＥＢ
19. Model Driven Engineering Languages and Systems
Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer
Improving the Definition of UML / Greg O'Keefe
MDA in Software Development
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron
Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier
Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel
Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar
Applying UML to Interaction and Coordination
Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx
Aspects
Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt
Model Intergration
Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten
Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee
Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente
Security
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu
MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson
A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff
Model Transformation Tools and Implementation
Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond
A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina
SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier
Analyzing Dynamic Models
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche
Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel
Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt
Specifying Transformations
Model Transformation by Example / Daniel Varro
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss
Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow
MOF
A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres
Basic Operations over Models Containing Subset and Union Properties
A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche
Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2：
Bridging Models
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer
Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner
Risk, Trust and Dependability
Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen
Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon
Tool Environments
Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais
OCL
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia
An OCL Semantics Specified with QVT / Slavisa Markovic
Specification of Invariability in OCL / Piotr Kosiuczenko
Roundtrip Engineering
Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum
Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek
Real Time and Embedded Systems
Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels
Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli
A Formal Semantics of UML-RT / Michael von der Beeck
Workshops, Tutorials and Panels
Workshops and Symposia at MoDELS 2006 / Thomas Kuhne
Tutorials at MoDELS 2006 / Egidio Astesiano
Panels at MoDELS 2006 / Douglas C. Schmidt
Author Index
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
20.

電子ブック
ＥＢ
20. Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer
Improving the Definition of UML / Greg O'Keefe
MDA in Software Development
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron
Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier
Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel
Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar
Applying UML to Interaction and Coordination
Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx
Aspects
Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt
Model Intergration
Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten
Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee
Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente
Security
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu
MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson
A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff
Model Transformation Tools and Implementation
Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond
A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina
SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier
Analyzing Dynamic Models
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche
Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel
Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt
Specifying Transformations
Model Transformation by Example / Daniel Varro
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss
Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow
MOF
A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres
Basic Operations over Models Containing Subset and Union Properties
A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche
Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2：
Bridging Models
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer
Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner
Risk, Trust and Dependability
Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen
Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon
Tool Environments
Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais
OCL
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia
An OCL Semantics Specified with QVT / Slavisa Markovic
Specification of Invariability in OCL / Piotr Kosiuczenko
Roundtrip Engineering
Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum
Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek
Real Time and Embedded Systems
Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels
Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli
A Formal Semantics of UML-RT / Michael von der Beeck
Workshops, Tutorials and Panels
Workshops and Symposia at MoDELS 2006 / Thomas Kuhne
Tutorials at MoDELS 2006 / Egidio Astesiano
Panels at MoDELS 2006 / Douglas C. Schmidt
Author Index
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
21.

電子ブック
ＥＢ
21. Human-Centred Software Engineering
Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Takeo Kanade, Marta L?rusd?ttir
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Collaborative Work
Approaches to Software Engineering: A Human-Centred Perspective / Liam J. Bannon
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets / José Luís Silva ; Óscar R. Ribeiro ; João M. Fernandes ; José Creissac Campos ; Michael D. Harrison
Model-Based Design and Implementation of Interactive Spaces for Information Interaction / Hans-Christian Jetter ; Jens Gerken ; Michael Zöllner ; Harald Reiterer
ViSE-A Virtual Smart Environment for Usability Evaluation / Stefan Propp ; Peter Forbrig
Context of Use
A Domain Specific Language for Contextual Design / Balbir S. Barn ; Tony Clark
An MDE Approach for User Interface Adaptation to the Context of Use / Wided Bouchelligua ; Adel Mahfoudhi ; Lassaad Benammar ; Sirine Rebai ; Mourad Abed
Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign / Fabio Paternò ; Giuseppe Zichittella
User-Aware Systems
Extending UsiXML to Support User-Aware Interfaces / Ricardo Tesoriero ; Jean Vanderdonckt
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design / Shamal Faily ; Ivan Fléchais
Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People with Dementia / Nasim Mahmud ; Joë Vogt ; Kris Luyten ; Karin Slegers ; Jan Van den Bergh ; Karin Coninx
Model-Based Development
Supporting Multimodality in Service-Oriented Model-Based Development Environments / Marco Manca
RTME: Extension of Role-Task Modeling for the Purpose of Access Control Specification / Birgit Bomsdorf
Web Applications Usability Testing with Task Model Skeletons / Ivo Maly ; Zdenek Mikovec
HCI Activities
Evaluating Relative Contributions of Various HCI Activities to Usability / Anirudha Joshi ; NL Sarda
AFFINE for Enforcing Earlier Consideration of NFRs and Human Factors when Building Socio-Technical Systems Following Agile Methodologies / Mohamed Bourimi ; Thomas Barth ; Joerg M. Haake ; Bernd Ueberschär ; Dogan Kesdogan
Understanding Formal Description of Pitch-Based Input / Ondrej Polácek ; Zdenek Míkovec
Posters
Application Composition Driven By UI Composition / Christian Brel ; Philippe Renevier-Gonin ; Audrey Occello ; Anne-Marie Déry-Pinna ; Catherine Faron-Zucker ; Michel Riveill
Methods for Efficient Development of Task-Based Applications / Vaclav Slovacek
Towards an Integrated Model for Functional and User Interface Requirements / Rabeb Mizouni ; Daniel Sinnig ; Ferhat Khendek
Author Index
Collaborative Work
Approaches to Software Engineering: A Human-Centred Perspective / Liam J. Bannon
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets / José Luís Silva ; Óscar R. Ribeiro ; João M. Fernandes ; José Creissac Campos ; Michael D. Harrison
22.

電子ブック
ＥＢ
22. Model-Based Testing of Reactive Systems
David Hutchison, M. Broy, Takeo Kanade, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
State Verification / Henrik Björklund3：
Conformance Testing / Angelo Gargantini4：
Testing of Labeled Transition Systems / Part II：
Preorder Relations / Stefan D. Bruda5：
Test Generation Algorithms Based on Preorder Relations / Valéry Tschaen6：
I/O-automata Based Testing / Machiel van der Bijl ; Fabien Peureux7：
Test Derivation from Timed Automata / Laura Brandán Briones ; Mathias Röhl8：
Testing Theory for Probabilistic Systems / Verena Wolf9：
Model-Based Test Case Generation / Part III：
Methodological Issues in Model-Based Testing / Alexander Pretschner ; Jan Philipps10：
Evaluating Coverage Based Testing / Christophe Gaston ; Dirk Seifert11：
Technology of Test-Case Generation / Levi Lúcio ; Marko Samer12：
Real-Time and Hybrid Systems Testing / Kirsten Berkenkötter ; Raimund Kirner13：
Tools and Case Studies / Part IV：
Tools for Test Case Generation / Axel Belinfante ; Lars Frantzen ; Christian Schallhart14：
Case Studies / Wolfgang Prenninger ; Mohammad El-Ramly ; Marc Horstmann15：
Standardized Test Notation and Execution Architecture / Part V：
TTCN-3 / George Din16：
UML 2.0 Testing Profile / Zhen Ru Dai17：
Beyond Testing / Part VI：
Run-Time Verification / Séverine Colin ; Leonardo Mariani18：
Model Checking / Therese Berg ; Harald Raffelt19：
Appendices / Part VII：
Model-Based Testing - A Glossary / Martin Leucker20：
Finite State Machines / Bengt Jonsson21：
Labelled Transition Systems / Joost-Pieter Katoen22：
Literature
Index
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
23.

電子ブック
ＥＢ
23. Human-Centred Software Engineering
Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Takeo Kanade, Marta Lárusdóttir, Marta Kristín Lárusdóttir
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Collaborative Work
Approaches to Software Engineering: A Human-Centred Perspective / Liam J. Bannon
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets / José Luís Silva ; Óscar R. Ribeiro ; João M. Fernandes ; José Creissac Campos ; Michael D. Harrison
Model-Based Design and Implementation of Interactive Spaces for Information Interaction / Hans-Christian Jetter ; Jens Gerken ; Michael Zöllner ; Harald Reiterer
ViSE-A Virtual Smart Environment for Usability Evaluation / Stefan Propp ; Peter Forbrig
Context of Use
A Domain Specific Language for Contextual Design / Balbir S. Barn ; Tony Clark
An MDE Approach for User Interface Adaptation to the Context of Use / Wided Bouchelligua ; Adel Mahfoudhi ; Lassaad Benammar ; Sirine Rebai ; Mourad Abed
Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign / Fabio Paternò ; Giuseppe Zichittella
User-Aware Systems
Extending UsiXML to Support User-Aware Interfaces / Ricardo Tesoriero ; Jean Vanderdonckt
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design / Shamal Faily ; Ivan Fléchais
Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People with Dementia / Nasim Mahmud ; Joë Vogt ; Kris Luyten ; Karin Slegers ; Jan Van den Bergh ; Karin Coninx
Model-Based Development
Supporting Multimodality in Service-Oriented Model-Based Development Environments / Marco Manca
RTME: Extension of Role-Task Modeling for the Purpose of Access Control Specification / Birgit Bomsdorf
Web Applications Usability Testing with Task Model Skeletons / Ivo Maly ; Zdenek Mikovec
HCI Activities
Evaluating Relative Contributions of Various HCI Activities to Usability / Anirudha Joshi ; NL Sarda
AFFINE for Enforcing Earlier Consideration of NFRs and Human Factors when Building Socio-Technical Systems Following Agile Methodologies / Mohamed Bourimi ; Thomas Barth ; Joerg M. Haake ; Bernd Ueberschär ; Dogan Kesdogan
Understanding Formal Description of Pitch-Based Input / Ondrej Polácek ; Zdenek Míkovec
Posters
Application Composition Driven By UI Composition / Christian Brel ; Philippe Renevier-Gonin ; Audrey Occello ; Anne-Marie Déry-Pinna ; Catherine Faron-Zucker ; Michel Riveill
Methods for Efficient Development of Task-Based Applications / Vaclav Slovacek
Towards an Integrated Model for Functional and User Interface Requirements / Rabeb Mizouni ; Daniel Sinnig ; Ferhat Khendek
Author Index
Collaborative Work
Approaches to Software Engineering: A Human-Centred Perspective / Liam J. Bannon
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets / José Luís Silva ; Óscar R. Ribeiro ; João M. Fernandes ; José Creissac Campos ; Michael D. Harrison
24.

電子ブック
ＥＢ
24. Model-Based Testing of Reactive Systems
David Hutchison, M. Broy, Takeo Kanade, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
State Verification / Henrik Björklund3：
Conformance Testing / Angelo Gargantini4：
Testing of Labeled Transition Systems / Part II：
Preorder Relations / Stefan D. Bruda5：
Test Generation Algorithms Based on Preorder Relations / Valéry Tschaen6：
I/O-automata Based Testing / Machiel van der Bijl ; Fabien Peureux7：
Test Derivation from Timed Automata / Laura Brandán Briones ; Mathias Röhl8：
Testing Theory for Probabilistic Systems / Verena Wolf9：
Model-Based Test Case Generation / Part III：
Methodological Issues in Model-Based Testing / Alexander Pretschner ; Jan Philipps10：
Evaluating Coverage Based Testing / Christophe Gaston ; Dirk Seifert11：
Technology of Test-Case Generation / Levi Lúcio ; Marko Samer12：
Real-Time and Hybrid Systems Testing / Kirsten Berkenkötter ; Raimund Kirner13：
Tools and Case Studies / Part IV：
Tools for Test Case Generation / Axel Belinfante ; Lars Frantzen ; Christian Schallhart14：
Case Studies / Wolfgang Prenninger ; Mohammad El-Ramly ; Marc Horstmann15：
Standardized Test Notation and Execution Architecture / Part V：
TTCN-3 / George Din16：
UML 2.0 Testing Profile / Zhen Ru Dai17：
Beyond Testing / Part VI：
Run-Time Verification / Séverine Colin ; Leonardo Mariani18：
Model Checking / Therese Berg ; Harald Raffelt19：
Appendices / Part VII：
Model-Based Testing - A Glossary / Martin Leucker20：
Finite State Machines / Bengt Jonsson21：
Labelled Transition Systems / Joost-Pieter Katoen22：
Literature
Index
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
25.

電子ブック
ＥＢ
25. Model Driven Engineering Languages and Systems
Dorina C. Petriu, ?ystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a：
Generic Meta-modelling with Concepts, Templates and Mixin Layers / Juan de Lara ; Esther Guerra
An Observer-Based Notion of Model Inheritance / Thomas Kühne
MDE-Based Approach for Generalizing Design Space Exploration / Tripti Saxena ; Gabor Karsai
Model Migration and Incremental Manipulation / Session 1b：
A Comparison of Model Migration Tools / Louis M. Rose ; Markus Herrmannsdoerfer ; James R. Williams ; Dimitrios S. Kolovos ; Kelly Garcés ; Richard F. Paige ; Fiona A. C. Polack
Incremental Evaluation of Model Queries over EMF Models / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró ; András Balogh ; Zoltán Balogh ; András Ökrös
Active Operations on Collections / Olivier Beaudoux ; Arnaud Blouin ; Olivier Barais ; Jean-Marc Jézéquel
Modeling Model Transformations / Session 1c：
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a：
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b：
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c：
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques / Arne Schramm ; André Preußner ; Matthias Heinrich ; Lars Vogel
Model-Driven Quality Assurance / Session 3a：
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study / Andrew Diniz da Costa ; Viviane Torres da Silva ; Alessandro Garcia ; Carlos José Pereira de Lucena
Automatically Discovering Properties That Specify the Latent Behavior of UML Models / Heather J. Goldsby ; Betty H.C. Cheng
Managing Variability / Session 3b：
Towards a Semantics of Activity Diagrams with Semantic Variation Points / Hans Grönniger ; Dirk Reiß ; Bernhard Rumpe
An AADL-Based Approach to Variability Modeling of Automotive Control Systems / Shin'ichi Shiraishi
Extending Variability for OCL Interpretation / Claas Wilke ; Michael Thiele ; Christian Wende
Multi-Modeling Approaches / Session 3c：
Inter-Modelling: From Theory to Practice
Consistent Modeling Using Multiple UML Profiles / Florian Noyrit ; Sébastien Gérard ; François Terrier ; Bran Selic
A Systematic Review on the Definition of UML Profiles / Jesús Pardillo
Author Index
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a：
26.

電子ブック
ＥＢ
26. NASA Formal Methods
Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
Invited Tutorials / II：
The Theory and Practice of SALT / Andreas Bauer ; Martin Leucker
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java / Bart Jacobs ; Jan Smans ; Pieter Philippaerts ; Frédéric Vogels ; Willem Penninckx ; Prank Piessens
Verifying Functional Correctness of C Programs with VCC / Michal Moskal
Regular Papers / III：
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution / Jason Belt ; John Hatcliff ; Robby ; Patrice Chalin ; David Hardin ; Xianghua Deng
Approximate Quantifier Elimination for Propositional Boolean Formulae / Jörg Brauer ; Andy King
Towards Flight Control Verification Using Automated Theorem Proving / William Denman ; Mohamed H. Zaki ; Sofiène Tahar ; Luis Rodrigues
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis / Rüdiger Ehlers
Integrating an Automated Theorem Prover into Agda / Simon Foster ; Georg Struth
Efficient Predicate Abstraction of Program Summaries / Arie Gurfinkel ; Sagar Chaki ; Samir Sapra
Synthesis for PCTL in Parametric Markov Decision Processes / Ernst Moritz Hahn ; Tingling Han ; Lijun Zhang
Formalizing Probabilistic Safety Claims / Heber Herencia-Zapana ; George Hagen ; Anthony Narkawicz
The Open Theory Standard Theory Library / Joe Hurd
Instantiation-Based Invariant Discovery / Temesghen Kahsai ; Yeting Ge ; Cesare Tinelli
Stuttering Mostly Speeds Up Solving Parity Games / Sjoerd Cranen ; Jeroen J.A. Keiren ; Tim A.C. Willemse
Counterexample-Based Error Localization of Behavior Models / Tsutomu Kumazawa ; Tetsuo Tamai
Call Invariants / Shuvendu K. Lahiri ; Shaz Qadeer
Symmetry for the Analysis of Dynamic Systems / Zarrin Langari ; Richard Trefler
Implementing Cryptographic Primitives in the Symbolic Model / Peeter Laud
Model Checking Using SMT and Theory of Lists / Aleksandar Milicevic ; Hillel Kugler
Automated Test Case Generation with SMT-Solving and Abstract Interpretation / Jan Peleska ; Elena Vorobev ; Florian Lapschies
Generating Data Race Witnesses by an SMT-Based Analysis / Mahmoud Said ; Chao Wang ; Zijiang Yang ; Karem Sakallah
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B / Asieh Salehi Fathabadi ; Abdolbaghi Rezazadeh ; Michael Butler
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes / Alejandro Sánchez ; César Sánchez
Coral: Solving Complex Constraints for Symbolic PathFinder / Matheus Souza ; Mateus Borges ; Marcelo d'Amorim ; Corina S. Pasareanu
Automated Formal Verification of the TTEthernet Synchronization Quality / Wilfried Steiner ; Bruno Dutertre
Extending the GWV Security Policy and Its Modular Application to a Separation Kernel / Sergey Tverdyshev
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties / José Vander Meulen ; Charles Pecheur
Towards Informed Swarm Verification / Anton Wijs
Scaling Up with Event-B: A Case Study / Faqing Yang ; Jean-Pierre Jacquot
Tool Papers / IV：
D-Finder 2: Towards Efficient Correctness of Incremental Design / Saddek Bensalem ; Andreas Griesmayer ; Axel Legay ; Thanh-Hung Nguyen ; Joseph Sifakis ; Rongjie Yan
Infer: An Automatic Program Verifier for Memory Safety of C Programs / Cristiano Calcagno ; Dino Distefano
Model Construction and Priority Synthesis for Simple Interaction Systems / Chih-Hong Cheng ; Barbara Jobstmann ; Alois Knoll ; Harald Ruess
OpenJML: JML for Java 7 by Extending OpenJDK / David R. Cok
jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2
opaal: A Lattice Model Checker / Andreas Engelbredt Dalsgaard ; René Rydhof Hansen ; Kenneth Yrke Jørgensen ; Kim Gulstrand Larsen ; Mads Chr. Olesen ; Petur Olsen ; Jirí Srba
A Tabular Expression Toolbox for Matlab/Simulink / Colin Eles ; Mark Lawford
LLVM2CSP: Extracting CSP Models from Concurrent Programs / Moritz Kleine ; Björn Bartels ; Thomas Göthel ; Steffen Helke ; Dirk Prenzel
Multi-Core LTSmin: Marrying Modularity and Scalability / Alfons Laarman ; Jaco van de Pol ; Michael Weber
Ginacra: A C++ Library or Real Algebraic Computations / Ulrich Loup ; Erika Ábrahám
Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code / Hannes Mehnert
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction
Author Index
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
27.

電子ブック
ＥＢ
27. Modelling Foundations and Applications
Robert B. France, Behzad Bordbar, Takeo Kanade, Jochen M. Kuester, Richard F. Paige
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Building Advanced Mechatronic Systems / Wilhelm Schäfer
Model Execution
Contracts for Model Execution Verification / Eric Cariou ; Cyril Ballagny ; Alexandre Feugas ; Franck Barbier
A FUML-Based Distributed Execution Machine for Enacting Software Process Models / Ralf Ellner ; Samir Al-Hilank ; Johannes Drexler ; Martin Jung ; Detlef Kips ; Michael Philippsen
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics / Benoît Combemale ; Laure Gonnord ; Vlad Rusu
Model Analysis
Incremental Security Verification for Evolving UMLsec Models / Jan Jürjens ; Loïc Marchal ; Martín Ochoa ; Holger Schmidt
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies / Ragnhild Van Der Straeten ; Jorge Pinna Puissant ; Tom Mens
Operation Based Model Representation: Experiences on Inconsistency Detection / Jerome Le Noir ; Olivier Delande ; Daniel Exertier ; Marcos Aurélio Almeida da Silva ; Xavier Blanc
Methodology
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML / Pietro Colombo ; Ferhat Khendek ; Luigi Lavazza
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing / Tao Yue ; Shaukat Ali ; Lionel Briand
Transformation Rules for Translating Business Rules to OCL Constraints / Imran S. Bajwa ; Murk G. Lee
Model Management (1)
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements / Joel Greenyer ; Sebastian Pook ; Jan Rieke
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform / Guillaume Doux ; Patrick Albert ; Gabriel Barbier ; Jordi Cabot ; Maroos Didonet Del Fabro ; Scott Uk-Jin Lee
Incremental Updates for View-Based Textual Modelling / Thomas Goldschmidt ; Axel Uhl
Transformations
Easing Model Transformation Learning with Automatically Aligned Examples / Xavier Dolques ; Aymen Dogui ; Jean-Rémy Falleri ; Marianne Huchard ; Clémentine Nebut ; François Pfister
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach / Dominik Gessenharter ; Martin Rauscher
Tractable Model Transformation Testing / Martin Gogolla ; Antonio Vallecillo
Variability Analysis and ADLs
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling / Razieh Behjati ; Shiva Nejati ; Bran Selic
Analyzing Variability: Capturing Semantic Ripple Effects / Andreas Svendsen ; Øystein Haugen ; Birger Møller-Pedersen
Integrating Design and Runtime Variability Support into a System ADL / Marie Ludwig ; Nicolas Farcet ; Jean-Philippe Babau ; Joël Champeau
Domain-Specific Modelling
Domain-Specific Model Verification with QVT / Maged Elaasar ; Yuan Labiche
A SysML Profile for Development and Early Validation of TLM 2.0 Models / Vaibhav Jain ; Anshul Kumar ; Preeti R. Panda
Taming the Confusion of Languages / Rolf-Helge Pfeiffer ; Andrzej Wqsowski
Model Management (2)
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador / Stephen C. Barrett ; Patrice Chalin ; Greg Butler
Improving Naming and Grouping in UML
Aspect-Oriented Model Development at Different Levels of Abstraction / Mauricio Alférez ; Nuno Amálio ; Selim Ciraci ; Franck Fleurey ; Jörg Kienzle ; Jacques Klein ; Max Kramer ; Sebastien Mosser ; Gunter Mussbacher ; Ella Roubtsova ; Gefei Zhang
Workshop Summaries
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration / Ralf-Detlef Kutsche ; Nikola Milanovic
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization / Grégoire Dupé ; Marcos Didonet del Fabro ; Scott Leeé
The Third Workshop on Behaviour Modelling - Foundations and Applications / Ashley McNeile ; Ekkart Kindler ; Mehmet Aksit
Process-Centred Approaches for Model-Driven Engineering (PMDE)-First Edition / Reda Bendraou ; Redouane Lbath ; Bernard Coulette ; Marie-Pierre Gervais
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011) / Goetz Botterweck ; Andreas Pleuss ; Julia Rubin ; Christa Schwanninger
Tutorial Summaries
Agile Development with Domain Specific Languages / Bernhard Rumpe ; Martin Schindler ; Steven Völkel ; Ingo Weisemöller
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró
Integrated Model Management with Epsilon / Dimitrios S. Kolovos ; Richard F. Paige ; Louis M. Rose ; James Williams
Creating Domain-Specific Modelling Languages That Work: Hands-On / Juha-Pekka Tolvanen
Author Index
Keynote
Building Advanced Mechatronic Systems / Wilhelm Schäfer
Model Execution
28.

電子ブック
ＥＢ
28. Model Driven Engineering Languages and Systems
Dorina C. Petriu, ÁEstein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a：
Generic Meta-modelling with Concepts, Templates and Mixin Layers / Juan de Lara ; Esther Guerra
An Observer-Based Notion of Model Inheritance / Thomas Kühne
MDE-Based Approach for Generalizing Design Space Exploration / Tripti Saxena ; Gabor Karsai
Model Migration and Incremental Manipulation / Session 1b：
A Comparison of Model Migration Tools / Louis M. Rose ; Markus Herrmannsdoerfer ; James R. Williams ; Dimitrios S. Kolovos ; Kelly Garcés ; Richard F. Paige ; Fiona A. C. Polack
Incremental Evaluation of Model Queries over EMF Models / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró ; András Balogh ; Zoltán Balogh ; András Ökrös
Active Operations on Collections / Olivier Beaudoux ; Arnaud Blouin ; Olivier Barais ; Jean-Marc Jézéquel
Modeling Model Transformations / Session 1c：
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a：
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b：
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c：
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques / Arne Schramm ; André Preußner ; Matthias Heinrich ; Lars Vogel
Model-Driven Quality Assurance / Session 3a：
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study / Andrew Diniz da Costa ; Viviane Torres da Silva ; Alessandro Garcia ; Carlos José Pereira de Lucena
Automatically Discovering Properties That Specify the Latent Behavior of UML Models / Heather J. Goldsby ; Betty H.C. Cheng
Managing Variability / Session 3b：
Towards a Semantics of Activity Diagrams with Semantic Variation Points / Hans Grönniger ; Dirk Reiß ; Bernhard Rumpe
An AADL-Based Approach to Variability Modeling of Automotive Control Systems / Shin'ichi Shiraishi
Extending Variability for OCL Interpretation / Claas Wilke ; Michael Thiele ; Christian Wende
Multi-Modeling Approaches / Session 3c：
Inter-Modelling: From Theory to Practice
Consistent Modeling Using Multiple UML Profiles / Florian Noyrit ; Sébastien Gérard ; François Terrier ; Bran Selic
A Systematic Review on the Definition of UML Profiles / Jesús Pardillo
Author Index
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a：
29.

電子ブック
ＥＢ
29. Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a：
Generic Meta-modelling with Concepts, Templates and Mixin Layers / Juan de Lara ; Esther Guerra
An Observer-Based Notion of Model Inheritance / Thomas Kühne
MDE-Based Approach for Generalizing Design Space Exploration / Tripti Saxena ; Gabor Karsai
Model Migration and Incremental Manipulation / Session 1b：
A Comparison of Model Migration Tools / Louis M. Rose ; Markus Herrmannsdoerfer ; James R. Williams ; Dimitrios S. Kolovos ; Kelly Garcés ; Richard F. Paige ; Fiona A. C. Polack
Incremental Evaluation of Model Queries over EMF Models / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró ; András Balogh ; Zoltán Balogh ; András Ökrös
Active Operations on Collections / Olivier Beaudoux ; Arnaud Blouin ; Olivier Barais ; Jean-Marc Jézéquel
Modeling Model Transformations / Session 1c：
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a：
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b：
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c：
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques / Arne Schramm ; André Preußner ; Matthias Heinrich ; Lars Vogel
Model-Driven Quality Assurance / Session 3a：
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study / Andrew Diniz da Costa ; Viviane Torres da Silva ; Alessandro Garcia ; Carlos José Pereira de Lucena
Automatically Discovering Properties That Specify the Latent Behavior of UML Models / Heather J. Goldsby ; Betty H.C. Cheng
Managing Variability / Session 3b：
Towards a Semantics of Activity Diagrams with Semantic Variation Points / Hans Grönniger ; Dirk Reiß ; Bernhard Rumpe
An AADL-Based Approach to Variability Modeling of Automotive Control Systems / Shin'ichi Shiraishi
Extending Variability for OCL Interpretation / Claas Wilke ; Michael Thiele ; Christian Wende
Multi-Modeling Approaches / Session 3c：
Inter-Modelling: From Theory to Practice
Consistent Modeling Using Multiple UML Profiles / Florian Noyrit ; Sébastien Gérard ; François Terrier ; Bran Selic
A Systematic Review on the Definition of UML Profiles / Jesús Pardillo
Author Index
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a：
30.

電子ブック
ＥＢ
30. Modelling Foundations and Applications
Robert B. France, Behzad Bordbar, Takeo Kanade, Jochen M. Kuester, Richard F. Paige
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Building Advanced Mechatronic Systems / Wilhelm Schäfer
Model Execution
Contracts for Model Execution Verification / Eric Cariou ; Cyril Ballagny ; Alexandre Feugas ; Franck Barbier
A FUML-Based Distributed Execution Machine for Enacting Software Process Models / Ralf Ellner ; Samir Al-Hilank ; Johannes Drexler ; Martin Jung ; Detlef Kips ; Michael Philippsen
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics / Benoît Combemale ; Laure Gonnord ; Vlad Rusu
Model Analysis
Incremental Security Verification for Evolving UMLsec Models / Jan Jürjens ; Loïc Marchal ; Martín Ochoa ; Holger Schmidt
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies / Ragnhild Van Der Straeten ; Jorge Pinna Puissant ; Tom Mens
Operation Based Model Representation: Experiences on Inconsistency Detection / Jerome Le Noir ; Olivier Delande ; Daniel Exertier ; Marcos Aurélio Almeida da Silva ; Xavier Blanc
Methodology
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML / Pietro Colombo ; Ferhat Khendek ; Luigi Lavazza
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing / Tao Yue ; Shaukat Ali ; Lionel Briand
Transformation Rules for Translating Business Rules to OCL Constraints / Imran S. Bajwa ; Murk G. Lee
Model Management (1)
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements / Joel Greenyer ; Sebastian Pook ; Jan Rieke
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform / Guillaume Doux ; Patrick Albert ; Gabriel Barbier ; Jordi Cabot ; Maroos Didonet Del Fabro ; Scott Uk-Jin Lee
Incremental Updates for View-Based Textual Modelling / Thomas Goldschmidt ; Axel Uhl
Transformations
Easing Model Transformation Learning with Automatically Aligned Examples / Xavier Dolques ; Aymen Dogui ; Jean-Rémy Falleri ; Marianne Huchard ; Clémentine Nebut ; François Pfister
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach / Dominik Gessenharter ; Martin Rauscher
Tractable Model Transformation Testing / Martin Gogolla ; Antonio Vallecillo
Variability Analysis and ADLs
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling / Razieh Behjati ; Shiva Nejati ; Bran Selic
Analyzing Variability: Capturing Semantic Ripple Effects / Andreas Svendsen ; Øystein Haugen ; Birger Møller-Pedersen
Integrating Design and Runtime Variability Support into a System ADL / Marie Ludwig ; Nicolas Farcet ; Jean-Philippe Babau ; Joël Champeau
Domain-Specific Modelling
Domain-Specific Model Verification with QVT / Maged Elaasar ; Yuan Labiche
A SysML Profile for Development and Early Validation of TLM 2.0 Models / Vaibhav Jain ; Anshul Kumar ; Preeti R. Panda
Taming the Confusion of Languages / Rolf-Helge Pfeiffer ; Andrzej Wqsowski
Model Management (2)
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador / Stephen C. Barrett ; Patrice Chalin ; Greg Butler
Improving Naming and Grouping in UML
Aspect-Oriented Model Development at Different Levels of Abstraction / Mauricio Alférez ; Nuno Amálio ; Selim Ciraci ; Franck Fleurey ; Jörg Kienzle ; Jacques Klein ; Max Kramer ; Sebastien Mosser ; Gunter Mussbacher ; Ella Roubtsova ; Gefei Zhang
Workshop Summaries
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration / Ralf-Detlef Kutsche ; Nikola Milanovic
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization / Grégoire Dupé ; Marcos Didonet del Fabro ; Scott Leeé
The Third Workshop on Behaviour Modelling - Foundations and Applications / Ashley McNeile ; Ekkart Kindler ; Mehmet Aksit
Process-Centred Approaches for Model-Driven Engineering (PMDE)-First Edition / Reda Bendraou ; Redouane Lbath ; Bernard Coulette ; Marie-Pierre Gervais
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011) / Goetz Botterweck ; Andreas Pleuss ; Julia Rubin ; Christa Schwanninger
Tutorial Summaries
Agile Development with Domain Specific Languages / Bernhard Rumpe ; Martin Schindler ; Steven Völkel ; Ingo Weisemöller
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró
Integrated Model Management with Epsilon / Dimitrios S. Kolovos ; Richard F. Paige ; Louis M. Rose ; James Williams
Creating Domain-Specific Modelling Languages That Work: Hands-On / Juha-Pekka Tolvanen
Author Index
Keynote
Building Advanced Mechatronic Systems / Wilhelm Schäfer
Model Execution
31.

電子ブック
ＥＢ
31. NASA Formal Methods
Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Takeo Kanade, Gerard Holzmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
Invited Tutorials / II：
The Theory and Practice of SALT / Andreas Bauer ; Martin Leucker
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java / Bart Jacobs ; Jan Smans ; Pieter Philippaerts ; Frédéric Vogels ; Willem Penninckx ; Prank Piessens
Verifying Functional Correctness of C Programs with VCC / Michal Moskal
Regular Papers / III：
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution / Jason Belt ; John Hatcliff ; Robby ; Patrice Chalin ; David Hardin ; Xianghua Deng
Approximate Quantifier Elimination for Propositional Boolean Formulae / Jörg Brauer ; Andy King
Towards Flight Control Verification Using Automated Theorem Proving / William Denman ; Mohamed H. Zaki ; Sofiène Tahar ; Luis Rodrigues
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis / Rüdiger Ehlers
Integrating an Automated Theorem Prover into Agda / Simon Foster ; Georg Struth
Efficient Predicate Abstraction of Program Summaries / Arie Gurfinkel ; Sagar Chaki ; Samir Sapra
Synthesis for PCTL in Parametric Markov Decision Processes / Ernst Moritz Hahn ; Tingling Han ; Lijun Zhang
Formalizing Probabilistic Safety Claims / Heber Herencia-Zapana ; George Hagen ; Anthony Narkawicz
The Open Theory Standard Theory Library / Joe Hurd
Instantiation-Based Invariant Discovery / Temesghen Kahsai ; Yeting Ge ; Cesare Tinelli
Stuttering Mostly Speeds Up Solving Parity Games / Sjoerd Cranen ; Jeroen J.A. Keiren ; Tim A.C. Willemse
Counterexample-Based Error Localization of Behavior Models / Tsutomu Kumazawa ; Tetsuo Tamai
Call Invariants / Shuvendu K. Lahiri ; Shaz Qadeer
Symmetry for the Analysis of Dynamic Systems / Zarrin Langari ; Richard Trefler
Implementing Cryptographic Primitives in the Symbolic Model / Peeter Laud
Model Checking Using SMT and Theory of Lists / Aleksandar Milicevic ; Hillel Kugler
Automated Test Case Generation with SMT-Solving and Abstract Interpretation / Jan Peleska ; Elena Vorobev ; Florian Lapschies
Generating Data Race Witnesses by an SMT-Based Analysis / Mahmoud Said ; Chao Wang ; Zijiang Yang ; Karem Sakallah
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B / Asieh Salehi Fathabadi ; Abdolbaghi Rezazadeh ; Michael Butler
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes / Alejandro Sánchez ; César Sánchez
Coral: Solving Complex Constraints for Symbolic PathFinder / Matheus Souza ; Mateus Borges ; Marcelo d'Amorim ; Corina S. Pasareanu
Automated Formal Verification of the TTEthernet Synchronization Quality / Wilfried Steiner ; Bruno Dutertre
Extending the GWV Security Policy and Its Modular Application to a Separation Kernel / Sergey Tverdyshev
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties / José Vander Meulen ; Charles Pecheur
Towards Informed Swarm Verification / Anton Wijs
Scaling Up with Event-B: A Case Study / Faqing Yang ; Jean-Pierre Jacquot
Tool Papers / IV：
D-Finder 2: Towards Efficient Correctness of Incremental Design / Saddek Bensalem ; Andreas Griesmayer ; Axel Legay ; Thanh-Hung Nguyen ; Joseph Sifakis ; Rongjie Yan
Infer: An Automatic Program Verifier for Memory Safety of C Programs / Cristiano Calcagno ; Dino Distefano
Model Construction and Priority Synthesis for Simple Interaction Systems / Chih-Hong Cheng ; Barbara Jobstmann ; Alois Knoll ; Harald Ruess
OpenJML: JML for Java 7 by Extending OpenJDK / David R. Cok
jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2
opaal: A Lattice Model Checker / Andreas Engelbredt Dalsgaard ; René Rydhof Hansen ; Kenneth Yrke Jørgensen ; Kim Gulstrand Larsen ; Mads Chr. Olesen ; Petur Olsen ; Jirí Srba
A Tabular Expression Toolbox for Matlab/Simulink / Colin Eles ; Mark Lawford
LLVM2CSP: Extracting CSP Models from Concurrent Programs / Moritz Kleine ; Björn Bartels ; Thomas Göthel ; Steffen Helke ; Dirk Prenzel
Multi-Core LTSmin: Marrying Modularity and Scalability / Alfons Laarman ; Jaco van de Pol ; Michael Weber
Ginacra: A C++ Library or Real Algebraic Computations / Ulrich Loup ; Erika Ábrahám
Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code / Hannes Mehnert
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction
Author Index
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
32.

電子ブック
ＥＢ
32. Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
Asit Dan, Fr?d?ric Gittler, Takeo Kanade, Farouk Toumani
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Business Models and Architecture / Track 1：
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
Enterprise Architecture Principles: Literature Review and Research Directions / Dirk Stelzer
Something Is Missing: Enterprise Architecture from a Systems Theory Perspective / Sebastian Kloeckner ; Dominik Birkmeier
A Reassessment of Enterprise Architecture Implementation / Stephan Aier ; Joachim Schelp
The Dynamic Architecture Maturity Matrix: Instrument Analysis and Refinement / Marlies van Steenbergen ; Jurjen Schipper ; Rik Bos ; Sjaak Brinkkemper
Decoupling Models and Visualisations for Practical EA Tooling / Steffen Kruse ; Jan Stefan Addicks ; Matthias Postina ; Ulrike Steffens
Cross-Organizational Security - The Service-Oriented Difference / André Miede ; Nedislav Nedyalkov ; Dieter Schuller ; Nicolas Repp ; Ralf Steinmetz
1st International Workshop on SOA, Globalization, People, and Work (SG-PAW)
Enterprise Oriented Services (Position Paper) / Daniel Oppenheim ; Krishna Ratakonda ; Yi-Min Chee
Automated Realization of Business Workflow Specification / Guohua Liu ; Xi Liu ; Haihuan Qin ; Jianwen Su ; Zhimin Yan ; Liang Zhang
PeopleCloud for the Globally Integrated Enterprise / Maja Vukovic ; Mariana Lopez ; Jim Laredo
Public Disclosure versus Private Practice: Challenges in Business Process Management (Position Paper) / Stacy Hobson ; Sameer Patil ; Xuan Liu
1st International Workshop on Service Oriented Computing in Logistics (SOC-LOG)
Analysing Dependencies in Service Compositions / Matthias Winkler ; Thomas Springer ; Edmundo David Trigos ; Alexander Schill
Open Service-Oriented Computing for Logistics: A Case in Courier, Express and Parcel Networks / Marcel Kunkel ; Christian Doppstadt ; Michael Schwind
Gain in Transparency versus Investment in the EPC Network - Analysis and Results of a Discrete Event Simulation Based on a Case Study in the Fashion Industry / Jürgen Müller ; Ralph Tröger ; Alexander Zeier ; Rainer Alt
Using Automated Analysis of Temporal-Aware SLAs in Logistics / Carlos Müller ; Manuel Resinas ; Antonio Ruiz-Cortés
Flexible SLA Negotiation Using Semantic Annotations / Henar Muñoz ; Ioannis Kotsiopoulos ; András Micsik ; Bastian Koller ; Juan Mora
Service Quality and Service Level Agreements Track / Track 2：
3rd Workshop on Non-functional Properties and Service Level Agreements Management in Service Oriented Computing (NFPSLAM-SOC 09)
Runtime Prediction of Service Level Agreement Violations for Composite Services / Philipp Leitner ; Branimir Wetzstein ; Florian Rosenberg ; Anton Michlmayr ; Schahram Dustdar ; Frank Leymann
A Framework for Multi-level SLA Management / Marco Comuzzi ; Constantinos Kotsokalis ; Christoph Rathfelder ; Wolfgang Theilmann ; Ulrich Winkler ; Gabriele Zacco
EC2 Performance Analysis for Resource Provisioning of Service-Oriented Applications / Jiang Dejun ; Guillaume Pierre ; Chi-Hung Chi
On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management / Patrícia Silveira ; Carlos Rodríguez ; Fabio Casati ; Florian Daniel ; Vincenzo D'Andrea ; Claire Worledge ; Zouhair Taheri
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition / Haruhiko Takada ; Incheon Paik
Dealing with Fixable and Non-fixable Properties in Service Matchmaking / Octavio Martín-Díaz ; José M2 García ; Miguel Toro
Using SLA Mapping to Increase Market Liquidity / Marcel Risch ; Ivona Brandic ; Jörn Altmann
Translation of Service Level Agreements: A Generic Problem Definition
Ontology-Based Feature Aggregation for Multi-valued Ranking / Nathalie Steinmetz ; Holger Lausen
2nd International Workshop on Service Monitoring, Adaptation and Beyond (MONA+)
Multi-level Monitoring and Analysis of Web-Scale Service Based Applications / Adrian Mos ; Carlos Pedrinaci ; Guillermo Alvaro Reg ; Jose Manuel Gomez ; Dong Liu ; Guillaume Vaudaux-Ruth ; Samuel Quaireau
Calculating Service Fitness in Service Networks / Martin Treiber ; Vasilios Andrikopoulos
Applying Process Mining in SOA Environments / Ateeq Khan ; Azeem Lodhi ; Veit Köppen ; Gamal Kassem ; Gunter Saake
Monitoring within an Autonomic Network: A GANA Based Network Monitoring Framework / Anastasios Zafeiropoulos ; Athanassios Liakopoulos ; Alan Davy ; Ranganai Chaparadza
An Extensible Monitoring and Adaptation Framework / Razvan Popescu ; Athanasios Staikopoulos ; Siobhán Clarke
Cross-Layer Adaptation and Monitoring of Service-Based Applications / Raman Kazhamiakin ; Marco Pistore ; Asli Zengin
Towards a Unified Architecture for Resilience, Survivability and Autonomic Fault-Management for Self-managing Networks / Nikolay Tcholtchev ; Monika Grajzer ; Bruno Vidalenc
Replacement Policies for Service-Based Systems / Khaled Mahbub ; Andrea Zisman
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments / Hanna Eberle ; Oliver Kopp ; Tobias Unger
Integrating Complex Events for Collaborating and Dynamically Changing Business Processes / Rainer von Ammon ; Thomas Ertlmaier ; Opher Etzion ; Alexander Kofman ; Thomas Paulus
Towards Business-Oriented Monitoring and Adaptation of Distributed Service-Based Applications from a Process Owner's Viewpoint / Krešimir Vidackovic ; Nico Weiner ; Holger Kett ; Thomas Renner
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis / Dimka Karastoyanova
Delivering Multimedia in Autonomic Networking Environments / Vassilios Kaldanis ; Giannis Katsaros ; George Karantonis
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring / Dragan Ivanovic ; Manuel Carro ; Manuel Hermenegildo
Service Engineering Track / Track 3：
5th International Workshop on Engineering Service-Oriented Applications (WESOA09)
Service Customization by Variability Modeling / Michael Stollberg ; Marcel Muth
Towards a Quality Model for Choreography / Michele Mancioppi ; Mikhail Perepletchikov ; Caspar Ryan ; Willem-Jan van den Heuvel ; Mike P. Papazoglou
Towards a Conceptual Framework for Legacy to SOA Migration / Maryam Razavian ; Patricia Lago
MINERVA: Model drIveN and sErvice oRiented Framework for the Continuous Business Process improVement and relAted Tools / Andrea Delgado ; Francisco Ruiz ; Ignacio García-Rodríguez de Guzmán ; Mario Piattini
Design for Adaptation of Service-Based Applications: Main Issues and Requirements / Antonio Bucchiarone ; Cinzia Cappiello ; Elisabetta Di Nitto ; Valentina Mazza
Towards Runtime Migration of WS-BPEL Processes / Sonja Zaplata ; Kristian Kottke ; Matthias Meiners ; Winfried Lamersdorf
Encapsulating Multi-stepped Web Forms as Web Services / Tobias Vogel ; Frank Kaufer ; Felix Naumann
Adapter Patterns for Resolving Mismatches in Service Discovery / Hyun Jung La ; Soo Dong Kim
1st International Workshop on User-Generated Services (UGS2009)
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups / Florian Gilles ; Volker Hoyer ; Till Janner ; Katarina Stanoevska-Slabeva
User-Centric Composition of Service Front-Ends at the Presentation Layer / Tobias Nestler ; Lars Dannecker ; Andreas Pursche
On the Support of Dynamic Service Composition at Runtime / Eduardo Silva ; Luís Ferreira Pires ; Marten van Sinderen
Rethinking the Semantic Annotation of Services / Nikolaos Loutas ; Vassilios Peristeras ; Konstantinos Tarabanis
Service Composition for Everyone: A Study of Risks and Benefits / Abdallah Namoun ; Usman Wajid ; Nikolay Mehandjiev
Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use / Olaf Grebner
Towards Ontology Matching for Intelligent Gadgets / Oszkar Ambrus ; Knud Möller ; Siegfried Handschuh
Author Index
Business Models and Architecture / Track 1：
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
33.

電子ブック
ＥＢ
33. Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
Asit Dan, Frédéric Gittler, Takeo Kanade, Farouk Toumani, édéric Gittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Business Models and Architecture / Track 1：
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
Enterprise Architecture Principles: Literature Review and Research Directions / Dirk Stelzer
Something Is Missing: Enterprise Architecture from a Systems Theory Perspective / Sebastian Kloeckner ; Dominik Birkmeier
A Reassessment of Enterprise Architecture Implementation / Stephan Aier ; Joachim Schelp
The Dynamic Architecture Maturity Matrix: Instrument Analysis and Refinement / Marlies van Steenbergen ; Jurjen Schipper ; Rik Bos ; Sjaak Brinkkemper
Decoupling Models and Visualisations for Practical EA Tooling / Steffen Kruse ; Jan Stefan Addicks ; Matthias Postina ; Ulrike Steffens
Cross-Organizational Security - The Service-Oriented Difference / André Miede ; Nedislav Nedyalkov ; Dieter Schuller ; Nicolas Repp ; Ralf Steinmetz
1st International Workshop on SOA, Globalization, People, and Work (SG-PAW)
Enterprise Oriented Services (Position Paper) / Daniel Oppenheim ; Krishna Ratakonda ; Yi-Min Chee
Automated Realization of Business Workflow Specification / Guohua Liu ; Xi Liu ; Haihuan Qin ; Jianwen Su ; Zhimin Yan ; Liang Zhang
PeopleCloud for the Globally Integrated Enterprise / Maja Vukovic ; Mariana Lopez ; Jim Laredo
Public Disclosure versus Private Practice: Challenges in Business Process Management (Position Paper) / Stacy Hobson ; Sameer Patil ; Xuan Liu
1st International Workshop on Service Oriented Computing in Logistics (SOC-LOG)
Analysing Dependencies in Service Compositions / Matthias Winkler ; Thomas Springer ; Edmundo David Trigos ; Alexander Schill
Open Service-Oriented Computing for Logistics: A Case in Courier, Express and Parcel Networks / Marcel Kunkel ; Christian Doppstadt ; Michael Schwind
Gain in Transparency versus Investment in the EPC Network - Analysis and Results of a Discrete Event Simulation Based on a Case Study in the Fashion Industry / Jürgen Müller ; Ralph Tröger ; Alexander Zeier ; Rainer Alt
Using Automated Analysis of Temporal-Aware SLAs in Logistics / Carlos Müller ; Manuel Resinas ; Antonio Ruiz-Cortés
Flexible SLA Negotiation Using Semantic Annotations / Henar Muñoz ; Ioannis Kotsiopoulos ; András Micsik ; Bastian Koller ; Juan Mora
Service Quality and Service Level Agreements Track / Track 2：
3rd Workshop on Non-functional Properties and Service Level Agreements Management in Service Oriented Computing (NFPSLAM-SOC 09)
Runtime Prediction of Service Level Agreement Violations for Composite Services / Philipp Leitner ; Branimir Wetzstein ; Florian Rosenberg ; Anton Michlmayr ; Schahram Dustdar ; Frank Leymann
A Framework for Multi-level SLA Management / Marco Comuzzi ; Constantinos Kotsokalis ; Christoph Rathfelder ; Wolfgang Theilmann ; Ulrich Winkler ; Gabriele Zacco
EC2 Performance Analysis for Resource Provisioning of Service-Oriented Applications / Jiang Dejun ; Guillaume Pierre ; Chi-Hung Chi
On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management / Patrícia Silveira ; Carlos Rodríguez ; Fabio Casati ; Florian Daniel ; Vincenzo D'Andrea ; Claire Worledge ; Zouhair Taheri
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition / Haruhiko Takada ; Incheon Paik
Dealing with Fixable and Non-fixable Properties in Service Matchmaking / Octavio Martín-Díaz ; José M2 García ; Miguel Toro
Using SLA Mapping to Increase Market Liquidity / Marcel Risch ; Ivona Brandic ; Jörn Altmann
Translation of Service Level Agreements: A Generic Problem Definition
Ontology-Based Feature Aggregation for Multi-valued Ranking / Nathalie Steinmetz ; Holger Lausen
2nd International Workshop on Service Monitoring, Adaptation and Beyond (MONA+)
Multi-level Monitoring and Analysis of Web-Scale Service Based Applications / Adrian Mos ; Carlos Pedrinaci ; Guillermo Alvaro Reg ; Jose Manuel Gomez ; Dong Liu ; Guillaume Vaudaux-Ruth ; Samuel Quaireau
Calculating Service Fitness in Service Networks / Martin Treiber ; Vasilios Andrikopoulos
Applying Process Mining in SOA Environments / Ateeq Khan ; Azeem Lodhi ; Veit Köppen ; Gamal Kassem ; Gunter Saake
Monitoring within an Autonomic Network: A GANA Based Network Monitoring Framework / Anastasios Zafeiropoulos ; Athanassios Liakopoulos ; Alan Davy ; Ranganai Chaparadza
An Extensible Monitoring and Adaptation Framework / Razvan Popescu ; Athanasios Staikopoulos ; Siobhán Clarke
Cross-Layer Adaptation and Monitoring of Service-Based Applications / Raman Kazhamiakin ; Marco Pistore ; Asli Zengin
Towards a Unified Architecture for Resilience, Survivability and Autonomic Fault-Management for Self-managing Networks / Nikolay Tcholtchev ; Monika Grajzer ; Bruno Vidalenc
Replacement Policies for Service-Based Systems / Khaled Mahbub ; Andrea Zisman
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments / Hanna Eberle ; Oliver Kopp ; Tobias Unger
Integrating Complex Events for Collaborating and Dynamically Changing Business Processes / Rainer von Ammon ; Thomas Ertlmaier ; Opher Etzion ; Alexander Kofman ; Thomas Paulus
Towards Business-Oriented Monitoring and Adaptation of Distributed Service-Based Applications from a Process Owner's Viewpoint / Krešimir Vidackovic ; Nico Weiner ; Holger Kett ; Thomas Renner
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis / Dimka Karastoyanova
Delivering Multimedia in Autonomic Networking Environments / Vassilios Kaldanis ; Giannis Katsaros ; George Karantonis
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring / Dragan Ivanovic ; Manuel Carro ; Manuel Hermenegildo
Service Engineering Track / Track 3：
5th International Workshop on Engineering Service-Oriented Applications (WESOA09)
Service Customization by Variability Modeling / Michael Stollberg ; Marcel Muth
Towards a Quality Model for Choreography / Michele Mancioppi ; Mikhail Perepletchikov ; Caspar Ryan ; Willem-Jan van den Heuvel ; Mike P. Papazoglou
Towards a Conceptual Framework for Legacy to SOA Migration / Maryam Razavian ; Patricia Lago
MINERVA: Model drIveN and sErvice oRiented Framework for the Continuous Business Process improVement and relAted Tools / Andrea Delgado ; Francisco Ruiz ; Ignacio García-Rodríguez de Guzmán ; Mario Piattini
Design for Adaptation of Service-Based Applications: Main Issues and Requirements / Antonio Bucchiarone ; Cinzia Cappiello ; Elisabetta Di Nitto ; Valentina Mazza
Towards Runtime Migration of WS-BPEL Processes / Sonja Zaplata ; Kristian Kottke ; Matthias Meiners ; Winfried Lamersdorf
Encapsulating Multi-stepped Web Forms as Web Services / Tobias Vogel ; Frank Kaufer ; Felix Naumann
Adapter Patterns for Resolving Mismatches in Service Discovery / Hyun Jung La ; Soo Dong Kim
1st International Workshop on User-Generated Services (UGS2009)
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups / Florian Gilles ; Volker Hoyer ; Till Janner ; Katarina Stanoevska-Slabeva
User-Centric Composition of Service Front-Ends at the Presentation Layer / Tobias Nestler ; Lars Dannecker ; Andreas Pursche
On the Support of Dynamic Service Composition at Runtime / Eduardo Silva ; Luís Ferreira Pires ; Marten van Sinderen
Rethinking the Semantic Annotation of Services / Nikolaos Loutas ; Vassilios Peristeras ; Konstantinos Tarabanis
Service Composition for Everyone: A Study of Risks and Benefits / Abdallah Namoun ; Usman Wajid ; Nikolay Mehandjiev
Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use / Olaf Grebner
Towards Ontology Matching for Intelligent Gadgets / Oszkar Ambrus ; Knud Möller ; Siegfried Handschuh
Author Index
Business Models and Architecture / Track 1：
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
34.

電子ブック
ＥＢ
34. Dependability Metrics
Irene Eusgeld, Felix C. Freiling, Takeo Kanade, Ralf Reussner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1：
Foundations / I：
On Metrics and Measurements / Rainer Bohme2：
Validation of Predictions with Measurements / Ralf Reussner3：
Consistent Metric Usage: From Design to Deployment / Kenneth Chan ; Iman Poernomo4：
Basic and Dependent Metrics / Viktoria Firus5：
Goal, Question, Metric / Heiko Koziolek6：
Quality of Service Modeling Language / Steffen Becker7：
Markov Models / Michael Kuperberg8：
Reliability Metrics / II：
Hardware Reliability / Bernhard Fechner ; Felix Salfner ; Max Walter ; Philipp Limbourg ; Lijun Zhang9：
Software Reliability / Falk Fraikin ; Matthias Rohr ; Ute Wappler10：
Security Metrics / III：
Introduction to Security Metrics / 11：
Cryptographic Attack Metrics / Zinaida Benenson ; Ulrich Kuhn ; Stefan Lucks12：
Security Measurements and Metrics for Networks / Thorsten Holz13：
Industrial Approaches and Standards for Security Assessment / Steffen Weiss14：
Economic Security Metrics / Thomas Nowey15：
Human Factors / Martin Mink16：
Performance Metrics / IV：
Introduction to Performance Metrics / 17：
Performance-Related Metrics in the ISO 9126 Standard / 18：
Analytical Performance Metrics / Jens Happe19：
Performance Metrics in Software Design Models / Antonino Sabetta20：
Measuring Performance Metrics: Techniques and Tools / 21：
Performance Metrics for Specific Domains / 22：
Overlapping Metrics / V：
Introduction to Overlapping Attributes / 23：
Performability / 24：
Reliability vs. Security: A Subjective Overview / 25：
Appendix
Biographies of Contributors / 26：
References / 27：
Subject Index
Author Index
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1：
Foundations / I：
On Metrics and Measurements / Rainer Bohme2：
35.

電子ブック
ＥＢ
35. Algebraic Methodology and Software Technology
Michael Johnson, Takeo Kanade, Dusko Pavlovic
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper / Part 1：
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2：
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra / Claude Bolduc ; Béchir Ktari
On the Expressiveness of the ?-Calculus and the Mobile Ambients / Linda Brodo
Integrating Maude into Hets / Mihai Codescu ; Till Mossakowski ; Adrián Riesco ; Christian Maeder
Model Refinement Using Bisimulation Quotients / Roland Glück ; Bernhard Möller ; Michel Sintzoff
Type Fusion / Ralf Hinze
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming / Ekaterina Komendantskaya ; Guy McCusker ; John Power
Learning in a Changing World, an Algebraic Modal Logical Approach / Prakash Panangaden ; Mehrnoosh Sadrzadeh
Matching Logic: An Alternative to Hoare/Floyd Logic / Grigore Rosu ; Chucky Ellison ; Wolfram Schulte
Program Calculation in Coq / Julien Tesson ; Hideki Hashimoto ; Zhenjiang Hu ; Frédéric Loulergue ; Masato Takeichi
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming / Rafael del Vado Vírseda
System Demonstrations / Part 3：
Proving Termination Properties with MU-TERM / Beatriz Alarcón ; Raúl Gutiérrez ; Salvador Lucas ; Rafael Navarro-Marset
BAL Tool in Flexible Manufacturing Systems / Diego Pérez Leándrez ; M. Carmen Ruiz ; J. Jose Pardo ; Diego Cazorla
A Complete Declarative Debugger for Maude / Alberto Verdejo ; Narciso Martí-Oliet
An Assume Guarantee Approach for Checking Quantified Array Assertions / Mohamed Nassim Seghir
Author Index
Invited Paper / Part 1：
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2：
36.

電子ブック
ＥＢ
36. Logic-Based Program Synthesis and Transformation
Mar?a Alpuente, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) / Olivier Danvy ; Ian Zerny
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) / Johann Schumann ; Karen Gate ; Alan Lee
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System / Jónathan Heras ; Vico Pascual ; Julio Rubio
Graph Generation to Statically Represent CSP Processes / Marisa Llorens ; Javier Oliver ; Josep Silva ; Salvador Tamarit
Verification of the Schorr-Waite Algorithm - From Trees to Graphs / Mathieu Giorgino ; Martin Strecker ; Ralph Matthes ; Marc Pantel
MikiBeta : A General GUI Library for Visualizing Proof Trees: System Description and Demonstration / Kanako Sakurai ; Kenichi Asai
Compositional CLP-Based Test Data Generation for Imperative Languages / Elvira Albert ; Miguel Gómez-Zamalloa ; José Miguel Rojas ; Germán Puebla
On Inductive Proofs by Extended Unfold/Fold Transformation Rules / Hirohisa Seki
Non-termination Analysis of Logic Programs Using Types / Dean Voets ; Danny De Schreye
Scaling Up Algorithmic Debugging with Virtual Execution Trees / David Insa
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation / Fabio Fioravanti ; Alberto Pettorossi ; Maurizio Proietti ; Valerio Senni
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut / Thomas Ströder ; Peter Schneider-Kamp ; Jürgen Giesl
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs / Germán Vidal
Abstract Diagnosis of First Order Functional Logic Programs / Giovanni Bacci ; Marco Comini
The First-Order Nominal Link / Christophe Calves ; Maribel Fernández
Author Index
Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) / Olivier Danvy ; Ian Zerny
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) / Johann Schumann ; Karen Gate ; Alan Lee
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System / Jónathan Heras ; Vico Pascual ; Julio Rubio
37.

電子ブック
ＥＢ
37. Dependability Metrics
Irene Eusgeld, Felix C. Freiling, Takeo Kanade, Ralf Reussner, Felix Freiling, Ralf H. Reussner
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1：
Foundations / I：
On Metrics and Measurements / Rainer Bohme2：
Validation of Predictions with Measurements / Ralf Reussner3：
Consistent Metric Usage: From Design to Deployment / Kenneth Chan ; Iman Poernomo4：
Basic and Dependent Metrics / Viktoria Firus5：
Goal, Question, Metric / Heiko Koziolek6：
Quality of Service Modeling Language / Steffen Becker7：
Markov Models / Michael Kuperberg8：
Reliability Metrics / II：
Hardware Reliability / Bernhard Fechner ; Felix Salfner ; Max Walter ; Philipp Limbourg ; Lijun Zhang9：
Software Reliability / Falk Fraikin ; Matthias Rohr ; Ute Wappler10：
Security Metrics / III：
Introduction to Security Metrics / 11：
Cryptographic Attack Metrics / Zinaida Benenson ; Ulrich Kuhn ; Stefan Lucks12：
Security Measurements and Metrics for Networks / Thorsten Holz13：
Industrial Approaches and Standards for Security Assessment / Steffen Weiss14：
Economic Security Metrics / Thomas Nowey15：
Human Factors / Martin Mink16：
Performance Metrics / IV：
Introduction to Performance Metrics / 17：
Performance-Related Metrics in the ISO 9126 Standard / 18：
Analytical Performance Metrics / Jens Happe19：
Performance Metrics in Software Design Models / Antonino Sabetta20：
Measuring Performance Metrics: Techniques and Tools / 21：
Performance Metrics for Specific Domains / 22：
Overlapping Metrics / V：
Introduction to Overlapping Attributes / 23：
Performability / 24：
Reliability vs. Security: A Subjective Overview / 25：
Appendix
Biographies of Contributors / 26：
References / 27：
Subject Index
Author Index
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1：
Foundations / I：
On Metrics and Measurements / Rainer Bohme2：
38.

電子ブック
ＥＢ
38. Algebraic Methodology and Software Technology
Michael Johnson, Takeo Kanade, Dusko Pavlovic, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper / Part 1：
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2：
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra / Claude Bolduc ; Béchir Ktari
On the Expressiveness of the ?-Calculus and the Mobile Ambients / Linda Brodo
Integrating Maude into Hets / Mihai Codescu ; Till Mossakowski ; Adrián Riesco ; Christian Maeder
Model Refinement Using Bisimulation Quotients / Roland Glück ; Bernhard Möller ; Michel Sintzoff
Type Fusion / Ralf Hinze
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming / Ekaterina Komendantskaya ; Guy McCusker ; John Power
Learning in a Changing World, an Algebraic Modal Logical Approach / Prakash Panangaden ; Mehrnoosh Sadrzadeh
Matching Logic: An Alternative to Hoare/Floyd Logic / Grigore Rosu ; Chucky Ellison ; Wolfram Schulte
Program Calculation in Coq / Julien Tesson ; Hideki Hashimoto ; Zhenjiang Hu ; Frédéric Loulergue ; Masato Takeichi
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming / Rafael del Vado Vírseda
System Demonstrations / Part 3：
Proving Termination Properties with MU-TERM / Beatriz Alarcón ; Raúl Gutiérrez ; Salvador Lucas ; Rafael Navarro-Marset
BAL Tool in Flexible Manufacturing Systems / Diego Pérez Leándrez ; M. Carmen Ruiz ; J. Jose Pardo ; Diego Cazorla
A Complete Declarative Debugger for Maude / Alberto Verdejo ; Narciso Martí-Oliet
An Assume Guarantee Approach for Checking Quantified Array Assertions / Mohamed Nassim Seghir
Author Index
Invited Paper / Part 1：
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2：
39.

電子ブック
ＥＢ
39. Logic-Based Program Synthesis and Transformation
María Alpuente, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) / Olivier Danvy ; Ian Zerny
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) / Johann Schumann ; Karen Gate ; Alan Lee
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System / Jónathan Heras ; Vico Pascual ; Julio Rubio
Graph Generation to Statically Represent CSP Processes / Marisa Llorens ; Javier Oliver ; Josep Silva ; Salvador Tamarit
Verification of the Schorr-Waite Algorithm - From Trees to Graphs / Mathieu Giorgino ; Martin Strecker ; Ralph Matthes ; Marc Pantel
MikiBeta : A General GUI Library for Visualizing Proof Trees: System Description and Demonstration / Kanako Sakurai ; Kenichi Asai
Compositional CLP-Based Test Data Generation for Imperative Languages / Elvira Albert ; Miguel Gómez-Zamalloa ; José Miguel Rojas ; Germán Puebla
On Inductive Proofs by Extended Unfold/Fold Transformation Rules / Hirohisa Seki
Non-termination Analysis of Logic Programs Using Types / Dean Voets ; Danny De Schreye
Scaling Up Algorithmic Debugging with Virtual Execution Trees / David Insa
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation / Fabio Fioravanti ; Alberto Pettorossi ; Maurizio Proietti ; Valerio Senni
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut / Thomas Ströder ; Peter Schneider-Kamp ; Jürgen Giesl
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs / Germán Vidal
Abstract Diagnosis of First Order Functional Logic Programs / Giovanni Bacci ; Marco Comini
The First-Order Nominal Link / Christophe Calves ; Maribel Fernández
Author Index
Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) / Olivier Danvy ; Ian Zerny
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) / Johann Schumann ; Karen Gate ; Alan Lee
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System / Jónathan Heras ; Vico Pascual ; Julio Rubio
40.

電子ブック
ＥＢ
40. Evolvable Systems: From Biology to Hardware
Gianluca Tempesti, Takeo Kanade, Julian F. Miller, Andy M. Tyrrell
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evolving Digital Circuits / Session 1：
Measuring the Performance and Intrinsic Variability of Evolved Circuits / James Alfred Walker ; James A. Hilder ; Andy M. Tyrrell
An Efficient Selection Strategy for Digital Circuit Evolution / Zbyšek Gajda ; Lukáš Sekanina
Introducing Flexibility in Digital Circuit Evolution: Exploiting Undefined Values in Binary Truth Tables / Ricky D. Ledwith ; Julian F. Miller
Evolving Digital Circuits Using Complex Building Blocks / Paul Bremner ; Mohammad Samie ; Gabriel Dragffy ; Tony Pipe
Artificial Development / Session 2：
Fault Tolerance of Embryonic Algorithms in Mobile Networks / David Lowe ; Amir Mujkanovic ; Daniele Miorandi ; Lidia Yamamoto
Evolution and Analysis of a Robot Controller Based on a Gene Regulatory Network / Martin A. Trefzer ; Tüze Kuyucu ; Julian F Miller
A New Method to Find Developmental Descriptions for Digital Circuits / Mohammad Ebne-Alian ; Nawwaf Kharma
Sorting Network Development Using Cellular Automata / Michal Bidlo ; Zdenek Vasicek ; Karel Slany
GPU Platforms for Bio-inspired Algorithms / Session 3：
Markerless Articulated Human Body Tracking from Multi-view Video with GPU-PSO / Luca Mussi ; Spela Ivekovic ; Stefano Cagnoni
Evolving Object Detectors with a GPU Accelerated Vision System / Marc Ebner
Systemic Computation Using Graphics Processors / Marjan Rouhipour ; Peter J. Bentley ; Hooman Shayani
Implementations and Applications of Neural Networks / Session 4：
An Efficient, High-Throughput Adaptive NoC Router for Large Scale Spiking Neural Network Hardware Implementations / Snaider Carrillo ; Jim Harkin ; Liam McDaid ; Sandeep Pande ; Fearghal Morgan
Performance Evaluation and Scaling of a Multiprocessor Architecture Emulating Complex SNN Algorithms / Giovanny Sánchez ; Jordi Madrenas ; Juan Manuel Moreno
Evolution of Analog Circuit Models of Ion Channels / Theodore W. Cornforth ; Kyung-Joong Kim ; Hod Lipson
HyperNEAT for Locomotion Control in Modular Robots / Evert Haasdijk ; Andrei A. Rusu ; A.E. Eiben
Test, Repair and Reconfiguration Using Evolutionary Algorithms / Session 5：
The Use of Genetic Algorithm to Reduce Power Consumption during Test Application / Jaroslav Skarvada ; Zdenek Kotasek ; Josef Strnadel
Designing Combinational Circuits with an Evolutionary Algorithm Based on the Repair Technique / Houjun Liang ; Wenjian Luo ; Zhifang Li ; Xufa Wang
Bio-inspired Self-testing Configurable Circuits / André Stauffer ; Joël Rossier
Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time / Jirí Šimácek ; Lukáš Starecek
Applications of Evolutionary Algorithms in Hardware / Session 6：
Extrinsic Evolution of Fuzzy Systems Applied to Disease Diagnosis / Carlos Pena
Automatic Code Generation on a MOVE Processor Using Cartesian Genetic Programming / Yang Liu ; Gianluca Tempesti
Coping with Resource Fluctuations: The Run-time Reconfigurable Functional Unit Row Classifier Architecture / Tobias Knieper ; Paul Kaufmann ; Kyrre Glette ; Marco Platzner ; Jim Torresen
Reconfigurable Hardware Platforms / Session 7：
A Self-reconfigurable FPGA-Based Platform for Prototyping Future Pervasive Systems / Jean-Marc Philippe ; Benoît Tain ; Christian Gamrat
The X2 Modular Evolutionary Robotics Platform / Mats Hovin
Ubichip, Ubidule, and MarXbot: A Hardware Platform for the Simulation of Complex Systems / Andres Upegui ; Yann Thoma ; Héctor F. Satizábal ; Francesco Mondada ; Philippe Rétornaz ; Yoan Graf ; Andres Perez-Uribe ; Eduardo Sanchez
Implementation of a Power-Aware Dynamic Fault Tolerant Mechanism on the Ubichip Platform / Kotaro Kobayashi
Applications of Evolution to Technology / Session 8：
Automatic Synthesis of Lossless Matching Networks / Leonardo Bruno de Sá ; Pedro da Fonseca Vieira ; Antonio Mesquita
A Novel Approach to Multi-level. Evolutionary Design Optimization of a.MEMS Device / Michael Farnsworth ; Elhadj Benkhelifa ; Ashutosh Tiwari ; Meiling Zhu
From Binary to Continuous Gates - and Back Again / Matthias Bechmann ; Angelika Sebald ; Susan Stepney
Adaptive vs. Self-adaptive Parameters for Evolving Quantum Circuits / Cristian Ruican ; Mihai Udrescu ; Lucian Prodan ; Mircea Vladutiu
Novel Methods in Evolutionary Design / Session 9：
Imitation Programming / Larry Bull
EvoFab: A Fully Embodied Evolutionary Fabricator / John Rieffel ; Dave Sayles
Evolving Physical Self-assembling Systems in Two-Dimensions / Navneet Bhalla ; Christian Jacob
Author Index
Evolving Digital Circuits / Session 1：
Measuring the Performance and Intrinsic Variability of Evolved Circuits / James Alfred Walker ; James A. Hilder ; Andy M. Tyrrell
An Efficient Selection Strategy for Digital Circuit Evolution / Zbyšek Gajda ; Lukáš Sekanina
41.

電子ブック
ＥＢ
41. Empirical Software Engineering Issues. Critical Assessment and Future Directions
Victor R. Basili, David Hutchison, Takeo Kanade, Barbara Kitchenham, Dietmar Pfahl, Dieter Rombach, Kurt Schneider, Richard W. Selby
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
Techniques for Empirical Validation / Marvin V. Zelkowitz
Status of Empirical Research in Software Engineering / Andreas Hofer ; Walter F. Tichy
Position Papers
Aggregation of Empirical Evidence / Marcus Ciolkowski
Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations / Lionel C. Briand
New Opportunities for Empirical Research / Markku Oivo
Empirical Paradigm: Position Paper / Carolyn B. Seaman
The Value of Empirical Evidence for Practitioners and Researchers / Austen Rainer
Exploration Versus Confirmation
Empirical Paradigm - The Role of Experiments / Barbara Kitchenham
The Role of Controlled Experiments in Software Engineering Research / Victor R. Basili
Creating Real Value in Software Engineering Experiments / James Miller
From Silver Bullets to Philosophers' Stones: Who Wants to Be Just an Empiricist? / Guilherme H. Travassos
Social and Human Aspects of Software Engineering / Helen Sharp
Longitudinal Studies in Evidence-Based Software Engineering / Tracy Hall
The Use of Grounded Theory in Empirical Software Engineering / Jeffrey Carver
Historical Review
Exploration and Confirmation: An Historical Perspective / Michael S. Mahoney
Working Group Results
Combining Study Designs and Techniques Working Group Results
Optimizing Return-On-Investment (ROI) for Empirical Software Engineering Studies Working Group Results / Lutz Prechelt
The Role of Controlled Experiments Working Group Results / Andreas Jedlitschka
Discussion and Summary
The Empirical Paradigm Discussion and Summary
Measurement and Model Building / Session 2：
Measurement and Model Building Introduction
Data Sharing
Data Collection, Analysis, and Sharing Strategies for Enabling Software Measurement and Model Building / Richard W. Selby
Knowledge Acquisition in Software Engineering Requires Sharing of Data and Artifacts / Dag I.K. Sjoberg
Effective Data Interpretation
Software Support Tools and Experimental Work / Jurgen Munch ; Audris Mockus
Measurement and Interpretation of Productivity and Functional Correctness / Hakan Erdogmus
Synthesising Research Results
On the Quality of Data / Thomas Ostrand
Potential of Open Source Systems as Project Repositories for Empirical Studies Working Group Results / Nachiappan Nagappan
Data Sharing Enabling Technologies Working Group Results
Documenting Theories Working Group Results
Measurement and Model Building Discussion and Summary / Sira Vegas ; Vic Basili
Technology Transfer and Education / Session 3：
Technology Transfer and Education Introduction / Kurt Schneider
Technology Transfer
Empirical Studies as a Basis for Technology Transfer / Elaine J. Weyuker
Relationships and Responsibilities of Software Experimentation / Giovanni Cantone
The (Practical) Importance of SE Experiments / Tore Dyba
How to Improve the Use of Controlled Experiments as a Means for Early Technology Transfer
Extending Empirical Studies to Cover More Realistic Industrial Development and Project Management Issues / Marek Leszak
Empirical Case Studies in Industry: Some Thoughts
Software Process Simulation Frameworks in Support of Packaging and Transferring Empirical Evidence / Dietmar Pfahl
Structuring Families of Industrial Case Studies / Laurie Williams
Education
Empirical Software Engineering: Teaching Methods and Conducting Studies / Claes Wohlin
Educational Objectives for Empirical Methods / Natalia Juristo
On "Landscaping" and Influence of Empirical Studies / Frank Houdek
Involving Industry Professionals in Empirical Studies with Students / Letizia Jaccheri ; Sandro Morasca
Industry-Research Collaboration Working Group Results
Teaching Empirical Methods to Undergraduate Students Working Group Results / Matthias M. Muller
Technology Transfer and Education Discussion and Summary
Roadmapping
Empirical Software Engineering Research Roadmap Introduction
Roadmapping Working Group 1 Results / Ross Jeffery
Roadmapping Working Group 2 Results / Lionel Briand
Roadmapping Working Group 3 Results
Roadmapping Working Group 4 Results / Rick Selby
Empirical Software Engineering Research Roadmap Discussion and Summary
Appendix
List of Participants
Author Index
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
42.

電子ブック
ＥＢ
42. Evolvable Systems: From Biology to Hardware
Gianluca Tempesti, Takeo Kanade, Julian F. Miller, Andy M. Tyrrell, Andy Tyrrell
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evolving Digital Circuits / Session 1：
Measuring the Performance and Intrinsic Variability of Evolved Circuits / James Alfred Walker ; James A. Hilder ; Andy M. Tyrrell
An Efficient Selection Strategy for Digital Circuit Evolution / Zbyšek Gajda ; Lukáš Sekanina
Introducing Flexibility in Digital Circuit Evolution: Exploiting Undefined Values in Binary Truth Tables / Ricky D. Ledwith ; Julian F. Miller
Evolving Digital Circuits Using Complex Building Blocks / Paul Bremner ; Mohammad Samie ; Gabriel Dragffy ; Tony Pipe
Artificial Development / Session 2：
Fault Tolerance of Embryonic Algorithms in Mobile Networks / David Lowe ; Amir Mujkanovic ; Daniele Miorandi ; Lidia Yamamoto
Evolution and Analysis of a Robot Controller Based on a Gene Regulatory Network / Martin A. Trefzer ; Tüze Kuyucu ; Julian F Miller
A New Method to Find Developmental Descriptions for Digital Circuits / Mohammad Ebne-Alian ; Nawwaf Kharma
Sorting Network Development Using Cellular Automata / Michal Bidlo ; Zdenek Vasicek ; Karel Slany
GPU Platforms for Bio-inspired Algorithms / Session 3：
Markerless Articulated Human Body Tracking from Multi-view Video with GPU-PSO / Luca Mussi ; Spela Ivekovic ; Stefano Cagnoni
Evolving Object Detectors with a GPU Accelerated Vision System / Marc Ebner
Systemic Computation Using Graphics Processors / Marjan Rouhipour ; Peter J. Bentley ; Hooman Shayani
Implementations and Applications of Neural Networks / Session 4：
An Efficient, High-Throughput Adaptive NoC Router for Large Scale Spiking Neural Network Hardware Implementations / Snaider Carrillo ; Jim Harkin ; Liam McDaid ; Sandeep Pande ; Fearghal Morgan
Performance Evaluation and Scaling of a Multiprocessor Architecture Emulating Complex SNN Algorithms / Giovanny Sánchez ; Jordi Madrenas ; Juan Manuel Moreno
Evolution of Analog Circuit Models of Ion Channels / Theodore W. Cornforth ; Kyung-Joong Kim ; Hod Lipson
HyperNEAT for Locomotion Control in Modular Robots / Evert Haasdijk ; Andrei A. Rusu ; A.E. Eiben
Test, Repair and Reconfiguration Using Evolutionary Algorithms / Session 5：
The Use of Genetic Algorithm to Reduce Power Consumption during Test Application / Jaroslav Skarvada ; Zdenek Kotasek ; Josef Strnadel
Designing Combinational Circuits with an Evolutionary Algorithm Based on the Repair Technique / Houjun Liang ; Wenjian Luo ; Zhifang Li ; Xufa Wang
Bio-inspired Self-testing Configurable Circuits / André Stauffer ; Joël Rossier
Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time / Jirí Šimácek ; Lukáš Starecek
Applications of Evolutionary Algorithms in Hardware / Session 6：
Extrinsic Evolution of Fuzzy Systems Applied to Disease Diagnosis / Carlos Pena
Automatic Code Generation on a MOVE Processor Using Cartesian Genetic Programming / Yang Liu ; Gianluca Tempesti
Coping with Resource Fluctuations: The Run-time Reconfigurable Functional Unit Row Classifier Architecture / Tobias Knieper ; Paul Kaufmann ; Kyrre Glette ; Marco Platzner ; Jim Torresen
Reconfigurable Hardware Platforms / Session 7：
A Self-reconfigurable FPGA-Based Platform for Prototyping Future Pervasive Systems / Jean-Marc Philippe ; Benoît Tain ; Christian Gamrat
The X2 Modular Evolutionary Robotics Platform / Mats Hovin
Ubichip, Ubidule, and MarXbot: A Hardware Platform for the Simulation of Complex Systems / Andres Upegui ; Yann Thoma ; Héctor F. Satizábal ; Francesco Mondada ; Philippe Rétornaz ; Yoan Graf ; Andres Perez-Uribe ; Eduardo Sanchez
Implementation of a Power-Aware Dynamic Fault Tolerant Mechanism on the Ubichip Platform / Kotaro Kobayashi
Applications of Evolution to Technology / Session 8：
Automatic Synthesis of Lossless Matching Networks / Leonardo Bruno de Sá ; Pedro da Fonseca Vieira ; Antonio Mesquita
A Novel Approach to Multi-level. Evolutionary Design Optimization of a.MEMS Device / Michael Farnsworth ; Elhadj Benkhelifa ; Ashutosh Tiwari ; Meiling Zhu
From Binary to Continuous Gates - and Back Again / Matthias Bechmann ; Angelika Sebald ; Susan Stepney
Adaptive vs. Self-adaptive Parameters for Evolving Quantum Circuits / Cristian Ruican ; Mihai Udrescu ; Lucian Prodan ; Mircea Vladutiu
Novel Methods in Evolutionary Design / Session 9：
Imitation Programming / Larry Bull
EvoFab: A Fully Embodied Evolutionary Fabricator / John Rieffel ; Dave Sayles
Evolving Physical Self-assembling Systems in Two-Dimensions / Navneet Bhalla ; Christian Jacob
Author Index
Evolving Digital Circuits / Session 1：
Measuring the Performance and Intrinsic Variability of Evolved Circuits / James Alfred Walker ; James A. Hilder ; Andy M. Tyrrell
An Efficient Selection Strategy for Digital Circuit Evolution / Zbyšek Gajda ; Lukáš Sekanina
43.

電子ブック
ＥＢ
43. Empirical Software Engineering Issues. Critical Assessment and Future Directions
Victor R. Basili, David Hutchison, Takeo Kanade, Barbara Kitchenham, Dietmar Pfahl, Dieter Rombach, Kurt Schneider, Richard W. Selby, Richard Selby
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
Techniques for Empirical Validation / Marvin V. Zelkowitz
Status of Empirical Research in Software Engineering / Andreas Hofer ; Walter F. Tichy
Position Papers
Aggregation of Empirical Evidence / Marcus Ciolkowski
Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations / Lionel C. Briand
New Opportunities for Empirical Research / Markku Oivo
Empirical Paradigm: Position Paper / Carolyn B. Seaman
The Value of Empirical Evidence for Practitioners and Researchers / Austen Rainer
Exploration Versus Confirmation
Empirical Paradigm - The Role of Experiments / Barbara Kitchenham
The Role of Controlled Experiments in Software Engineering Research / Victor R. Basili
Creating Real Value in Software Engineering Experiments / James Miller
From Silver Bullets to Philosophers' Stones: Who Wants to Be Just an Empiricist? / Guilherme H. Travassos
Social and Human Aspects of Software Engineering / Helen Sharp
Longitudinal Studies in Evidence-Based Software Engineering / Tracy Hall
The Use of Grounded Theory in Empirical Software Engineering / Jeffrey Carver
Historical Review
Exploration and Confirmation: An Historical Perspective / Michael S. Mahoney
Working Group Results
Combining Study Designs and Techniques Working Group Results
Optimizing Return-On-Investment (ROI) for Empirical Software Engineering Studies Working Group Results / Lutz Prechelt
The Role of Controlled Experiments Working Group Results / Andreas Jedlitschka
Discussion and Summary
The Empirical Paradigm Discussion and Summary
Measurement and Model Building / Session 2：
Measurement and Model Building Introduction
Data Sharing
Data Collection, Analysis, and Sharing Strategies for Enabling Software Measurement and Model Building / Richard W. Selby
Knowledge Acquisition in Software Engineering Requires Sharing of Data and Artifacts / Dag I.K. Sjoberg
Effective Data Interpretation
Software Support Tools and Experimental Work / Jurgen Munch ; Audris Mockus
Measurement and Interpretation of Productivity and Functional Correctness / Hakan Erdogmus
Synthesising Research Results
On the Quality of Data / Thomas Ostrand
Potential of Open Source Systems as Project Repositories for Empirical Studies Working Group Results / Nachiappan Nagappan
Data Sharing Enabling Technologies Working Group Results
Documenting Theories Working Group Results
Measurement and Model Building Discussion and Summary / Sira Vegas ; Vic Basili
Technology Transfer and Education / Session 3：
Technology Transfer and Education Introduction / Kurt Schneider
Technology Transfer
Empirical Studies as a Basis for Technology Transfer / Elaine J. Weyuker
Relationships and Responsibilities of Software Experimentation / Giovanni Cantone
The (Practical) Importance of SE Experiments / Tore Dyba
How to Improve the Use of Controlled Experiments as a Means for Early Technology Transfer
Extending Empirical Studies to Cover More Realistic Industrial Development and Project Management Issues / Marek Leszak
Empirical Case Studies in Industry: Some Thoughts
Software Process Simulation Frameworks in Support of Packaging and Transferring Empirical Evidence / Dietmar Pfahl
Structuring Families of Industrial Case Studies / Laurie Williams
Education
Empirical Software Engineering: Teaching Methods and Conducting Studies / Claes Wohlin
Educational Objectives for Empirical Methods / Natalia Juristo
On "Landscaping" and Influence of Empirical Studies / Frank Houdek
Involving Industry Professionals in Empirical Studies with Students / Letizia Jaccheri ; Sandro Morasca
Industry-Research Collaboration Working Group Results
Teaching Empirical Methods to Undergraduate Students Working Group Results / Matthias M. Muller
Technology Transfer and Education Discussion and Summary
Roadmapping
Empirical Software Engineering Research Roadmap Introduction
Roadmapping Working Group 1 Results / Ross Jeffery
Roadmapping Working Group 2 Results / Lionel Briand
Roadmapping Working Group 3 Results
Roadmapping Working Group 4 Results / Rick Selby
Empirical Software Engineering Research Roadmap Discussion and Summary
Appendix
List of Participants
Author Index
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
44.

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

電子ブック
ＥＢ
45. Model Checking Software
Jaco Pol, Takeo Kanade, Michael Weber
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Satisfiability Modulo Theories for Model Checking
SMT-Based Software Model Checking (Invited Talk) / Alessandro Cimatti
Symbolic Object Code Analysis / Jan Tobias Mühlberg ; Gerald Lüttgen
Model Checking in Context
Experimental Comparison of Concolic and Random Testing for Java Card Applets / Kari Kähkönen ; Roland Kindermann ; Keijo Heljanko ; Ilkka Niemelä
Combining SPIN with ns-2 for Protocol Optimization / Pedro Merino ; Alberto Salmerón
Automatic Generation of Model Checking Scripts Based on Environment Modeling / Kenro Yatake ; Toshiaki Aoki
Implementation and Performance of Model Checking
Model Checking: Cleared for Take Off (Invited Talk) / Darren Cofer
Context-Enhanced Directed Model Checking / Martin Wehrle ; Sebastian Kupferschmid
Efficient Explicit-State Model Checking on General Purpose Graphics Processors / Stefan Edelkamp ; Damian Sulewski
The SpinJa Model Checker (Tool Presentation) / Marc de Jonge ; Theo C. Ruys
LTL and Büchi Automata
On the Virtue of Patience: Minimizing Büchi Automata / Rüdiger Ehlers ; Bernd Finkbeiner
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance / Maja Pešic ; Dragan Bošnacki ; Wil M.P. van der Aalst
Nevertrace Claims for Model Checking / Zhe Chen ; Gilles Motet
Infinite State Models
A False History of True Concurrency: From Petri to Tools (Invited Talk) / Javier Esparza
Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation) / Matthew Hague ; C.-H. Luke Ong
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains / Georgel Calin ; Pepijn Crouzen ; Pedro R. D'Argenio ; E. Moritz Hahn ; Lijun Zhang
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models / Alexander Linden ; Pierre Wolper
Concurrent Software
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation / Naghmeh Ghafari ; Alan J. Hu ; Zvonimir Rakamaric
One Stack to Run Them All: Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling / Nicholas Kidd ; Suresh Jagannathan ; Jan Vitek
Author Index
Satisfiability Modulo Theories for Model Checking
SMT-Based Software Model Checking (Invited Talk) / Alessandro Cimatti
Symbolic Object Code Analysis / Jan Tobias Mühlberg ; Gerald Lüttgen
46.

電子ブック
ＥＢ
46. Architecting Dependable Systems VII
Antonio Casimiro, Cristina Gacek, Takeo Kanade, Rog?rio Lemos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Mobile and Ubiquitous Systems / Part 1：
Self-healing for Pervasive Computing Systems / Themistoklis Bourdenas ; Morris Sloman ; Emil C. Lupu
Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control / Douglas M. Blough ; Giovanni Resta ; Paolo Santi ; Mauro Leoncini
Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform / Marc-Olivier Killijian ; Matthieu Roy
Architecting Systems / Part 2：
Identification of Security Requirements in Systems of Systems by Functional Security Analysis / Andreas Fuchs ; Roland Rieke
Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns / Neil B. Harrison ; Paris Avgeriou
A Framework for Flexible and Dependable Service-Oriented Embedded Systems / Shane Brennan ; Serena Fritsch ; Yu Liu ; Ashley Sterritt ; Jorge Fox ; Éamonn Linehan ; Cormac Driver ; René Meier ; Vinny Cahill ; William Harrison ; Siobhán Clarke
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems / José Rufino ; João Craveiro ; Paulo Verissimo
Fault Management / Part 3：
Architecting Dependable Systems with Proactive Fault Management / Felix Salfner ; Miroslaw Malek
ASDF: An Automated, Online Framework for Diagnosing Performance Problems / Keith Bare ; Soila P. Kavulya ; Jiaqi Tan ; Xinghao Pan ; Eugene Marinelli ; Michael Kasick ; Rajeev Gandhi ; Priya Narasimhan
Experience and Vision / Part 4：
Is Collaborative QoS the Solution to the SOA Dependability Dilemma? / Matti A. Hiltunen ; Richard D. Schlichting
Software Assumptions Failure Tolerance: Role, Strategies, and Visions / Vincenzo De Florio
Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges / Jean-Charles Fabre
Architecting and Validating Dependable Systems: Experiences and Visions / Andrea Bondavalli ; Andrea Ceccarelli ; Paolo Lollini
Author Index
Mobile and Ubiquitous Systems / Part 1：
Self-healing for Pervasive Computing Systems / Themistoklis Bourdenas ; Morris Sloman ; Emil C. Lupu
Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control / Douglas M. Blough ; Giovanni Resta ; Paolo Santi ; Mauro Leoncini
47.

電子ブック
ＥＢ
47. Requirements Engineering: Foundation for Software Quality
Daniel Berry, Xavier Franch, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1：
Supporting Requirements Engineers in Recognising Security Issues / Eric Knauss ; Siv Houmb ; Kurt Schneider ; Shareeful Islam ; Jan Jürjens
Discovering Sustainability Requirements: An Experience Report / Martin Mahaux ; Patrick Heymans ; Germain Saval
Process Improvement and Requirements in Context / Session 2：
Requirements Engineering Process Improvement: An Industrial Case Study / Georgi A. Markov ; Anne Hoffmann ; Oliver Creighton
Requirements for a Nutrition Education Demonstrator / Ing Widya ; Richard Bults ; Rene de Wijk ; Ben Loke ; Nicole Koenderink ; Ricardo Batista ; Val Jones ; Hermie Hermens
Scaling Up Requirements Engineering - Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development / Krzysztof Wnuk ; Björn Regnell ; Brian Berenbach
Elicitation / Session 3：
Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research / Thorsten Merten ; Kim Lauenroth ; Simone Bürsner
Research Preview: Supporting End-User Requirements Elicitation Using Product Line Variability Models / Deepak Dhungana ; Norbert Seyff ; Florian Graf
Interview Patterns for Requirements Elicitation / Lauri Ann Scheinholtz ; Ilona Wilmont
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment / Sascha El-Sharkawy ; Klaus Schmid
Models / Session 4：
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview / Nauman A. Qureshi ; Anna Perini
Flexible Sketch-Based Requirements Modeling / Dustin Wüest ; Martin Glinz
Use Cases versus Task Descriptions / Soren Laueson ; Mohammad A. Kuhail
Services / Session 5：
Is It Beneficial to Match Reusable Services Earlier? / Martin Henkel ; Erik Perjons ; Sebastian Adam ; Oezguer Uenalan ; Norman Riegel12：
Embedded and Real-Time Systems / Session 6：
Requirements Engineering for Embedded Systems: An Investigation of Industry Needs / Ernst Sikora ; Bastian Tenbergen ; Klaus Pohl
Applying Restricted English Grammar on Automotive Requirements-Does it Work? A Case Study / Amalinda Post ; Igor Menzel ; Andreas Podelski
Prioritization and Traceability / Session 7：
Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature / Zornitza Bakalova ; Maya Daneva ; Andrea Herrmann ; Roel Wieringa
Mining Requirements Links / Vincenzo Gervasi ; Didar Zowghi
Clustering Stakeholders for Requirements Decision Making / Varsha Veerappa ; Emmanuel Letier
Author Index
Keynote
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1：
48.

電子ブック
ＥＢ
48. Formal Methods: Foundations and Applications
Jim Davies, Takeo Kanade, Leila Silva, Adenilso Simao, Adenilso Sim?o
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
A High-Level Language for Modeling Algorithms and Their Properties / Sabina Akhtar ; Stephan Merz ; Martin Quinson
A Formal Environment Model for Multi-Agent Systems / Paulo Salem da Silva ; Ana C. V. de Melo
A Modal Interface Theory with Data Constraints / Sebastian S. Bauer ; Rolf Hennicker ; Michel Bidoit
Synchronizing Model and Program Refactoring / Tiago Massoni ; Rohit Gheyi ; Paulo Borba
A Type-Theoretic Framework for Certified Model Transformations / Daniel Calegari ; Carlos Luna ; Nora Szasz ; Álvaro Tasistro
Simulating Truly Concurrent CSP / Moritz Kleine ; J. W. Sanders
Statistical Verification of Probabilistic Properties with Unbounded Until / HÃ¥kan L.S. Younes ; Edmund M. Clarke ; Paolo Zuliani
Reasoning about Assignments in Recursive Data Structures / Alejandro Tamalet ; Ken Madlener
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned / Abderrahman Matoussi ; Frédéric Gervais ; Régine Laleau
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence / Eduardo Mazza ; Marie-Laure Potet ; Daniel Le Métayer
Formal Development of a Cardiac Pacemaker: From Specification to Code / Artur O. Gomes ; Marcel V.M. Oliveira
A Decision Procedure for Bisimilarity of Generalized Regular Expressions / Marcello Bonsangue ; Georgiana Caltais ; Eugen-Ioan Goriac ; Dorel Lucanu ; Jan Rutten ; Alexandra Silva
Normalization of Linear Horn Clauses / Thomas Martin Gawlitza ; Helmut Seidl ; Kumar Neeraj Verma
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs / Zhiming Liu ; Charles Morisset ; Shuling Wang
Automating Refinement of Circus Programs / Frank Zeyda ; Ana Cavalcanti
Author Index
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
49.

電子ブック
ＥＢ
49. Architecting Dependable Systems IV
Rog?rio Lemos, Cristina Gacek, Takeo Kanade, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Architectural Description Languages / Part 1：
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language / Philippe Cuenot ; DeJiu Chen ; Sebastien Gerard ; Henrik Lonn ; Mark-Oliver Reiser ; David Servat ; Ramin Tavakoli Kolagari ; Martin Torngren ; Matthias Weber
The View Glue / Alek Radjenovic ; Richard Paige
Architectural Components and Patterns / Part 2：
A Component-Based Approach to Verification and Validation of Formal Software Models / Dejan Desovski ; Bojan Cukic
A Pattern-Based Approach for Modeling and Analyzing Error Recovery / Ali Ebnenasir ; Betty H.C. Cheng
Architectural Fault Tolerance Using Exception Handling / Rogerio de Lemos
Model-Centric Development of Highly Available Software Systems / Rick Buskens ; Oscar Gonzalez
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems / Lars Grunske ; Peter Lindsay ; Egor Bondarev ; Yiannis Papadopoulos ; David Parker
Architecting Distributed Systems / Part 3：
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level / Paola Inverardi ; Leonardo Mostarda
Architecting Dynamic Reconfiguration in Dependable Systems / Antonio Tadeu A. Gomes ; Thais V. Batista ; Ackbar Joolia ; Geoff Coulson
Ecotopia: An Ecological Framework for Change Management in Distributed Systems / Tudor Dumitras ; Daniela Rosu ; Asit Dan ; Priya Narasimhan
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems / Antonio Casimiro ; Jorg Kaiser ; Paulo Verissimo
Flexible Communication Architecture for Dependable Time-Triggered Systems / Christoph Heller ; Josef Schalk ; Stefan Schneele ; Maria Sorea ; Sebastian Voss
Business Process Monitoring for Dependability / Luciano Baresi ; Sam Guinea ; Marco Plebani
Architectural Assurances for Dependability / Part 4：
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases / Patrick J. Graydon ; John C. Knight ; Elisabeth A. Strunk
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications / Weihang Wu ; Tim Kelly
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level / Hasan Sozer ; Bedir Tekinerdogan ; Mehmet Aksit
Author Index
Architectural Description Languages / Part 1：
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche
50.

電子ブック
ＥＢ
50. 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼