close
1.

電子ブック

EB
Rogério Lemos, Cristina Gacek, Takeo Kanade, Alexander Romanovsky, Rogério de Lemos
出版情報: SpringerLink Books - AutoHoldings , 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
2.

電子ブック

EB
Rogério Lemos, Cristina Gacek, Felicita Giandomenico, Takeo Kanade, Rogério de Lemos, Henry Muccini, Marlon Vieira
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
3.

電子ブック

EB
Rogério Lemos, Maurice Beek, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Takeo Kanade, Maurice H. ter Beek
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
4.

電子ブック

EB
Antonio Casimiro, Cristina Gacek, Takeo Kanade, Rogério Lemos, Rogério de Lemos
出版情報: SpringerLink Books - AutoHoldings , 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
5.

電子ブック

EB
Danny Weyns, Jesper Andersson, Takeo Kanade, Rogério Lemos, Sam Malek, Rogério de Lemos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
6.

電子ブック

EB
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Takeo Kanade, Rogério Lemos, Jeff Magee, Rogério de Lemos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼