close
1.

電子ブック
ＥＢ
1. Software Configuration Management Using Vesta
David Gries, Allan Heydon, Clark Allan Heydon, Fred B. Schneider
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introducing Vesta / Part I：
Introduction / 1：
Some Scenarios / 1.1：
The Configuration Management Challenge / 1.2：
The Vesta Response / 1.3：
Essential Background / 2：
The Unix File System / 2.1：
Naming Files and Directories / 2.1.1：
Mount Points / 2.1.2：
Links / 2.1.3：
Properties of Files / 2.1.4：
Unix Processes / 2.2：
The Unix Shell / 2.3：
The Unix Programming Environment / 2.4：
Make / 2.5：
The Architecture of Vesta / 3：
System Components / 3.1：
Source Management Components / 3.1.1：
Build Components / 3.1.2：
Storage Components / 3.1.3：
Models and Modularity / 3.1.4：
Vesta's Core Properties / 3.2：
The User's View of Vesta / Part II：
Managing Sources and Versions / 4：
Names and Versions / 4.1：
The Source Name Space / 4.1.1：
Versioning / 4.1.2：
Naming Files and Packages / 4.1.3：
The Development Cycle / 4.2：
The Outer Loop / 4.2.1：
The Inner Loop / 4.2.2：
Detailed Operation of the Repository Tools / 4.2.3：
Version Control Alternatives / 4.2.4：
Additional Repository Tools / 4.2.5：
Mutable Files and Directories / 4.2.6：
Replication / 4.3：
Global Name Space / 4.3.1：
A Replication Example / 4.3.2：
The Replicator / 4.3.3：
Cross-Repository Check-out / 4.3.4：
Repository Metadata / 4.4：
Mutable Attributes / 4.4.1：
Access Control / 4.4.2：
Metadata and Replication / 4.4.3：
System Description Language / 5：
Motivation / 5.1：
Language Highlights / 5.2：
The Environment Parameter / 5.2.1：
Bindings / 5.2.2：
Tool Encapsulation / 5.2.3：
Closures / 5.2.4：
Imports / 5.2.5：
Building Systems in Vesta / 6：
The Organization of System Models / 6.1：
Hierarchies of System Models / 6.2：
Bridges and the Standard Environment / 6.2.1：
Library Models / 6.2.2：
Application Models / 6.2.3：
Putting It All Together / 6.2.4：
Control Panel Models / 6.2.5：
Customizing the Build Process / 6.3：
Handling Large Scale Software / 6.4：
Inside Vesta / Part III：
Inside the Repository / 7：
Support for Evaluation and Caching / 7.1：
Derived Files and Shortids / 7.1.1：
Evaluator Directories and Volatile Directories / 7.1.2：
Fingerprints / 7.1.3：
Inside the Repository Implementation / 7.2：
Directory Implementation / 7.2.1：
Shortids and Files / 7.2.2：
Longids / 7.2.3：
Copy-on-Write / 7.2.4：
NFS Interface / 7.2.5：
RPC Interfaces / 7.2.6：
Implementing Replication / 7.3：
Mastership / 7.3.1：
Agreement / 7.3.2：
Agreement-Preserving Primitives / 7.3.3：
Propagating Attributes / 7.3.4：
Incremental Building / 8：
Overview of Function Caching / 8.1：
Caching and Dynamic Dependencies / 8.2：
The Function Cache Interface / 8.3：
Computing Fine-Grained Dependencies / 8.4：
Representing Dependencies / 8.4.1：
Caching External Tool Invocations / 8.4.2：
Caching User-Defined Function Evaluations / 8.4.3：
Caching System Model Evaluations: A Special Case / 8.4.4：
Error Handling / 8.5：
Function Cache Implementation / 8.6：
Cache Lookup / 8.6.1：
Cache Entry Storage / 8.6.2：
Synchronization / 8.6.3：
Evaluation and Caching in Action / 8.7：
Scratch Build of the Standard Environment / 8.7.1：
Scratch Build of the Vesta Umbrella Library / 8.7.2：
Scratch and Incremental Builds of the Evaluator / 8.7.3：
Weeder / 9：
How Deletion is Specified / 9.1：
Implementation of the Weeder / 9.2：
The Function Call Graph / 9.2.1：
Concurrent Weeding / 9.2.2：
Assessing Vesta / Part IV：
Competing Systems / 10：
Loosely Connected Configuration Management Tools / 10.1：
RCS / 10.1.1：
CVS / 10.1.2：
Integrated Configuration Management Systems / 10.1.3：
DSEE / 10.2.1：
ClearCASE / 10.2.2：
Other Systems / 10.3：
Vesta System Performance / 11：
Platform Configuration / 11.1：
Overall System Performance / 11.2：
Performance Comparison with Make / 11.2.1：
Performance Breakdown / 11.2.2：
Caching Analysis / 11.2.3：
Resource Usage / 11.2.4：
Repository Performance / 11.3：
Speed of File Operations / 11.3.1：
Disk and Memory Consumption / 11.3.2：
Speed of Repository Tools / 11.3.3：
Speed of Cross-Repository Tools / 11.3.4：
Speed of the Replicator / 11.3.5：
Function Cache Performance / 11.4：
Server Performance / 11.4.1：
Measurements of the Stable Cache / 11.4.2：
Disk and Memory Usage / 11.4.3：
Function Cache Scalability / 11.4.4：
Weeder Performance / 11.5：
Interprocess Communication / 11.6：
Conclusions / 12：
Vesta in the Real World / 12.1：
Vesta in the Future / 12.2：
SDL Reference Manual / A：
Lexical Conventions / A.1：
Meta-notation / A.2.1：
Terminals / A.2.2：
Semantics / A.3：
Value Space / A.3.1：
Type Declarations / A.3.2：
Evaluation Rules / A.3.3：
Expr / A.3.3.1：
Literal / A.3.3.2：
Id / A.3.3.3：
List / A.3.3.4：
Binding / A.3.3.5：
Select / A.3.3.6：
Block / A.3.3.7：
Stmt / A.3.3.8：
Assign / A.3.3.9：
Iterate / A.3.3.10：
FuncDef / A.3.3.11：
FuncCall / A.3.3.12：
Model / A.3.3.13：
Files / A.3.3.14：
File Name Interpretation / A.3.3.15：
Pragmas / A.3.3.17：
Primitives / A.3.4：
Functions on Type t_bool / A.3.4.1：
Functions on Type t_int / A.3.4.2：
Functions on Type t_text / A.3.4.3：
Functions on Type t_list / A.3.4.4：
Functions on Type t_binding / A.3.4.5：
Special Purpose Functions / A.3.4.6：
Type Manipulation Functions / A.3.4.7：
Tool Invocation Function / A.3.4.8：
Diagnostic Functions / A.3.4.9：
Concrete Syntax / A.4：
Grammar / A.4.1：
Ambiguity Resolution / A.4.2：
Tokens / A.4.3：
Reserved Identifiers / A.4.4：
The Vesta Web Site / B：
References
Index
Preface
Introducing Vesta / Part I：
Introduction / 1：
2.

電子ブック
ＥＢ
2. Global Computing
GC 2004, Takeo Kanade, Corrado Priami, Paola Quaglia
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Agent-Oriented Software Engineering V
James Odell, Paolo Giorgini, Takeo Kanade, J?rg P. M?ller, James J. Odell, J?��rg, P. M??ller
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Traian Muntean
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Software Engineering for Multi-Agent Systems III
David Hutchison, Ricardo Choren, Takeo Kanade, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Scientific Engineering of Distributed Java Applications
David Hutchison, Nicolas Guelfi, Takeo Kanade, Gianna Reggio, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. UML Modeling Languages and Applications
David Hutchison, Nuno Jardim Nunes, Takeo Kanade, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Formal Approaches to Software Testing
David Hutchison, Jens Grabowski, Takeo Kanade, Brian Nielsen
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Fundamental Approaches to Software Engineering
FASE 2005, Maura Cerioli, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Software Engineering and Middleware
SEM 2004, Thomas Gschwind, Takeo Kanade, Cecilia Mascolo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Dependable Computing - EDCC 5
European Dependable Computing Conference, Mario Dal Cin, Takeo Kanade, Mohamed Ka??niche, Andr??s Pataricza
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. ZB 2005: Formal Specification and Development in Z and B
Helen Treharne, Martin Henson, Takeo Kanade, Steve King, Steve Schneider
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Operational Semantics for Timed Systems
Heinrich Rust, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Coordination Models and Languages
COORDINATIONS 2005, Jean-Marie Jacquet, Takeo Kanade, Gian Pietro Picco
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Formal Methods for Mobile Computing
Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Bogliolo, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Rapid Integration of Software Engineering Techniques
RISE 2004, Nicolas Guelfi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Component-Based Software Engineering
CBSE 2005, George T. Heineman, Takeo Kanade, Association for Computing Machinery-Digital Library., George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations / Lars Grunske ; Bernhard Kaiser ; Yiannis Papadopoulos
Optimizing Resource Usage in Component-Based Real-Time Systems / Johan Fredriksson ; Kristian Sandström ; Mikael Åkerholm
Evaluating Performance Attributes of Layered Software Architecture / Vibhu Saujanya Sharma ; Pankaj Jalote ; Kishor S. Trivedi
Component-Level Dataflow Analysis / Atanas Rountev
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition / Bert Lagaisse ; Wouter Joosen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Components at Work
A CCA-compliant Nuclear Power Plant Simulator Kernel / Manuel Díaz ; Daniel Garrido ; Sergio Romero ; Bartolomé Rubio ; Enrique Soler ; José M. Troya
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
18.

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

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

電子ブック
ＥＢ
20. B 2007: Formal Specification and Development in B
Jacques Julliand, Takeo Kanade, Olga Kouchnarenko
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Balancing Agility and Formalism in Software Engineering
Bertrand Meyer, Takeo Kanade, Jerzy R. Nawrocki, Bartosz Walter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Component-Based Software Engineering
Ian Gorton, George T. Heineman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Component-Based Software Engineering
Michel R. V. Chaudron, Takeo Kanade, Ralf Reussner, Clemens Szyperski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Conceptual Modeling - ER 2008
Qing Li, Takeo Kanade, Antoni Oliv?, Stefano Spaccapietra, Eric Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Gr?goire, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Institut national de recherche en informatique et en automatique (France)
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
26.

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

電子ブック
ＥＢ
27. Coordination Models and Languages
Doug Lea, Takeo Kanade, Douglas Lea, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Coordination Models and Languages
Paolo Ciancarini, Takeo Kanade, Herbert Wiklicky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
29.

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

電子ブック
ＥＢ
30. Dependable Systems: Software, Computing, Networks
J?rg Kohlas, Takeo Kanade, J??urg Kohlas, Bertrand Meyer, Andrae Schiper, Andr? Schiper
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Distributed Applications and Interoperable Systems
Ren? Meier, Takeo Kanade, Sotirios Terzis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Distributed Applications and Interoperable Systems
Frank Eliassen, Takeo Kanade, Alberto Montresor
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. FM 2006: Formal Methods
Jayadev Misra, Takeo Kanade, Tobias Nipkow, Emil Sekerinski
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
The Embedded Systems Design Challenge / Thomas A. Henzinger ; Joseph Sifakis
Interactive Verification
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse / Gerhard Schellhorn ; Holger Grandy ; Dominik Haneberg ; Wolfgang Reif
Interactive Verification of Medical Guidelines / Jonathan Schmitt ; Alwin Hoffmann ; Michael Balser ; Mar Marcos
Certifying Airport Security Regulations Using the Focal Environment / David Delahaye ; Jean-Frederic Etienne ; Veronique Viguie Donzeau-Gouge
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study / Shinya Umeno ; Nancy Lynch
Validating the Microsoft Hypervisor / Ernie Cohen
Formal Modelling of Systems
Interface Input/Output Automata / Kim G. Larsen ; Ulrik Nyman ; Andrzej Wasowski
Properties of Behavioural Model Merging / Greg Brunet ; Marsha Chechik ; Sebastian Uchitel
Automatic Translation from Circus to Java / Angela Freitas ; Ana Lucia Caneca Cavalcanti
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems / Annabelle K. McIver
Real Time
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ / Marcel Verhoef ; Peter Gorm Larsen ; Jozef Hooman
Towards Modularized Verification of Distributed Time-Triggered Systems / Jewgenij Botaschanjan ; Alexander Gruler ; Alexander Harhurin ; Leonid Kof ; Maria Spichkova ; David Trachtenherz
Industrial Experience
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer / Stefano Bacherini ; Alessandro Fantechi ; Matteo Tempestini ; Niccolo Zingoni
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach / Yujun Zheng ; Jinquan Wang ; Kan Wang ; Jinyun Xue
Specification and Refinement
Compositional Class Refinement in Object-Z / Tim McComb ; Graeme Smith
A Proposal for Records in Event-B / Neil Evans ; Michael Butler
Pointfree Factorization of Operation Refinement / Jose Nuno Oliveira ; Cesar Jesus Rodrigues
A Formal Template Language Enabling Metaproof / Nuno Amalio ; Susan Stepney ; Fiona Polack
Programming Languages
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (Best Paper) / Ioannis T. Kassios
Type-Safe Two-Level Data Transformation / Alcino Cunha ; Joost Visser
Algebra
Feature Algebra / Peter Hofner ; Ridha Khedri ; Bernhard Moller
Education
Using Domain-Independent Problems for Introducing Formal Methods / Raymond Boute
Compositional Binding in Network Domains / Pamela Zave
Formal Modeling of Communication Protocols by Graph Transformation / Zarrin Langari ; Richard Trefler
Feature Specification and Static Analysis for interaction Resolution / Marc Aiguier ; Karim Berkani ; Pascale Le Gall
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice / Mass Soldal Lund ; Ketil Stolen
Formal Aspects of Java
Towards Automatic Exception Safety Verification / Xin Li ; H. James Hoover ; Piotr Rudnicki
Enforcer - Efficient Failure Injection / Cyrille Valentin Artho ; Armin Biere ; Shinichi Honiden
Automated Boundary Test Generation from JML Specifications / Fabrice Bouquet ; Frederic Dadeau ; Bruno Legeard
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic / Wojciech Mostowski
Formal Verification of a C Compiler Front-End / Sandrine Blazy ; Zaynah Dargaye ; Xavier Leroy
A Memory Model Sensitive Checker for C# / Thuan Quang Huynh ; Abhik Roychoudhury
Changing Programs Correctly: Refactoring with Specifications / Fabian Bannwart ; Peter Muller
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic / Viorel Preoteasa
Model Checking
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking / Wendy Johnston ; Kirsten Winter ; Lionel van den Berg ; Paul Strooper ; Peter Robinson
Exact and Approximate Strategies for Symmetry Reduction in Model Checking / Alastair F. Donaldson ; Alice Miller
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces / Alexandre Genon ; Thierry Massart ; Cedric Meuter
PSL Model Checking and Run-Time Verification Via Testers / Amir Pnueli ; Aleksandr Zaks
Industry Day: Abstracts of Invited Talks
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline / Werner Stephan
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche / David von Oheimb
Connector-Based Software Development: Deriving Secure Protocols / Dusko Pavlovic
Model-Based Security Engineering for Real / Jan Jurjens
Cost Effective Software Engineering for Security / D. Randolph Johnson
Formal Methods and Cryptography / Michael Backes ; Birgit Pfitzmann ; Michael Waidner
Verified Software Grand Challenge / Jim Woodcock
Author Index
Invited Talk
The Embedded Systems Design Challenge / Thomas A. Henzinger ; Joseph Sifakis
Interactive Verification
34.

電子ブック
ＥＢ
34. FM 2008: Formal Methods
Jorge Cuellar, Takeo Kanade, Thomas S. E. Maibaum, Tom Maibaum, Kaisa Sere
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Formal Approaches to Software Testing
Wolfgang Grieskamp, Takeo Kanade, Carsten Weise
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Takeo Kanade, Manuel N???�}ez, Grigore Ro?�u, Burkhart Wolff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Formal Methods and Software Engineering
Zhiming Liu, Jifeng He, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
Program Verification Through Computer Algebra / Chaochen Zhou
JML's Rich, Inherited Specifications for Behavioral Subtypes / Gary T. Leavens
Three Perspectives in Formal Engineering / John McDermid ; Andy Galloway
Specification and Verification
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces / Bernhard Beckert ; Gerd Beuster
Applying Timed Interval Calculus to Simulink Diagrams / Chunqing Chen ; Jin Song Dong
Reducing Model Checking of the Few to the One / E. Allen Emerson ; Richard J. Trefler ; Thomas Wahl
Induction-Guided Falsification / Kazuhiro Ogata ; Masahiro Nakano ; Weiqiang Kong ; Kokichi Futatsugi
Verifying [chi] Models of Industrial Systems with Spin / Nikola Trcka
Stateful Dynamic Partial-Order Reduction / Xiaodong Yi ; Ji Wang ; Xuejun Yang
Internetware and Web-Based Systems
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition / Xiaoning Ding ; Jun Wei ; Tao Huang
Environment Ontology-Based Capability Specification for Web Service Discovery / Puwei Wang ; Zhi Jin ; Lin Liu
Scenario-Based Component Behavior Derivation / Yan Zhang ; Jun Hu ; Xiaofeng Yu ; Tian Zhang ; Xuandong Li ; Guoliang Zheng
Verification of Computation Orchestration Via Timed Automata / Yang Liu ; Jun Sun ; Xian Zhang
Towards the Semantics for Web Service Choreography Description Language / Jing Li ; Jifeng He ; Geguang Pu ; Huibiao Zhu
Type Checking Choreography Description Language / Hongli Yang ; Xiangpeng Zhao ; Zongyan Qiu ; Chao Cai
Concurrent, Communicating, Timing and Probabilistic Systems
Formalising Progress Properties of Non-blocking Programs / Brijesh Dongol
Towards a Fully Generic Theory of Data / Douglas A. Creager ; Andrew C. Simpson
Verifying Statemate Statecharts Using CSP and FDR / A. W. Roscoe ; Z. Wu
A Reasoning Method for Timed CSP Based on Constraint Solving / Ping Hao
Mapping RT-LOTOS Specifications into Time Petri Nets / Tarek Sadani ; Marc Boyer ; Pierre de Saqui-Sannes ; Jean-Pierre Courtiat
Reasoning Algebraically About Probabilistic Loops / Larissa Meinicke ; Ian J. Hayes
Object and Component Orientation
Formal Verification of the Heap Manager of an Operating System Using Separation Logic / Nicolas Marti ; Reynald Affeldt ; Akinori Yonezawa
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs / Bart Jacobs ; Jan Smans ; Frank Piessens ; Wolfram Schulte
Model Checking Dynamic UML Consistency / Quan Long
Testing and Model Checking
Conditions for Avoiding Controllability Problems in Distributed Testing / Jessica Chen ; Lihua Duan
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm / Samira Tasharofi ; Sepand Ansari ; Marjan Sirjani
Checking the Conformance of Java Classes Against Algebraic Specifications / Isabel Nunes ; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu ; Luis S. Reis
Incremental Slicing / Heike Wehrheim
Assume-Guarantee Software Verification Based on Game Semantics / Aleksandar Dimovski ; Ranko Lazic
Optimized Execution of Deterministic Blocks in Java PathFinder / Marcelo d'Amorim ; Ahmed Sobeih ; Darko Marinov
Tools
A Tool for a Formal Pattern Modeling Language / Soon-Kyeong Kim ; David Carrington
An Open Extensible Tool Environment for Event-B / Jean-Raymond Abrial ; Michael Butler ; Stefan Hallerstede ; Laurent Voisin
Tool for Translating Simulink Models into Input Language of a Model Checker / Meenakshi B. ; Abhishek Bhatnagar ; Sudeepa Roy
Fault-Tolerance and Security
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices / Tim McComb ; Luke Wildman
A Language for Modeling Network Availability / Luigia Petre ; Kaisa Sere ; Marina Walden
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems / J. Christian Attiogbe
Specification and Refinement
Issues in Implementing a Model Checker for Z / John Derrick ; Siobhan North ; Tony Simons
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking / Leo Freitas ; Ana Cavalcanti ; Jim Woodcock
Discovering Likely Method Specifications / Nikolai Tillmann ; Feng Chen
Time Aware Modelling and Analysis of Multiclocked VLSI Systems / Tomi Westerlund ; Juha Plosila
SALT-Structured Assertion Language for Temporal Logic / Andreas Bauer ; Martin Leucker ; Jonathan Streit
Author Index
Keynote Talks
Program Verification Through Computer Algebra / Chaochen Zhou
JML's Rich, Inherited Specifications for Behavioral Subtypes / Gary T. Leavens
38.

電子ブック
ＥＢ
38. Formal Methods and Stochastic Models for Performance Evaluation
Andr?s Horv?th, Takeo Kanade, Mikl?s Telek
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Formal Methods and Testing
Robert M. Hierons, Jonathan P. Bowen, Jonathan Peter Bowen, Mark Harman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
40.

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

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

電子ブック
ＥＢ
42. Formal Methods for Computational Systems Biology
Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Lectures / Part I：
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman
Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher
Simulation Methods in Systems Biology / Daniel T. Gillespie
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero
Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson
Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston
The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel
BISCA Talks / Part II：
Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni
The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro
Author Index
Regular Lectures / Part I：
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
43.

電子ブック
ＥＢ
43. Formal Methods for Hardware Verification
Marco Bernardo, Alessandro Cimatti, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Formal Methods for Industrial Critical Systems
Stefan Leue, Pedro Merino
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Fundamental Approaches to Software Engineering
Luciano Baresi, Reiko Heckel, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Fundamental Approaches to Software Engineering
Jos? Luiz Fiadeiro, Paola Inverardi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Generative and Transformational Techniques in Software Engineering
Ralf L?mmel, Takeo Kanade, Ral L??ammel, Jo?a Saraiva, Jo?o Saraiva, Joos Visser, Joost Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Generative and Transformational Techniques in Software Engineering II
Ralf L?mmel, Takeo Kanade, Jo?o Saraiva, Joost Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Full Tutorials / I：
Design Space of Heterogeneous Synchronization / Michal Antkiewicz ; Krzysztof Czarnecki
Software Reuse beyond Components with XVCL (Tutorial) / Stan Jarzabek
QL: Object-Oriented Queries Made Easy / Oege de Moor ; Damien Sereni ; Mathieu Verbaere ; Elnar Hajiyev ; Pavel Avgustinov ; Torbjorn Ekman ; Neil Ongkingco ; Julian Tibble
Transforming Data by Calculation / Jose N. Oliveira
How to Write Fast Numerical Code: A Small Introduction / Srinivas Chellappa ; Franz Franchetti ; Markus Puschel
A Gentle Introduction to Multi-stage Programming, Part II / Walid Taha
WebDSL: A Case Study in Domain-Specific Language Engineering / Eelco Visser
Short Tutorials / II：
Model-Driven Engineering of Rules for Web Services / Marko Ribaric ; Dragan Gasevic ; Milan Milanovic ; Adrian Giurca ; Sergey Lukichev ; Gerd Wagner
An Introduction to Context-Oriented Programming with ContextS / Robert Hirschfeld ; Pascal Costanza ; Michael Haupt
A Landscape of Bidirectional Model Transformations / Perdita Stevens
Evolving a DSL Implementation / Laurence Tratt
Adding Dimension Analysis to Java as a Composable Language Extension (Extended Abstract) / Eric Van Wyk ; Yogesh Mali
Participants Contributions / III：
Model Transformations for the Compilation of Multi-processor Systems-on-Chip / Eric Piel ; Philippe Marquet ; Jean-Luc Dekeyser
Implementation of a Finite State Machine with Active Libraries in C++ / Zoltan Juhasz ; Adam Sipos ; Zoltan Porkolab
Automated Merging of Feature Models Using Graph Transformations / Sergio Segura ; David Benavides ; Antonio Ruiz-Cortes ; Pablo Trinidad
Modelling the Operational Semantics of Domain-Specific Modelling Languages / Guido Wachsmuth
Author Index
Full Tutorials / I：
Design Space of Heterogeneous Synchronization / Michal Antkiewicz ; Krzysztof Czarnecki
Software Reuse beyond Components with XVCL (Tutorial) / Stan Jarzabek
49.

電子ブック
ＥＢ
49. Hardware and Software: Verification and Testing
Karen Yorav, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Hardware and Software, Verification and Testing
Shmuel Ur, Eyal Bin, Takeo Kanade, Yaron Wolfsthal
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼