close
1.

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

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

電子ブック
ＥＢ
3. Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff B. Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Software Engineering for Multi-Agent Systems IV
Alessandro Garcia, Ricardo Choren, Paolo Giorgini, Tom Holvoet, Takeo Kanade, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
An Adaptive Distributed Layout for Multi-agent Applications / Koenraad Mertens
Self-organizing Approaches for Large-Scale Spray Multiagent Systems / Marco Mamei ; Franco Zambonelli
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research / Andrea Omicini ; Alessandro Ricci ; Mirko Viroli
Modeling
Analysis and Design of Physical and Social Contexts in Multi-agent Systems / Florian Klein ; Holger Giese
Engineering Organization-Based Multiagent Systems / Scott A. DeLoach
Developing and Evaluating a Generic Metamodel for MAS Work Products / Ghassan Beydoun ; César Gonzalez-Perez ; Brian Henderson-Sellers ; G. Low
Agent Roles, Qua Individuals and the Counting Problem / Giancarlo Guizzardi
Requirements and Software Architecture
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems / Josh Dehlinger ; Robyn R. Lutz
Characterization and Evaluation of Multi-agent System Architectural Styles / Paul Davidsson ; Stefan Johansson ; Mikael Svahnberg
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes / Christopher Cheong ; Michael Winikoff
Patterns for Modelling Agent Systems with Tropos / Haralambos Mouratidis ; Michael Weiss
Dependability
On the Use of Formal Specifications as Part of Running Programs / Giovanna Di Marzo Serugendo
Adaptive Replication of Large-Scale Multi-agent Systems - Towards a Fault-Tolerant Multi-agent Platform / Zahia Guessoum ; Nora Faci ; Jean-Pierre Briot
Author Index
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
5.

電子ブック
ＥＢ
5. Methods, Models and Tools for Fault Tolerance
Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa
Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn
Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes
Fault Tolerance: Modelling in B / Part II：
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav
Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius
Fault Tolerance in System Development Process / Part III：
Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau
Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle
Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook
Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi
Fault Tolerant Applications / Part IV：
Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko
Author Index
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
6.

電子ブック
ＥＢ
6. Advanced Topics in Exception Handling Techniques
Christophe Dony, Takeo Kanade, J?rgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Programming Languages
Bound Exceptions in Object-Oriented Programming / Peter A. Buhr ; Roy Krischer
Exception-Handling Bugs in Java and a Language Extension to Avoid Them / Westley Weimer
Concurrency and Operating Systems
Exception Handling in the Choices Operating System / Francis M. David ; Jeffrey C. Carlyle ; Ellick M. Chan ; David K. Raila ; Roy H. Campbell
Handling Multiple Concurrent Exceptions in C++ Using Futures / Matti Rintala
Exception Handling and Asynchronous Active Objects: Issues and Proposal / Christophe Dony ; Christelle Urtado ; Sylvain Vauttier
Pervasive Computing Systems
Exception Management Within Web Applications Implementing Business Processes / Marco Brambilla ; Sara Comai ; Christina Tziviskou
Failure Handling in a Network-Transparent Distributed Programming Language / Raphael Collet ; Peter Van Roy
Ambient-Oriented Exception Handling / Stijn Mostinckx ; Jessie Dedecker ; Elisa Gonzalez Boix ; Tom Van Cutsem ; Wolfgang De Meuter
Exception Handling in CSCW Applications in Pervasive Computing Environments / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Structured Coordination Spaces for Fault Tolerant Mobile Agents / Alexei Iliasov ; Alexander Romanovsky
Requirements and Specification
Practical Exception Specifications / Donna Malayeri ; Jonathan Aldrich
Exception-Aware Requirements Elicitation with Use Cases / Aaron Shui ; Sadaf Mustafiz ; Jorg Kienzle
An Approach to Defining Requirements for Exceptions / William Bail
Engineering and Experience
Aspectizing Exception Handling: A Quantitative Study / Fernando Castor Filho ; Cecilia Mary F. Rubira ; Raquel de A. Maranhao Ferreira ; Alessandro Garcia
Errors and Exceptions - Rights and Obligations / Johannes Siedersleben
Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application / Joseph R. Kiniry
Author Index
Programming Languages
Bound Exceptions in Object-Oriented Programming / Peter A. Buhr ; Roy Krischer
Exception-Handling Bugs in Java and a Language Extension to Avoid Them / Westley Weimer
7.

電子ブック
ＥＢ
7. Reliable Software Technologies - Ada-Europe 2011
Alexander Romanovsky, Takeo Kanade, Tullio Vardanega
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talk
Assuring Software Reliability While Using Web Services and Commercial Products / Jeffrey O'Leary
Multicore
Detecting High-Level Synchronization Errors in Parallel Programs / Syed Aoun Raza ; Stefan Franke ; Erhard Ploedereder
Design and Implementation of a Ravenscar Extension for Multiprocessors / Fabien Chouteau ; José F. Ruiz
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012 / Sergio Sáez ; Silvia Terrasa ; Alfons Crespo
Verification
The Sqale Quality and Analysis Models for Assessing the Quality of Ada Source Code / Thierry Coq ; Jean-Pierre Rosen
Adapting Acats to the Ahven Testing Framework / Dan Eilers ; Tero Koskinen
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE / Julio L. Medina ; Alvaro Garcia Cuesta
Architecture and Modelling
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL / Andreas Johnsen ; Kristina Lundqvist
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems / Laura Carnevali ; Giuseppe Lipari ; Alessandro Pinzuti ; Enrico Vicario
Architecting a Common Bridge Abstraction over Different Middleware Paradigms / Iago, Rodríguez-López ; Marisol García-Valls
Education and Mixed Criticality
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot / Rigoberto Chil ; Diego Alonso ; Francisco Ortiz ; Juan Pastor
ORK+/XtratuM: An Open Partitioning Platform for Ada / Ã…ngel Esquinas ; Juan Zamorano ; Juan A. de la Puente ; Miguel Masmano ; Ismael Ripoll
Implementing Mixed Criticality Systems in Ada / Sanjoy Baruah ; Alan Burns
Panel: Language Paradigms for Multicore Programming
Programming Languages Meet Multicore
Programming Languages for Real-Time Applications Executing on Parallel Hardware / AId Burns
Multicore Programming in ParaSail: Parallel Specification and Implementation Language / S. Tucker Taft
Why Parallel Functional Programming Matters: Panel Statement / Kevin Hammond
Panel: D0l78C and Object-Orientation for Critical Systems
Oot, Do-178C and SPARK / Romrich Chapman ; Trevor Jennings
Position Paper: Do-178C/ED-12C and Object-Orientation for Critical Systems / Dewi Daniels
Objectj Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel
Signet Library Talk
On the Evolution of Unnatural Language / Les Hatton
Author Index
Keynote Talk
Assuring Software Reliability While Using Web Services and Commercial Products / Jeffrey O'Leary
Multicore
8.

電子ブック
ＥＢ
8. Architecting Dependable Systems III
David Hutchison, Cristina Gacek, Takeo Kanade, Rog?rio de Lemos, Alexander Romanovsky, Rog??rio de Lemos
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

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

電子ブック
ＥＢ
10. Software Engineering for Multi-Agent Systems V
Ricardo Choren, Alessandro Garcia, Holger Giese, Takeo Kanade, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼