close
1.

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

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

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

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

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

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

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

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

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

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