close
1.

図書
図書
1. Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.)
出版情報: Berlin : Springer, c2004  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3219
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter
Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly
Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson
Reliability
A Highly Fault Detectable Cache Architecture for Dependable Computing / H.R. Zarandi ; S.G. Miremadi
An Empirical Exploration of the Difficulty Function / J.G.W. Bentley ; P.G. Bishop ; M. van der Meulen
Towards the Integration of Fault, Resource, and Power Management / T. Saridakis
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems / M. Cebulla
Analysing Mode Confusion: An Approach Using FDR2 / B. Buth
Handling Safety Critical Requirements in System Engineering Using the B Formal Method / D. Essame
Transportation
A Hybrid Testing Methodology for Railway Control Systems / G. De Nicola ; P. di Tommaso ; R. Esposito ; F. Flammini ; A. Orazzo
Actuator Based Hazard Analysis for Safety Critical Systems / P. Johannessen ; F. Torner ; J. Torin
Performability Measures of the Public Mobile Network of a Tele Control System / E. Ciancamerla ; M. Minichino
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants / J. Yoo ; S. Cha ; H.S. Son ; C.H. Kim ; J.-S. Lee
Compositional Hazard Analysis of UML Component and Deployment Models / H. Giese ; M. Tichy ; D. Schilling
Automatic Test Data Generation from Embedded C Code / E. Dillon ; C. Meudec
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems / B. Kaiser ; C. Gramlich
Safety Requirements and Fault Trees Using Retrenchment / R. Banach ; R. Cross
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics / D. Rehage ; U.B. Carl ; M. Merkel ; A. Vahl
Automotive Telematics - Road Safety Versus IT Security? / R.G. Herrtwich
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture / H. Pfeifer ; F.W. von Henke
Refinement of Fault Tolerant Control Systems in B / L. Laibinis ; E. Troubitsyna
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems / M. Vollmer
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth / A. Aldini ; M. Bernardo
Dependability Benchmarking of Web-Servers / J. Duraes ; M. Vieira ; H. Madeira
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment / B.A. Gran ; R. Fredriksen ; A.P.-J. Thunem
How Explicit Are the Barriers to Failure in Safety Arguments? / S.P. Smith ; M.D. Harrison ; B.A. Schupp
Author Index
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
2.

図書
図書
2. Proceedings : 10th International Symposium on Software Reliability Engineering, November 1-4, 1999, Boca Raton, Florida, USA
sponsored by Lucent Technologies ... [et al.] ; organized by the IEEE Computer Society Technical Council on Software Engineering and the IEEE Reliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xii, 304 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Message from the General Chair
Conference Organization
Challenges and Solutions for 24/7 System Availability / A. Rivers ; T. Khoshgoftaar ; M. Vouk
Everything You Wanted to Know about SRE but Didn't Know Who to Ask / J. Musa ; W. Everett ; K. Kanoun ; A. Pasquini ; N. Scheidewind
Practical Issues in Implementing Software Reliability Measurement / A. Nikora ; N. Schneidewind ; J. Munson
Software Independent Verification and Validation (IVandV) Challenges / Dr. Lou Blazy
Tenth Anniversary Panel: A Look Back at the Ten Years of ISSRE
Software Reliability Techniques Models I
Confidence Interval Estimation of NHPP-Based Software Reliability Models / L. Yin ; K. Trivedi
Rare Failure-State in a Markov Chain Model for Software Reliability / M. Thomason ; J. Whittaker
Enhancing the Predictive Performance of the Littlewood Non-Homogeneous Poisson Process Software Reliability Growth Model Using Data Censoring Techniques / P. Keiller ; T. Mazzuchi
Reliability and Safety
Scenario-Based Reliability analysis of Component-Based Software / S. Yacoub ; B. Cukic ; H. Ammar
Building a System Failure Rate Estimator by Identifying Component Failure Rates / S. Kuball ; J. May ; G. Hughes
Applying Adaptive Safety Analysis Techniques / R. Lutz ; H-Y. Shaw
OO Testing and Modeling
An Exception Handling Mechanism for Developing Dependable Object-Oriented Software Based on a Meta-Level Approach / A. Garcia ; D. Beder ; C. Rubira
Software Reliability Modeling and Cost Estimation Incorporating Testing-Effort and Efficiency / C-Y. Huang ; J-H. Lo ; S-Y Kuo ; M. Lyu
Testing Object-Oriented Programs--An Integrated Approach / M-H. Chen ; H. Kao
Software Reliability Techniques Models II
A Measurement-Based Model for Estimation of Resource Exhaustion in Operational Software Systems / K. Vaidyanathan
A Stochastic Model of Human Errors in Software Development: Impact of Repair Times / C. Smidts
Exploring Cost and Reliability Tradeoffs in Architectural Alternatives Using a Genetic Algorithm / S. Wadekar ; S. Gokhale
Quality
Classification Tree Models of Software Quality Over Multiple Releases / E. Allen ; W. Jones ; J. Hudepohl
An Empirical Study of Experience-Based Software Defect Content Estimation Methods / H. Petersson ; C. Wohlin
Predicting Deviations in Software Quality by Using Relative Critical Value Deviation Metrics
Testing I
Using Simulation for Assessing the Real Impact of Test Coverage on Defect Coverage / L. Briand ; D. Pfahl
Efficient Regression Testing of Multi-Panel Systems / C. Williams ; A. Paradkar
An Approach to Testing COTS Software for Robustness to Operating System Exceptions and Errors / A. Ghosh ; M. Schmid
Software Development and Testing Methodology Used for Subscriber Digital Concentrator ACK-2000 / M. Popovic ; V. Kovacevic
Testing Process Guidance for Resource Constrained Software Testing
Robustness Testing of a Distributed Simulation Backplane / K. Fernsler ; P. Koopman
Increased Software Reliability through Input Validation Analysis and Testing / J. Hayes ; A. Offutt
Mutation Testing Applied to Validate Specifications Based on Statecharts / S. Fabbri ; J. Maldonado ; T. Sugeta ; P. Masiero
Software Reliability Techniques Models III
Developing a High-Quality Software Tool for Fault Tree Analysis / J. Dugan ; K. Sullivan ; D. Coppit
Failure Correlation in Software Reliability Models / K. Goseva-Popstojanova
Cost of Software Design Diversity: An Empirical Evaluation
Keynote
Rapid Business Value Delivery through Software Engineering / Rama Munikoti
Plenary Speaker
SRE at Microsoft / J. Tierney
Testing OO Software
Generating Test Cases from an OO Model with an AI Planning System / M. Scheetz ; A. von Mayrhauser ; R. France ; E. Dahlman ; A. Howe
Efficient Strategies for Integration and Regression Testing of OO Systems / T. Jeron ; J-M. Jezequel ; Y. Le Traon ; P. Morel
Regression Testing on Object-Oriented Programs / Y. Wu
Early Quality Prediction
Experience Report on Early Software Reliability Prediction and Estimation / C. Smith ; C. Uber
Requirements Volatility and Defect Density / Y. Malaiya ; J. Denton
Deriving a Fault Architecture from Defect History / J. Wang ; M. Ohlsson
Author Index
Foreword
Message from the General Chair
Conference Organization
3.

図書
図書
3. Proceedings : the seventh International Symposium on Software Reliability Engineering, October 30-November 2, 1996, White Plains, New York
sponsored by IEEE Computer Society ; Organized by The Committee on Software Reliability Engineering of the IEEE Computer Society Technical Council on Software Engineering
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 383 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings
Hubert B. Keller, Erhard Plödereder (eds.)
出版情報: Berlin : Springer, c2000  xiii, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1845
所蔵情報: loading…
5.

図書
図書
5. Proceedings : the Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, November 4-7, 1998
sponsored by IEEE Computer Society Technical Council on Software Engineering(TCSE), IEEE Reliability Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  xi, 383 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings : the eighth International Symposium on Software Reliability Engineering, November 2-5, 1997, Albuquerque, New Mexico (case studies)
sponsored by IEEE Computer Society Technical Committee on Software Engineering
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  2 v. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. COMPASS '97 : are we making progress towards computer assurance? : June 16-19, 1997, National Institute of Standards and Technology, Gaithersburg, Maryland (: soft. ; : case.)
COMPASS sponsors, IEEE National Capital Area Council, IEEE Aerospace and Electronics Systems Society ; conference sponsors, Arca Systems, Inc. ... [et al.]
出版情報: Piscataway, NJ : IEEE Service Center, c1997  158 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings
Lars Asplund, (ed.)
出版情報: Berlin : Springer, c1998  xi, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1411
所蔵情報: loading…
9.

図書
図書
9. Reliable software technologies, Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings
Keith Hardy, Jim Briggs, (eds.)
出版情報: Berlin ; New York : Springer, c1997  viii, 291 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1251
所蔵情報: loading…
10.

図書
図書
10. Proceedings : 5th International Symposium on Software Reliability Engineering, November 6-9, 1994, Monterey, California
sponsored by IEEE Computer Society. Technical Committee of Software Engineering. Subcommittee on Software Reliability Engineerin
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xiii, 350 p. ; 28 cm
所蔵情報: loading…
11.

図書
図書
11. Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
Alfred Strohmeier (ed.)
出版情報: Berlin : Springer, c1996  xi, 511 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1088
所蔵情報: loading…
12.

図書
図書
12. COMPASS '95 : proceedings of the Tenth Annual Conference on Computer Assurance, June 25-29, 1995, National Institute of Standards and Technology, Gaithersburg, Maryland (: soft. ; : case. ; : micro.)
COMPASS sponsors, IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council
出版情報: Piscataway, N.J. : IEEE Service Center, c1995  ix, 285 p. ; 28 cm
所蔵情報: loading…
13.

図書
図書
13. Proceedings : the Sixth International Symposium on Software Reliability Engineering, October 24-27, 1995, Toulouse, France
sponsored by IEEE Computer Society Technical Committee on Software Engineering, LAAS-CNRS ; organized by IEEE Computer Society Subcommittee for Software Reliability Engineering, IEEE Computer Society Technical Committee on Software Engineering, SITEF ; in cooperation with the IEEE Reliability Society ; with the support of AT & T ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xv, 394 p. ; 28 cm
所蔵情報: loading…
14.

図書
図書
14. COMPASS '96 : proceedings of the Eleventh Annual Conference on Computer Assurance, June 17-21, 1996, National Institute of Standards and Technology, Gaithersburg, Maryland (: soft. ; : case.)
COMPASS sponsors, IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council ; conference sponsors, Arca Systems, Inc. ... [et al.]
出版情報: Piscataway, NJ : IEEE Service Center, c1996  v, 264 p. ; 28 cm
所蔵情報: loading…
15.

図書
図書
15. COMPASS '91 : proceedings of the Sixth Annual Conference on Computer Assurance, June 24-June 27, 1991, National Institute of Standards and Technology, Gaithersburg, Maryland : systems integrity, software safety, and process security (: soft. ; : case. ; : micro.)
United States Department of Commerce, National Institute of Standards and Technology, IEEE National Capital Area Council, IEEE Aerospace Engineering Systems Facility
出版情報: Piscataway, N.J. : IEEE Service Center, c1991  vi, 190 p. ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. Proceedings : 1991 International Symposium on Software Reliability Engineering : Austin, Texas, May 17-18, 1991 (: paper ; : microfiche ; : case)
International Symposium on Software Reliability Engineering ; IEEE Computer Society. Software Engineering Technical Committee ; IEEE Computer Society. Fault-Tolerant Computing Technical Committee
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  x, 242 p. ; 28 cm
所蔵情報: loading…
17.

図書
図書
17. Systems integrity, software safety, and process security : COMPASS '90 : proceedings of the Fifth Annual Conference on Computer Assurance, June 25-June 28, 1990, National Institute of Standards and Technology, Gaithersburg, Maryland
conference sponsors, Applied Ordnance Technology, Inc. ... [et al.]
出版情報: [Washington, D.C.] : IEEE Washington Section, c1990  192 p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. COMPASS '92 : proceedings of the Seventh Annual Conference on Computer Assurance, June 15-18, 1992, National Institute of Standards and Technology, Gaithersburg, Maryland : systems integrity, software safety, and process security : building the right system right (: soft. ; : case. ; : micro.)
COMPASS
出版情報: Piscataway, N.J. : IEEE Service Center, c1992  xvi, 149 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Systems integrity, software safety, and process security : Compass '89 : proceedings of the Fourth Annual Conference on Computer Assurance, June 19-June 23, 1989, National Institute of Standards and Technology, Gaithersburg, Maryland
COMPASS sponsors, IEEE Aerospace and Electronic Systems Society, IEEE National Capital Area Council ; Conference sponsors, Computer Sciences Corporation ... [et al.]
出版情報: [Washington, D.C.] : IEEE Washington Section, [1989]  127 p. ; 28 cm
所蔵情報: loading…
20.

図書
図書
20. COMPASS '88 : computer assurance : National Bureau of Standards, Gaithersburg, Maryland, 27 June-1 July 1988
sponsored by IEEE Aerospace and Electronic Systems Society ... [et al.]
出版情報: New York, N.Y. (145 E. 47th St., New York 10017) : Institute of Electrical and Electronics Engineers, c1988  ii, 132 p. ; 28 cm
所蔵情報: loading…
21.

図書
図書
21. Proceedings : Fourth International Symposium on Software Reliability Engineering, November 3-6, 1993, Denver, Colorado (: paper ; : microfiche)
sponsored by IEEE Computer Society. Technical Committee of Software Engineering. Subcommittee on Software Reliability Engineering
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xiii, 333 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. COMPASS '94 : proceedings of the Ninth Annual Conference on Computer Assurance, June 27-July 1, 1994, National Institute of Standards and Technology, Gaithersburg, MD (: soft. ; : case. ; : micro.)
COMPASS sponsors, IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council
出版情報: Piscataway, N.J. : IEEE Service Center, c1994  xiii, 269 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. Proceedings : Third International Symposium on Software Reliability Engineering : Research Truangle Park, North Carolina, October 7-10, 1992 (: paper ; : case)
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee of Software Engineering, IEEE Computer Society Technical Committee on Fault-Tolerant Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  xi, 369 p. ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. COMPASS '93 : proceedings of the Eighth Annual Conference on Computer Assurance, June 14-17, 1993, National Institute of Standards and Technology, Gaithersburg, MD : practical paths to assurance (: soft. ; : case. ; : micro.)
COMPASS sponsors, IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council
出版情報: Piscataway, N.J. : IEEE Service Center, c1993  151 p. ; 28 cm
所蔵情報: loading…
25.

図書
図書
25. Proceedings : 12th International Symposium on Software Reliability Engineering : ISSRE 2001, 27-30 November, Hong Kong, China (: case)
sponsored by IEEE Computer Society, IEEE Reliability Society ; in cooperation with the Chinese University of Hong Kong ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiii, 363 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Forword
Organizers
Reviewers
Component Based Systems / Session 1A.：
An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj
Comparison of Architecture-Based Software Reliability Models / K. Goseva-Popstojanova ; A. Mathur ; K. Trivedi
Testing GUI Software / Session 1B.：
Finite-State Testing and Analysis of Graphical User Interfaces / F. Belli
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System / D. Donovan ; C. Dislis ; R. Murphy ; S. Unger ; C. Kenneally ; J. Young ; L. Sheehan
User-Based Testing of GUI Sequences and Their Interactions / L. White ; H. Almezen ; N. Alzeidi
Software Fault Models and Prediction / Session 2A.：
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction / T. Khoshgoftaar ; K. Gao ; R. Szabo
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications / A. Ibrahim ; H. Ammar ; S. Yacoub
A Fault Model for Subtype Inheritance and Polymorphism / J. Offutt ; R. Alexander ; Y. Wu ; Q. Xiao ; C. Hutchinson
Reliable Wireless and Mobile Systems / Session 2B.：
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability / S.-J. Chang ; P. Kapauan
Modeling and Verifying Strong Cache Consistency for Mobile Data Access / J. Wei ; S.-C. Cheung ; H. Zhou ; X. Wang ; J. Li ; Y.-l. Feng
Recovery Proxy for Wireless Applications / B. Yao ; W. Fuchs
Fault Tolerant Distributed Software Systems / Session 3A.：
Estimation of Software Diversity by Fault Simulation and Failure Searching / L. Chen ; J. May ; G. Hughes
Fault Tolerant Distributed Information Systems / J. Knight ; M. Elder
Increasing the Reliability of Three-Tier Applications / W. Zhao ; L. Moser ; P. Melliar-Smith
Low-Cost Flexible Software Fault Tolerance for Distributed Computing / A. Tai ; K. Tso ; W. Sanders ; L. Alkalai ; S. Chau
Software Reliability Growth Modeling / Session 3B.：
A Simulation Based Trainer for Software Reliability Modeling / E. Jones ; A. Rembert
Analysis of Hypergeometric Distribution Software Reliability Model / T. Dohi ; N. Wakana ; S. Osaki
Discrete Equations and Software Reliability Growth Models / D. Satoh ; S. Yamada
Modelling the Fault Correction Process / N. Schneidewind
Testing Internet and Multimedia Systems / Session 4A.：
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP / B. Choi ; S. Yeum ; T. Gwak ; B. Min
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis / S. Lee
Toward Generic Timing Tests for Distributed Multimedia Software Systems / S. Cheung ; S. Chanson ; Z. Xu
Formal Approaches / Session 4B.：
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication / J. Zhou ; K.-c. Tai
Feedback Control of the Software Test Process Through Measurements of Software Reliability / J. Cangussu ; R. DeCarlo
Tool Support for Production Use of Formal Techniques / K. Hanks ; S. Travis
Software Testing Experiments / Session 5A.：
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study / P. Chevalley ; P. Thevenod-Fosse
Evaluating the Software Test Strategy for the 2000 Sydney Olympics / K. Bassin ; S. Biyani
Coverage and Testing Strategies / Session 5B.：
Coverage Analysis for Message Flows / N. Aizenbud-Reshef
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles / L. Briand ; Y. Labiche ; Y. Wang
Software Architecture / Session 6A.：
Automated and Portable Native Code Isolation / G. Czajkowski ; L. Daynes ; M. Wolczko
Deriving Tests From Software Architectures / Z. Jin
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs / F. Bastani ; I.-L. Yen ; K. Sung ; J. Linn ; K. Rao
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability / B. Baudry ; Y. Sunye ; J.-M. Jezequel
Measurement Field Data and Experience / Session 6B.：
Accounting for Realities When Estimating the Field Failure Rate of Software / D. Jeske ; X. Zhang ; L. Pham
Defect Content Estimation for Two Reviewers / C. Wohlin ; H. Petersson ; M. Host ; P. Runeson
Measurement-Based Availability of Unix Systems in a Distributed Environment / C. Simache ; M. Kaaniche
Quantitative Evaluation and Operative Usage of Interactive Systems / A. Pasquini ; A. Rizzo ; L. Save ; M. Sujan
Author Index
Forword
Organizers
Reviewers
26.

図書
図書
26. Proceedings : 13th International Symposium on Software Reliability Engineering : ISSRE 2002, 12-15 November 2002, Annapolis, Maryland
sponsored by IEEE Computer Society Technical Committee on Software Engineering, ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xii, 397 p. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. Proceedings, 14th International Symposium on Software Reliability Engineering : ISSRE 2003, 17-20 November 2003, Denver, Colorado
sponsored by IEEE Computer Society, IEEE Reliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xiv, 492 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Welcome from the Program Committee Co-Chairs
Organizing Committee
Program Committee
Reviewers
Test Effectiveness I / Session 1A：
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection / P. Runeson ; A. Andrews
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing / L. C. Briand ; Y. Labiche ; Y. Wang
Optimal Resource Allocation for the Quality Control Process / P. Jalote ; B. Vishal
Test-Driven Development as a Defect-Reduction Practice / L. Williams ; E. M. Maximilien ; M. Vouk
Requirements Analysis / Session 1B：
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project / J. Huffman Hayes
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs / R. Zhao ; M. R. Lyu ; Y. Min
Static Specification Analysis for Termination of Specification-Based Data Structure Repair / B. Demsky ; M. Rinard
Requirements by Contracts Allow Automated System Testing / C. Nebut ; F. Fleurey ; Y. Le Traon ; J.-M. Jezequel
Test Effectiveness II / Session 2A：
Coverage Criteria for Logical Expressions / P. Ammann ; J. Offutt ; H. Huang
Anomalies as Precursors of Field Failures / S. Elbaum ; S. Kanduri ; A. Amschler Andrews
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering / Z. Huang ; S. K. S. Sze ; X. Cai
Secure Systems / Session 2B：
Forensic Analysis for Tamper Resistant Software / H. Jin ; J. Lotspiech
A Framework for Tamper Detection Marking of Mobile Applications / M. Jochen ; L. M. Marvel ; L. L. Pollock
High-Assurance Synthesis of Security Services from Basic Microservices / S. Kim ; F. B. Bastani ; I-L. Yen ; I.-R. Chen
Formal Reliability Analysis / Session 2C：
Shared Semantic Domains for Computational Reliability Engineering / D. Coppit ; R. R. Painter ; K. J. Sullivan
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications / A. Sinha ; C. S. Smidts ; A. Moran
Thoroughness of Specification-Based Testing of Synchronous Programs / I. Parissis ; J. Vassy
Empirical Studies and Tools / Session 3A：
Automating the Analysis of Voting Systems / S. Yacoub ; X. Lin ; S. Simske ; J. Burns
A Bayesian Belief Network for Assessing the Likelihood of Fault Content / S. Amasaki ; Y. Takagi ; O. Mizuno ; T. Kikuno
An Exploratory Study of Component Reliability Using Unit Testing / R. Torkar ; S. Mankefors ; K. Hansson ; A. Jonsson
Software Reliability Modeling / Session 3B：
Using a Log-Normal Failure Rate Distribution for Worst Case Bound Reliability Prediction / P. G. Bishop ; R. E. Bloomfield
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling / H. Okamura ; Y. Watanabe ; T. Dohi
Fault Correction Profiles / N. F. Schneidewind
Empirical Studies / Session 4A：
Early Warning of Failures through Alarm Analysis--A Case Study in Telcom Voice Mail Systems / D. Levy ; R. Chillarege
Reducing Wasted Development Time via Continuous Testing / D. Saff ; M. D. Ernst
User-Oriented Reliability Modeling for a Web System / W.-L. Wang ; M.-H. Tang
Architectural Approaches I / Session 4B：
Assessing Uncertainty in Reliability of Component-Based Software Systems / K. Goseva-Popstojanova ; S. Kamavaram
When Does It Pay to Make Software More Reliable? / E. Stoker ; J. Bechta Dugan
Test Adequacy Assessment for UML Design Model Testing / S. Ghosh ; R. France ; C. Braganza ; N. Kawane ; O. Pilskalns
Panel Position Statement / Session 4C：
Open Source Software--A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? / S. Bagchi ; H. Madeira
Software Testing / Session 5A：
A Parameterized Cost Model to Order Classes for Class-Based Testing of C++ Applications / B. A. Malloy ; P. J. Clarke ; E. L. Lloyd
Exploiting Symmetries to Test Programs / A. Gotlieb
Non-Intrusive Debug Technique for Embedded Programming / L. J. Moore ; A. R. Moya
Architectural Analysis II / Session 5B：
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components / H. Ma ; F. Bastani ; K. Cooper
Augmenting Simulated Annealing to Build Interaction Test Suites / M. B. Cohen ; C. J. Colbourn ; A. C. H. Ling
DARX--A Framework for the Fault-Tolerant Support of Agent Software / O. Marin ; M. Bertier ; P. Sens
Metrics / Session 6A：
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion / P.-L. Brunelle ; E. Merlo ; G. Antoniol
Incremental Dynamic Impact Analysis for Evolving Software Systems / J. Law ; G. Rothermel
A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases / D. Leon ; A. Podgurski
Probabilistic Analysis / Session 6B：
Integrating Software into PRA / B. Li ; M. Li ; S. Ghose ; C. Smidts
New Quality Estimations in Random Testing / A. Boklund
Maximizing Interval Reliability in Operational Software System with Rejuvenation / H. Suzuki ; N. Kaio ; K. S. Trivedi
Author Index
Preface
Welcome from the Program Committee Co-Chairs
Organizing Committee
28.

図書
図書
28. Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings
Stuart Anderson, Massimo Felici, Bev Littlewood (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xix, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2788
所蔵情報: loading…
29.

図書
図書
29. Reliable software technologies-Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
Dirk Craeynest, Alfred Strohmeier (eds.)
出版情報: Berlin : Springer, c2001  xv, 404 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2043
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde
Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard
Testing from Formal Specifications, a Generic Approach / Marie-Claude Gaudel
Logic versus Magic in Critical Systems / Peter Amey
Can JavaTM Meet Its Real-Time Deadlines? / Benjamin Brosgol ; Brian Dobbing
Program Analysis
Parameter-Induced Aliasing in Ada / Wolfgang Gellerich ; Erhard Plodereder
Slicing Tagged Objects in Ada / Zhengqiang Chen ; Baowen Xu ; Hongji Yang
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code / Alexei Kuchumov ; Sergey Rybin ; Alfred Strohmeier
Distributed Systems
Building Modern Distributed Systems / Laurent Pautet ; Thomas Quinot ; Samuel Tardieu
Reliable Communication in Distributed Computer-Controlled Systems / Luís Miguel Pinho ; Francisco Vasques
Building Robust Applications by Reusing Non-robust Legacy Software / Francisco Guerra Santana ; Javier Miranda Gonzalez ; iguez Calero
Real-Time Systems
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements / Joyce L. Tokar
Complex Task Implementation in Ada / Alfons Crespo ; Patricia Balbastre ; Silvia Terrasa
Implementing a Flexible Scheduler in Ada / Guillem Bernat ; Alan Burns
Language and Patterns
Expression Templates in Ada / Alexandre Duret-Lutz
A Design Pattern for State Machines and Concurrent Activities / Bo I. Sanden
Component Libraries and Language Features / Ehud Lamm
Dependable Systems
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software / Darren Foulger ; Steve King
Scenario-Based System Assessment / Silke Kuball
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation / Tsong Y. Chen ; Man F. Lau
APIs and Components
JEWL: A GUI Library for Educational Use / John English
Object-Oriented Stable Storage Based on Mirroring / Xavier Caron ; Jorg Kienzle
Transaction Support for Ada / Ricardo Jimenez-Peris ; Alexander Romanovsky ; inez
Real-Time Kernels
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications / Mario Aldea Rivas ; Michael Gonzalez Harbour
Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels / Juan Zamorano ; Jose F. Ruiz ; Juan Antonio de la Puente
Defining New Non-preemptive Dispatching and Locking Policies for Ada
Standard Formats: UML & XML
Modelling Communication Interfaces with ComiX / Frank Oppenheimer ; Dongming Zhang ; Wolfgang Nebel
Safe Web Forms and XML Processing with Ada / Mario Amado Alves
Mapping UML to Ada / Bill Taylor ; Einar W. Karlsen
System Evolution
Ship System 2000, a Stable Architecture under Continuous Evolution
Migrating Large Applications from Ada83 to Ada95 / Philippe Waroquiers ; Stef Van Vlierberghe ; Dirk Craeynest ; Andrew Hately ; Erik Duvinage
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK / Tullio Vardanega ; Rodrigo García
Author Index
Invited Papers
Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde
Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard
30.

図書
図書
30. Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
Kung-Kiu Lau (ed.)
出版情報: Berlin : Springer, c2001  viii, 181 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2042
所蔵情報: loading…
31.

図書
図書
31. Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 : proceedings
Floor Koornneef, Meine van der Meulen (eds.)
出版情報: Berlin : Springer, c2000  x, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1943
所蔵情報: loading…
32.

図書
図書
32. Reliable software technologies -- Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings
Johann Blieberger, Alfred Strohmeier (eds.)
出版情報: Berlin : Springer, c2002  xiii, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2361
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson
On Architectural Stability and Evolution / Mehdi Jazayeri
Encapsulating Failure Detection: From Crash to Byzantine Failures / Assia Doudou ; Benoit Garbinato ; Rachid Guerraoui
Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha
Embedded Systems
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors / Alexander Chatzigeorgiou ; George Stephanides
OMC-INTEGRAL Memory Management / Jose Manuel Pérez Lobato ; Eva Martín Lobo
Language Issues of Compiling Ada to Hardware / Michael Ward ; Neil C. Audsley
Case Studies
Software Development Reengineering - An Experience Report / Adrian Hoe
Development of a Control System for Teleoperated Robots Using UML and Ada95 / Francisco J. Ortiz ; Alejandro S. Martínez ; Barbara Álvarez ; Andres Iborra ; José M. Fernández
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable
Execution of Dynamically Uploaded Applications / Walter Binder ; Balazs Lichtl
Real-Time Systems
A POSIX-Ada Interface for Application-Defined Scheduling / Mario Aldea Rivas ; Michael González Harbour
High-Integrity Systems
Closing the Loop: The Influence of Code Analysis on Design / Peter Amey
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT / Paul Parkinson ; Franco Gasperoni
Ada Language
How to Use GNAT to Efficiently Preprocess New Ada Sentences / Javier Miranda ; Francisco Guerra ; Ernestina Martel ; Jose Martín ; Alexis González
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada / Robert Dewar ; Olivier Hainque ; Dirk Craeynest ; Philippe Waroquiers
Adding Design by Contract to the Ada Language / Ehud Lamm
Program Analysis
Static Dependency Analysis for Concurrent Ada 95 Programs / Zhenqiang Chen ; Baowen Xu ; Jianjun Zhao ; Hongji Yang
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 / Krzysztof Czarnecki ; Michael Himsolt ; Ernst Richter ; Falk Vieweg ; Alfred Rosskopf
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study / Yuen T. Yu ; Man F. Lau
Tools
About the Difficulties of Building a Pretty-Printer for Ada / Sergey Rybin ; Alfred Strohmeier
A Tailorable Distributed Programming Environment
Distributed Systems
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components / Julio L. Medina ; J. Javier Gutiérrez ; José M. Drake
Transparent Environment for Replicated Ravenscar Applications / Luís Miguel Pinho ; Francisco Vasques
Concurrency Control in Transactional Drago / Marta Patiño-Martínez ; Ricardo Jimenez-Peris ; Jörg Kienzle ; Sergio Arévalo
Libraries, APIs, and Bindings
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard / Agustin Espinosa Minguet ; Ana Gargia Fornes ; Alfons Crespo i Lorente
GNAT Ada Database Development Environment / Michael Erdmann
Object-Orientation
Ada, Interfaces and the Listener Paradigm / Jean-Pierre Rosen
Using Object Orientation in High Integrity Applications: A Case Study / Alejandro Alonso ; Roberto López ; Tullio Vardanega ; Juan Antonio de la Puente
Author Index
Invited Papers
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson
On Architectural Stability and Evolution / Mehdi Jazayeri
33.

図書
図書
33. Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
Alberto Pettorossi (ed.)
出版情報: Berlin : Springer, c2002  viii, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2372
所蔵情報: loading…
34.

図書
図書
34. Image and video retrieval : International Conference, CIVR 2002, London, UK, July 18-19, 2002 : proceedings
Michael S. Lew, Nicu Sebe, John P. Eakins (eds.)
出版情報: Berlin : Springer, c2002  xii, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2383
所蔵情報: loading…
目次情報: 続きを見る
Challenges of Image and Video Retrieval / Michael S. Lew ; Nicu Sebe ; John P. Eakins
Image Retrieval I (Oral)
Visualization, Estimation and User-Modeling for Interactive Browsing of Image Libraries / Qi Tian ; Baback Moghaddam ; Thomas S. Huang
Robust Shape Matching / Michael Lew
Semantics-Based Image Retrieval by Region Saliency / Wei Wang ; Yuqing Song ; Aidong Zhang
The Truth about Corel - Evaluation in Image Retrieval / Henning Müller ; Stephane Marchand-Maillet ; Thierry Pun
Non-retrieval: Blocking Pornographic Images / Alison Bosson ; Gavin C. Cawley ; Yi Chan ; Richard Harvey
Modelling I (Poster)
A Linear Image-Pair Model and the Associated Hypothesis Test for Matching / Gregory Cox ; Gerhard de Jager
On the Coupled Forward and Backward Anisotropic Diffusion Scheme for Color Image Enhancement / Bogdan Smolka ; Konstantinos ; N. Plataniotis
Multiple Regions and Their Spatial Relationship-Based Image Retrieval / ByoungChul Ko ; Hyeran Byun
Feature Based Retrieval (Poster)
Query by Fax for Content-Based Image Retrieval / Mohammad F. A. Fauzi ; Paul H. Lewis
Spectrally Layered Color Indexing / Guoping Qiu ; Kin-Man Lam
Using an Image Retrieval System for Vision-Based Mobile Robot Localization / Jürgen Wolf ; Wolfram Burgard ; Hans Burkhardt
JPEG Image Retrieval Based on Features from DCT Domain / Guocan Feng ; Jianmin Jiang
Image Retrieval Methods for a Database of Funeral Monuments / A. Jonathan Howell ; David S. Young
Semantics/Learning I (Poster)
AtomsNet: Multimedia Peer2Peer File Sharing / Willem de Bruijn
Visual Clustering of Trademarks Using the Self-Organizing Map / Mustaq Hussain ; John Eakins ; Graham Sexton
FACERET: An Interactive Face Retrieval System Based on Self-Organizing Maps / Javier Ruiz-del-Solar ; Pablo Navarrete
Object-Based Image Retrieval Using Hierarchical Shape Descriptor / Man- Wai Leung ; Kwok-Leung Chan
Video Retrieval (Oral)
Multimodal Person Identification in Movies / Jeroen Vendrig ; Marcel Worring
Automated Scene Matching in Movies / F. Schaffalitzky ; A. Zisserman
Content Based Analysis for Video from Snooker Broadcasts / H. Denman ; N. Rea ; A. Kokaram
Retrieval of Archival Moving Imagery - CBIR Outside the Frame? / Peter G. B. Enser ; Criss J. Sandom
Challenges for Content-Based Navigation of Digital Video in the Físchlár Digital Library / Alan F. Smeaton
Image Retrieval II (Oral)
Spin Images and Neural Networks for Efficient Content-Based Retrieval in 3D Object Databases / Pedro A. de Alarcón ; Alberto D. Pascual-Montano ; José M. Carazo
Size Functions for Image Retrieval: A Demonstrator on Randomly Generated Curves / A. Brucale ; M. d'Amico ; M. Ferri ; L. Gualandri ; A. Lovato
An Efficient Coding of Three Dimensional Colour Distributions for Image Retrieval / Jeff Berens ; Graham D. Finlayson
Content-Based Retrieval of Historical Watermark Images: I-tracings / K. Jonathan Riley
Semantics/Learning II (Poster)
Object Recognition for Video Retrieval / Rene Visser ; Nicu Sehe ; Erwin Bakker
Semantic Video Retrieval Using Audio Analysis / Erwin M. Bakker
Extracting Semantic Information from Basketball Video Based on Audio-Visual Features / Kyungsu Kim ; Junho Choi ; Namjung Kim ; Pankoo Kim
Video Indexing and Retrieval for Archeological Digital Library, CLIOH / Jeffrey Huang ; Deepa Umamaheswaran ; Mathew Palakal
Fast k-NN Image Search with Self-Organizing Maps / Kun Seok Oh ; Aghbari Zaher ; Pan Koo Kim
Video Retrieval by Feature Learning in Key Frames / Marcus J. Pickering ; Stefan M. Rüger ; David Sinclair
Modelling II (Poster)
Local Affine Frames for Image Retrieval / Štěpán Obdržálek ; Jiří Matas
A Ranking Algorithm Using Dynamic Clustering for Content-Based Image Retrieval / Gunhan Park ; Yunju Baek ; Heung-Kyu Lee
Online Bayesian Video Summarization and Linking / Xavier Orriols ; Xavier Binefa
Face Detection for Video Summaries / Jean Emmanuel Viallet ; Olivier Bernier
Evaluation/Benchmarking (Poster)
A Method for Evaluating the Performance of Content-Based Image Retrieval Systems Based on Subjectively Determined Similarity between Images / John A. Black ; Jr ; Gamal Fahmy ; Sethuraman Panchanathan
Evaluation of Salient Point Techniques / N. Sebe ; Q. Tian ; E. Loupias ; M. Lew ; T. Huang
Personal Construct Theory as a Research Tool for Analysing User Perceptions of Photographs / Mary A. Burke
Author Index
Challenges of Image and Video Retrieval / Michael S. Lew ; Nicu Sebe ; John P. Eakins
Image Retrieval I (Oral)
Visualization, Estimation and User-Modeling for Interactive Browsing of Image Libraries / Qi Tian ; Baback Moghaddam ; Thomas S. Huang
35.

図書
図書
35. Computers helping people with special needs : 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, 2002 : proceedings
Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler (eds.)
出版情報: Berlin : Springer, c2002  xxii, 794 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2398
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Structured Access to Documents, Digital Talking Books, and Beyond: The DAISY Consortium / George Kerscher
eEurope - eAccessibility - User Participation Participation of People with Disabilities and Older People in the Information Society (Introduction to the Special Thematic Session) / Christian Bühler
From Research to Business Improving the Take Up of Results of Research Projects Introduction to the Workshop
Universal Access to Information Society Technologies: Opportunities for People with Disabilities
Accessibility and Usability of eCommerce Systems / Constantine Stephanidis ; Pier Luigi Emiliani ; Keith Gladstone ; Cathy Rundle ; Tara Alexander
Recommending Context-Sensitive and Process-Oriented Tourist Information to the Disabled - The PALIO Case / Michael Pieper
WebSite Accessibility Auditing Tool for Visually Deficient Persons OCAWA / Denis Chêne ; Michel Hoël
User-Centered Interface Design for Disabled and Elderly People: First Experiences with Designing a Patient Communication System (PACOSY) / Andreas Holzinger
The Disappearing Computer: Emerging Opportunities and Challenges for Disabled and Elderly People
New Technologies and Services for Disabled and Elderly People in the Emerging Information Society
A Strategy to Achieve the Accessibility of Public Web Sites / Sylvie Duchateau ; Denis Boulay ; Claudine Tchang-Ayo ; Dominique Burger
Accessibility and Affordance for Voice Interactive Systems with the VoiceXML Technology / Régis Privat ; Nadine Vigouroux ; Philippe Truillet ; Bernard Oriola
Computer and Inclusive Education
National Information and Communication Technology Policies - Their Impact upon the Use of ICT in Special Needs Education (SNE) / Ewald Feyerer ; Amanda Watkins ; Harald Weber
EUN Virtual School Special Needs Education / Walter Rainwald
Tutorial Systems to Teach Standard Applications to the Learning Disabled
The Vickie Project / Dominique Archambault
Using Adaptive Hypermedia to Evaluate Basic Arithmetic Skills in Special Education / Jaakko Kurhila ; Hanna Varjola
ICT and Assistive Technology in Teachers Education and Training / Klaus Miesenberger ; David Wohlhart
Bridging the Information Gap between IST and SEN - A Practical Approach on European Level / Jørgen Greve
Evaluational Study: Training with Animated Pedagogical Agents / Yehya Mohamad ; S. Hammer ; F. Haverkamp ; M. Nöker ; H. Tebarth
Usage of Modern Technologies - A Chance for People with Special Needs?! - Pedagogically Relevant Criteria for the Review of Educational Software Exemplified by "Step by Step 3" / Barbara Prazak ; Mathilde Niehaus
Social Innovation in the Information Society - Take It Easy - / Cordula Edler
ODL: Inclusive - Improving Inclusive Teaching through Online Training
Accessible E-learning: Infrastructure and Content / Norman Coombs
Addizionario: Words in Your Pocket / Giovanna Turrini ; Laura Cignoni ; Alessandro Paccosi
Virtual Reality
Virtual Travel Training for People with Learning Disabilities Accessing Employment Including the Introduction to the Special Thematic Session "Virtual Reality" / N. Shopland ; J. Lewis ; D.J. Brown ; H.M. Powell
Assessing Virtual Reality as a Tool for Support Imagination / F. Alcantud ; G. Herrera ; G. Labajo ; I. Dolz ; C. Gayá ; V. Avila ; A. Blanquer ; J.L. Cuesta ; J. Arnáiz
Literacy and Numeracy Edutainment Packages for Disaffected Young Learners / M. Yazdanparast
Control of Virtual Environments for People with Intellectual Disabilities / P.J. Standen ; S. Battersby ; T.L. Lannen
Online Gardening to Promote Social Inclusion / S.J. Battersby ; N. Kelly
Hearing Impaired People - Computers and Communication
Selective Phoneme Spotting for Realization of an /s, z, C, t/ Transposer / D. Bauer ; A. Plinge ; M. Finke
A Multimedia Based Software for Non-Japanese to Learn Japanese Sign Language / Flavio Oliveira ; Iwao Kobayashi ; Mitsumasa Sugawara
The User Interface Design for the Sign Language Translator in a Remote Sign Language Interpretation System / Hiroki Minagawa ; Ichiro Naito ; Nobuko Kato ; Hiroshi Murakami ; Yasushi Ishihara
The See-through Head Mount Display as the Information Offering Device for the Hearing Impaired Students / Tomoyuki Nishioka
Digital Speech Signal Processing to Compensate Severe Sensory Hearing Deficits: The /s, z, C, t/ Transposer Module in Simulation - An Overview and Examples
Computers for the Development of Young Disabled Children
Multimedia Games for Visually Impaired Children / Aurélie Buaud ; Harry Svensson
Technical Assistance for Motor- and Multiple Disabled Children - Some Long Term Experiences / Paul Panek ; Christian Beck ; Stefan Mina ; Gottfried Seisenbacher ; Wolfgang L. Zagler
The Design of an Adaptive Web Browser for Young Children with Reading Difficulties / Chi Nung Chu ; Tien Yu Li ; Ming Chung Chen
Can All Young Disabled Children Play at the Computer? / Anita Hildén ; Jenny Hammarlund
TL a Language to Create Games for Visually Impaired Children / Antoine Dutot ; Damien Olivier
Mobility Impaired People - Individual Autonomy and HCI
Power Assist System HAL-3 for Gait Disorder Person / Hiroaki Kawamoto ; Yoshiyuki Sankai
Computer Access Assessment for Persons with Physical Disabilities: A Guide to Assistive Technology Interventions / Ting-Fang Wu ; Ling-Fu Meng ; Hwa-Pey Wang ; Wu-Tien Wu ; Tien-Yu Li
A Proposal of Effective Motion Learning Method Using Sensory Feedback for Walk-Disabled People / Junji Ohyama
Control Method of Walking Speed and Step Length for Hybrid Assistive Leg / Masako Nozawa
The Development of Gait Training System for Computer-Aided Rehabilitation / Hidetaka Ikeuchi ; Satoshi Arakane ; Kengo Ohnishi ; Keiji Imado ; Yukio Saito ; Hiroomi Miyagawa
Accessing Internet Courses by Eye Movement and Head Movement / James Gips ; Philip A. DiMattia ; Marialice Curran ; Debra Lees ; Maureen Gates
The Program for Improving the Working Interfaces and Increasing the Work Competencies of People with Severe Physical Disabilities: The Evaluation, Design, and Training of the Adaptive Computer Devices / Tien-yu Li ; Chien-Huey Sophie Chang ; Ming-Chung Chen ; Chi-Nung Chu ; Arr-Ming Chou ; Tony Yang ; Chin-Chen Hui ; Ai-Chiao Ku ; Yun-Lung Lin
Typing - Alternative and Augmentative Communication
Matching Typing Persons and Intelligent Interfaces
FASTY - A Multi-lingual Approach to Text Prediction / Johannes Matiasek ; Marco Baroni ; Harald Trost
Informing Flexible Abbreviation Expansion for Users with Motor Disabilities / Tim Willis ; Helen Pain ; Shari Trewin ; Stephen Clark
Cyclic Input of Characters through a Single Button Manipulation / Grigori Evreinov ; Roope Raisamo
Developing of Predictive Communication System for the Physically Disabled People / Vidas Lauruska ; Tomas Musteikis
Teaching Adolescents with Disabilities to Learn Chinese Keyboarding by Using Multimedia Computer Assisted Input Method Learning System
Accelerating Assessment with Self-Optimizing Devices / Patti Slobogin ; M.G. Power
A Proposal of an Evaluation Framework for Writing Assistance Systems: Application to VITIPI / Philippe Boissière ; Daniel Dours
Individually Assisted Text Entry with Situational and Contextual Prediction / Dirk Clemens ; Helmut Heck ; Michael Kühn ; Olaf Perlick ; Frank Reins
Accessible Digital Media
Methods for Inclusion: Employing Think Aloud Protocol with Individuals Who Are Deaf / Deborah I. Fels ; Vera Roberts
Emotive Captioning in a Digital World / Charles Silverman
Spoken Subtitles: Making Subtitled TV Programmes Accessible / Maarten Verboom ; David Crombie ; Evelien Dijk ; Mildred Theunisz
Electronic and Virtual Libraries: Access for Print Disabled People
Semantically Rich Markup, Should You Be Agnostic in Your Choice of a Vocabulary / Jan Engelen
DZB - A German Library for the Blind Goes Digital / Thomas Kahlisch
Harmonisation of the Copyright Law throughout the European Union - A Challenge for All Print Disabled People / Ruth Hammerschmid ; Bernhard Stöger
A Distributed Document Oriented Architecture for Rendering Services to Visually Impaired Students / Claude Moulin ; Sylvain Giroux ; Davide Carboni
ABA's Virtual Library Services for Blind and Visually Impaired People / Karim Taha ; Lori Stefano Pertucci
Libbraille: A Portable Library to Easily Access Braille Displays / Sébastien Sablé
CYNTHIA: An HTML Browser for Visually Handicapped People / Mathieu Raynal ; Mathieu Serrurier
A Secure Internet Service for Delivering Documents for the Blind / Benoit Guillon ; Bruno Marmol
Virtual Libraries Initiatives with Usable Results for Print Disabled People / Marco Köttstorfer
Unlocking Doors: Building an Accessible Online Information Node / Arne Leeman ; Marian Oosting
Using XML as a Reading Enabler for Visually Impaired Persons / Bert Paepen
The Accessibility of Online Library Resources for People with Print Disabilities: Research and Strategies for Change / Axel Schmetzke
Quick Access to Dictionaries for Blind and Visually Impaired People / Brasseur Vincent ; Mohamed Slimane ; Nicole Vincent
Perspectives and Possibilities for the Automated Processing of Scientific Texts for Blind and Visually Impaired People / Gerhard Jaworek
Universal Usability Issues of Textual Information Structures, Commands, and Languages of Native Visually Challenged Users: An Inclusive Design Framework / Basawaraj Patil ; Klaus Maetzel ; Erich J. Neuhold
Accessible Interface Design: Adaptive Multimedia Information System (AMIS) / Marisa DeMeglio ; Markku T. Hakkinen ; Hiroshi Kawamura
Reading Multimedia Documents / Helen Petrie ; Gerhard Weber
Blind and Visually Impaired People - Mobility and HCI
Comparison of Various Interface Modalities for a Locomotion Assistance Device / Yacine Bellik ; René Farcy
Providing Help for Visually Impaired People's Navigation in an Urban Environment Using GPS / Vivien Guillet ; Beatrice Rumpler ; Jean-Marie Pinon
New Trends and Developments in Computer and Internet Technology for Visually Impaired People: A Survey and Usefulness in the Arab Sub-region / AbdulMalik S. Al-Salman
Auditory Emotional Access to Visual Information / Harald Schwende
Auditory Sensation Aided Image Perception: Integration of Somesthetic Sense of Fingertip Position / Yoshihiko Nomura ; Sayuri Nishihama ; Tokuhiro Sugiura ; Hirokazu Matsui ; Norihiko Kato
A Novel Application to Aid Low Vision Computer Users / Luciano Silva ; Olga Regina Pereira Bellon
Visually Impaired Persons Using Microsoft PowerPoint Presentations / Martin Jung ; Erdmuthe Meyer zu Bexten
Using MS Office Features as Low Vision Accessibility Tools / Deborah Gilden
Access to Mathematics by Blind Students
Architecting an Auditory Browser for Navigating Mathematical Expressions / Arthur I. Karshmer ; Chris Bledsoe ; Gopal Gupta ; Doug Gillan
REMathEx - Reader and Editor of the Mathematical Expressions for Blind Students / Pavel Gaura
Speaking Technical Documents: Using Prosody to Convey Textual and Mathematical Material / D. Fitzpatrick
Access by Blind Students and Professionals to Mainstream Math and Science / John A. Gardner
LATEX at the University of Applied Sciences Giessen-Friedberg - Experiences at the Institute for Visually Impaired Students
Experience with Access to Mathematics for Blind Students in Slovakia / Martina Kobolkova ; Peter Lecky
Infty Alpha Test Site / Kanahori Toshihiro ; Suzuki Masakazu
Designing an AutoMouse to Promote Computer Accessibility for People with Severe Physical Impairments / Ling Fu Meng ; Arr Mien Chou ; Chih Chen Hui ; Ai Chiao Ku ; Yun Lung Lin
Blind People - Tactile Graphics, Displays, and HCI
Evaluation of Long Descriptions of Statistical Graphics for Blind and Low Vision Web Users / H.K. Ault ; J.W. Deloge ; R.W. Lapp ; M.J. Morgan ; J.R. Barnett
A Tactile Display System Equipped with a Pointing Device - MIMIZU / Makoto Kobayashi ; Tetsuya Watanabe
Preparing Tactile Graphics for Traditional Braille Printers with / BrlGraphEditor ; Mario Batusic ; Franz Urban
TeDUB: A System for Presenting and Exploring Technical Drawings for Blind People / Christoph Schlieder ; Paul Blenkhorn ; Gareth Evans ; Alasdair King ; Anne-Marie O'Neill ; George T. Ioannidis ; Blaithin Gallagher ; Rolf Mager ; Maurizio Alafaci
Improvement of User Interface for Blind PC Users / Yutaka Shimizu ; Masami Shinohara ; Hideji Nagaoka ; Yasushige Yonezawa
Haptic and Audio Interfaces and Virtual Reality for Blind and Partially Sighted People
Haptic Perception of 2D Pictures and 3D Objects: Accurate Mental Representation as a Function of Visual Status / Helen Graupp ; Leanne Thompson
Microelectrical Mechanical Systems Actuator Array for Tactile Communication / Eniko T. Enikov ; Kalin V. Lazarov ; Gilbert R. Gonzales
Designing Interactive Tactile Diagrams / Ben Challis
Going Places with "KnowWare": Virtual Reality Maps for Blind People / Damian T. Murphy ; Michael C. Kelly ; Anthony I. Tew ; Myron W. Krueger
Blind People - Human Computer Interaction
Mental Models of Blind Users in the Windows Environment / Sri Hastuti Kurniawan ; Alistair Sutcliffe
An Approach to Producing New Languages for Talking Applications for Use by Blind People / D.G. Evans ; K. Polyzoaki ; P. Blenkhorn
User Requirements for Technologies for Personal Communication andInformation Use for Deafblind People / Wendy Fisher
Project IPSIS - WebPortal and Linux for the Blind / Danko Butorac
An Analysis of Layout Errors in Word Processed Documents Produced by Blind People / T. Diggle ; S. Kurniawan
Windows Screen Reader User Survey in Japan / Chuji Sashida ; Shinichi Okada
Tools for Creating Documents in 'Preferred Format' for Visually Impaired People
Blind People - Braille Printing
Braille Printing System / Shunsuke Hara ; Ryoko Kawamitsu ; Kanako Kusunoki ; Hiroshi Sato ; Mamoru Fujiyoshi
Braille Contractions in WinBraille / Mats Blomquist
Braille to Text Translation for Hungarian / Andras Arato ; Theresa Vaspori
The WinBraille Approach to Producing Braille Quickly and Effectively / Per Burman
People with Disabilities - Daily Living
Haptic Device System for Upper LimbMotor Function and CognitiveFunction Rehabilitation / Yoshiyuki Takahashi ; Takafumi Terada ; Kaoru Inoue ; Satoshi Sasada ; Takashi Komeda
Networking for Accessibility: Elderly People and New Technology / Sirkku Männikkö-Barbutiu
Tele-Help and Remote Service Provision Using RESORT Prototype System / Andreas Hochgatterer ; Mathijs Soede
Making Yourself at Home - Portable Personal Access Preferences / Jutta Treviranus
EU Project SILC - Personal Bio-Sensor Based Alarm System / Peter Mayer ; Georg Edelmayer
Videophones: Useful Assistive Devices for Visually Impaired Persons? / Morten Tollefsen ; Magne Lunde
HMPH - "Habitat Mobile pour Personnes Handicapees" - Software for the Design of an Adapted Living Area / Jérôme Leloup ; Pierre Gaucher
"Bonkers". Increasing Literacy Skills: An Eclectic Electronic Teaching Approach Gone "Bonkers" / Diana P. James
Access Music
Spoken Music: Enhancing Access to Music for the Print Disabled / Sijo Dijkstra ; Edmar Schut ; Natasha Lindsay
A Music Score Recogniser for the Blind / Angelo Da Ronch ; Adriano Blason
Visualization of Music Notation for Partially Sighted Persons / Tatiana Evreinova
Accessing the Software Studio / Mark A. Hilared
People with Disabilities - Political, Legal, and Individual Aspects
Opening Doors to Information Technology - Section 508 of the USRehabilitation Act of 1973 / Helen Chamberlain
Access: The North American Experience of Legislating Attitudes / Zachariah Cameron
An Open Machine Translation System for Augmentative and Alternative Communication / Constantinos Viglas ; Georgios Kouroupetroglou
Capabilities and Limitations of the Disabled in Remote Access to Information / Ryszard Kowalik
IMPACT: An Example of Information, Awareness, and Legislation, Leading toward a More Accessible Workplace / Charmaine Mueller Iversen
IT-Certficiates to Foster the Vocational Integration of People with Disabilities: ECDL® PD
IT-Certificates to Foster the Vocational Integration of People with Disabilities: ECDL® PD / Andrea Petz ; Denise Leahy
ECDL for Visually Impaired Persons: Learning Materials, Individual Training, and Distance Education
ECDL® PD - Using a Well Known Standard to Lift Barriers on the Labour Market
KISS - Keep It Short and Simple?
Many Ways to ECDL
Studying and Academic Mobility - IT Support for People with Disabilities
Studying and Academic Mobility - IT Support for Students with Disabilities / Joachim Klaus
Developing Academic Skills among Print Disabled Students: IT Based Austrian-Wide Network for Service Provision
Access to Learning for All / Mirela Arion ; Radu Ciupa ; Marius Iulian Tutuianu
The Evolving Door: Providing Technology Access for Post-secondary Students in a Constantly Changing Technology-Based Culture / Janice Hecht ; Bogdan Zamfir
Taking Assistive Technology to the Highest Degree / Todd Schmiedl ; S.L. Dyser
Learning from Each Other: Comparing the Service Provision for Blind and Visually-Impaired Students in Post-secondary Education in Japan and Europe / Hiroshi Katoh ; Martin Pauly
How Accessible Are Web Information Resources for Students with Disabilities? / Sri H. Kurniawan
Providing Assistive Technology and Alternate Media in Community Colleges: A Case Study / Calais Roussel
International Collaboration to Improve Assistive Technology Outcomes
The Study of Assistive Technology Outcomes in the United States / Marcia J. Scherer
Future Challenges in AT Outcome Measurement / Luc P. de Witte ; G.J. Gelderblom ; R.D. Wessels
European Instruments for Assistive Technology Outcome Assessment / L.P. de Witte
Implementing Outcomes Measurement in an Assistive Technology Service Delivery System / Gerald Craddock
Author Index
Invited Contributions
Structured Access to Documents, Digital Talking Books, and Beyond: The DAISY Consortium / George Kerscher
eEurope - eAccessibility - User Participation Participation of People with Disabilities and Older People in the Information Society (Introduction to the Special Thematic Session) / Christian Bühler
36.

図書
図書
36. Computer safety, reliability and security : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
Udo Voges (ed.)
出版情報: Berlin : Springer, c2001  xvi, 248 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2187
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Designing Safety into Medical Decisions and Clinical Processes / John Fox
Reliability Assessment and Security
Security Assessments of Safety Critical Systems Using HAZOPs / Rune Winther ; Ole-Arnt Johnsen ; Bjørn Axel Gran
Network Security for Substation Automation Systems / Martin Naedele ; Dacfey Dzung ; Michael Stanimirov
A Bayesian Belief Network for Reliability Assessment / Atte Helminen
Safety Case and Safety Analysis
Checking General Safety Criteria on UML Statecharts / Zsigmond Pap ; István Majzik ; András Pataricza
Presenting a Safety Case - A Case Study / Odd Nordland
Safety Functions versus Control Functions / Hans R. Fankhauser
Medical Systems
A Fail-Safe Dual Channel Robot Control for Surgery Applications / Ulrich Laible ; Thomas Bürger ; Günter Pritschow
Modelling the Human in Human Factors / John Rushby
HHuman-Machine Interfac
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach / Oliver Mäckel ; Georg Hoever
Analysis of Incidents Involving Interactive Systems / Alberto Pasquini ; Antonio Rizzo ; Luca Save
COTS - Components off the Shelf
Experimental Evaluation of Fault Handling Mechanisms / Piotr Gawkowski ; Janusz Sosnowski
The COTS Debate in Perspective / Felix Redmill
Testing
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models / Mohamed Kaâniche ; Yannick Le Guédart ; Jean Arlat ; Thierry Boyer
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures / Ioannis Vakalis
The Effectiveness of Statistical Testing when Applied to Logic Systems / Silke Kuball ; Gordon Hughes ; John H.R. May ; Julio Gallardo ; Andrew D. John ; Roy B. Carter
Formal Methods
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B / Gunther Zoffmann ; Manfred Gingerl ; Christian Reumann ; Gerald Sonneck
Safety Patterns - The Key to Formal Specification of Safety Requirements.. / Friedemann Bitsch
Formal Support for Fault Modeling and Analysis / Tadeusz Cichocki ; Janusz Górski
Project Experience with IEC 61508 and Its Consequences / Rainer Faller
Control Systems
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach / Paul Caspi ; Christine Mazuet ; Natacha Reynaud Paligot
Dependability Evaluation - From Functional to Structural Modeling / Cláudia Betous-Almeida ; Karama Kanoun
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems / Stefano Porcarelli ; Felicita Di Giandomenico ; Amine Chohra ; Andrea Bondavalli
Author Index
Invited Paper
Designing Safety into Medical Decisions and Clinical Processes / John Fox
Reliability Assessment and Security
37.

図書
図書
37. Computer safety, reliability and security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
Stuart Anderson, Sandro Bologna, Massimo Felici (eds.)
出版情報: Berlin : Springer, c2002  xx, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2434
所蔵情報: loading…
38.

図書
図書
38. Proceedings : 11th International Symposium on Software Reliability Engineering : ISSRE 2000, October 8-11, 2000, San Jose, California, USA (: case ; : microfiche)
sponsored by Reliable Software Technologies, Telcordia Technologies, IBM Corp. ; organized by the IEEE Computer Society Technical Council on Software Engineering and the IEEE Reliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  x, 377 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Organizing Committee
Program Committee
Keynote
Discard the Bathtub Model for the Shower Model / Mike Prowse
Panel
Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask / John Musa
Papers by Sessions
OO Methods
Building Trust into OO Components Using a Genetic Analogy / B. Baudry ; V. Le Hanh ; J. Jezequel ; Y. Le Traon
Criteria for Testing Polymorphic Relationships / R. Alexander ; J. Offut
Thresholds for Object--Oriented Measures / S. Benlarbi ; K. El Emam ; N. Goel ; S. Rai
Modeling
Heuristic Self-Organization Algorithms for Software Reliability Assessment and their Applications / T. Dohi ; S. Osaki ; K. Trivedi
Estimating the Failure Rate of Evolving Software Systems / D. Jeske ; M. Qureshi
Module Size Distribution and Defect Density / Y. Malaiya ; J. Denton
Quantitative Software Reliability Modeling from Testing to Operation / C.-Y. Huang ; S.-Y. Kuo ; M. Lyu ; J.-H. Lo
Testing I
Structural Testing of Web Applications / C.-H. Liu ; D. Kung ; P. Hsia ; C.-T. Hsu
Evaluation of Regressive Methods for Automated Generation of Test Trajectories / B. Taylor ; B. Cukic
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences / L. White ; H. Almezen
Quantitative Methods
Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion / L. Briand ; B. Freimut ; F. Vollei
Contributing to the Bottom Line: Optimizing Reliability-Cost-Schedule Tradeoff and Architecture Scalability through Test Technology / D. Boyd ; D. Cura ; W. Ehrlich ; R. Gotberg ; R. Hariharan ; P. Reeser
How to Measure the Impact of Specific Development Practices on Fielded Defect Density / A. Neufelder
Testability
Analyzing Testability on Data Flow Designs / F. Oaubdesselam ; C. Robach
A Software Falsifier / D. Brand
Planner Based Error Recovery Testing / A. von Mayrhauser ; M. Scheetz ; E. Dahlman ; A. Howe
Risk Assessment
Improving Tree-Based Models of Software Quality with Principal Components Analysis / T. Khoshgoftaar ; R. Shan ; E. Allen
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics / S. Yacoub ; H. Ammar ; T. Robinson
Testing Nondeterminate Systems / T. Menzies ; H. Singh ; J. Powell
Measures
On the Repeatability of Metric Models and Metrics Across Software Builds / N. Schneidewind
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion / M. Li ; C. Smidts ; R. Brill
Modeling Fault-Prone Modules of Subsystems / V. Thaker
Safety
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees / D. Coppit ; K. Sullivan ; J. Dugan
Extending Fault Trees with an AND-THEN Gate / P. Wijayarathna ; M. Maekawa
Risk Bands--A Novel Feature of Safecharts / N. Nissanke ; H. Dammag
Testing II
SALT--An Integrated Environment to Automate Generation of Function Tests for APIs / A. Paradkar
Assessing the Sensitivity to Usage Profile Changes in Test Planning / A. Wesslen ; P. Runeson ; B. Regnell
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications / S. Sze
Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD / M. Popovic ; V. Kovacevic
Theory
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools / J. Aleman ; A. Alvarez
Formal Limits on Determining Reliabilities of Component-Based Software Systems / M. Kappes ; R. Klemm ; C. Kintala
Software Black Box: An Alternative Mechanism for Failure Analysis / S. Elbaum ; J. Munson
Author Index
Foreword
Organizing Committee
Program Committee
39.

図書
図書
39. Proceedings, 16th International Symposium on Software Reliability Engineering : ISSRE 2005, 8-11 November 2005, Chicago, Illinois
sponsored by IEEE Computer Society, Rliability Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xii, 357 p. ; 28 cm
所蔵情報: loading…
40.

図書
図書
40. Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
Tullio Vardanega, Andy Wellings (eds.)
出版情報: Berlin : Springer, c2005  xv, 271 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3555
所蔵情報: loading…
41.

図書
図書
41. Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings
Rune Winther, BjØrn Axel Gran, Gustav Dahll (eds.)
出版情報: Berlin : Springer, c2005  xiii, 404 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3688
所蔵情報: loading…
42.

図書
図書
42. Computers helping people with special needs : 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004 : proceedings
Klaus Miesenberger ... [et. al] (eds.)
出版情報: Berlin : Springer, c2004  xxiii, 1191 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3118
所蔵情報: loading…
目次情報: 続きを見る
We Are All Blind: Cognetics and the Designing of Interfaces for Accessibility / J. Raskin
From the Human Interface to the Humane Interface
The Design Question of Development of Multimedia Educational Software for Aphasia Patients / C. Sik Lányi ; E. Bacsa ; R. Mátrai ; Z. Kosztyán ; I. Pataky
Multimedia Programs for Children with Hearing Difficulties / Á. Váry ; A. Sik ; A. Nemetz ; Z. Geiszt
Multimedia and Virtual Reality in the Rehabilitation of Autistic Children / Á. Tilinger
Mobile Phone Based User Interface Concept for Health Data Acquisition at Home / G. Schreier ; A. Kollmann ; M. Kramer ; J. Messmer ; A. Hochgatterer ; P. Kastner
Multi-parameter Data Acquisition on Interface Devices for the Development of Adaptive Input Systems / S. Mina ; B. Prazak ; S. Hanke
Design for All: Awareness, Guidelines and Policy
How Governments Can Use Technology to Promote Employment of People with Disabilities / D.F.B. Cohen ; I.R. Zeitzer
Influence of Accessibility Related Activities on the Usability of Business Software / R. Jani ; M. Schrepp
Data Entry in Application-Independent Voice Interfaces / F. James ; J. Roelands ; R. Gurram
Designing User Interfaces Tailored to the Current User's Requirements in Real Time / M. González Rodríguez ; J.R. Pérez Pérez ; M.P. Paule Ruíz
Evaluating Accessibility of Public Information Kiosks / S. Lee ; J.E. Cho
Design for All in IST - Co-operation in Europe
European Co-operation Activities Promoting Design for All in Information Society Technologies / C. Bühler ; C. Stephanidis
A Special Design Approach for Special People / M. Zajicek
Accessibility from Scratch: How an Open Focus Contributes to Inclusive Design / D. Crombie ; R. Lenoir ; N. McKenzie
Design for All: Experience-Based Strategies for User Involvement in IST Research Projects / T. Vereist
IDCnet: Inclusive Design Curriculum Network - First Results / C.A. Velasco ; J. Engelen ; C. Strobbe ; J. Darzentas ; P. Tahkokallio ; C. Nicoiie ; R. Romero
Personalization of Interactive Systems
Learning from Internet Requirements of People with Communication Needs / H. Petrie ; G. Weber ; C. Nicolle ; Z. Osman ; K. Black ; A. Lysley
IPCA: Adaptive Interfaces Based upon Biofeedback Sensors / Y. Mohamad ; D. Stegemann ; H. Gappa ; G. Nordbrock ; E. Hartsuiker ; J. Sánchez-Lacuesta ; J.M. Belda
Adaptation of Multimedia Browsing Techniques / K. Weimann ; I. Langer
Adapting Presentation and Interaction with XML Documents to User Preferences / B. Encelle ; N. Baptiste-Jessel
e-Learning and Accessibility
Living, Teaching and Learning at Any Time and at Any Place. e-Learning - Opportunities and Barriers for Visually Impaired Students / J. Klaus
Accessibility for e-Learning Environments / M.L. Guenaga ; D. Burger ; J. Oliver
ECDL-PD: International Co-operation to Keep the Syllabus and MQTB Open for Everybody / K. Miesenberger ; M. Morandell ; A. Petz ; D. Leahy
Essential Competencies of Special Educator in Integrating Assistive Technology into the Curriculum / M.-C. Chen ; T.-F. Wu ; C.-N. Chu
Web Adaptation of Learning Objects for Special Access WALOSA / C Salis ; C. Lai ; C. Moulin
Postgraduate Course on Accessible Web Design / D Ortner ; M. Batušić
Cognitive Training with Animated Pedagogical Agents (TAPA) in Children with Learning Disabilities / S. Damm ; H. Tebarth
A Concept Map_Based Adaptive Tutoring System Supporting Learning Diagnosis for Students with Learning Disability / S.-Y. Choi
Tutor Informatico: Increasing the Selfteaching in Down Syndrome People / E Campos ; A. Granados ; S. Jiménez ; J. Garrido
The Effect of Assistive Technology on Educational Costs: Two Case Studies / A. Gips ; P.A. DiMattia ; J. Gips
Making Music Accessible
Making Music Accessible. Introduction to the Special Thematic Session / B. Challis
The Design of Spoken Music Web Browser for Teaching Learning-Disabled Children: A Chevé System Approach to Music Notation / Y.T. Huang
DaCapo, a Project on Transforming Ink Printed to Braille Notes Semi-automatically. The Project's Current State / T. Kahlisch ; M. Leopold ; C. Waldvogel
Using SVG and a Force Feedback Mouse to Enable Blind People to Access "Graphical" Web Based Documents / B. Tornil
Modified Stave Notation - An Approach to Making Stave Notation More Accessible to Users Who Are Partially Sighted / S.-A. Zimmermann
Accessible Games and Entertainment
Entertaining Software for Young Persons with Disabilities / M. Tollefsen ; M. Lunde
The TiM Project: Overview of Results / D Archambault
3D Shooting Games, Multimodal Games, Sound Games and More Working Examples of the Future of Games for the Blind / E Velleman ; R. van Tol ; S. Huiberts ; H. Verwey
Choosing Methods for Prototype Testing of Inclusive Computer Games / L. van Leeuwen ; A. Power ; P. Ellis
Accessible Tourism
It's Time to Make eTourism Accessible / F. Pühretmair
Tourism Information Systems Promoting Barrier-Free Tourism for People with Disabilities / H. Rumetshofer ; W. Wöß
AccesSights - A Multimodal Location-Aware Mobile Tourist Information System / P. Klante,J.Kröosche ; S. Boll
Accessibility and the Next Generation of Web Development Tools
Preferences of People with Disabilities to Improve Information Presentation and Information Retrieval Inside Internet Services - Results of a User Study
Web Accessibility through Adaptation / C. Alexandraki ; A. Paramythis ; N. Maou
imergo: Supporting Accessibility and Web Standards to Meet the Needs of the Industry via Process-Oriented Software Tools / J. Koch
Evaluation Methodology and Quality Mark for Web Accessibility / E. Velleman
A Cost-Benefit Approach for Accessible Web Presence / V. Heerdt ; C. Strauss
The Use of Current Content Management Systems for Accessibility / L. Burzagli ; M. Billi ; F. Gabbanini ; P. Graziani ; E. Palchetti
Accessing Documents via Audio: An Extensible Transcoder for HTML to Voice XML Conversion / N. Annamalai ; G. Gupta ; B. Prabhakaran
Listener-Controlled Dynamic Navigation of VoiceXML Documents / H. Reddy
Toward User-Centered, Scenario-Based Planning and Evaluation Tools / P. Bohman ; S. Anderson
Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms / E. Pontelli ; R. Reddy
Elderly and Disabled People: Therapy and Care
Virtual Reality Based Therapy Application for Developmental Disordered Children / Y. Takahashi ; Y. Ito ; T. Yamashita ; T. Terada ; K. Inoue ; Y. Ikeda ; K. Suzuki ; H.Lee ; T. Komeda
Real-Time Health-Monitoring Network for Disabled and Elderly People / Y.B. Kim ; J.Y. Kim
A Computer-Based Self-health Monitoring System for the Elderly Living in a Low Income Housing Environment / J.F. Karshmer ; A.I. Karshmer
Investigations to Develop a Fully Adjustable Intelligent Toilet for Supporting Old People and Persons with Disabilities - The Friendly Rest Room (FRR) Project / P. Panek ; G. Edelmayer ; C. Magnusson ; P. Mayer ; J.F.M. Molenbroek ; H. Neveryd ; R. Schlathau ; W.L. Zagler
Tele-surveillance System for Patient at Home: The MEDIVILLE System / J.-L. Baldinger ; J. Boudy ; B. Dorizzi ; J.-P. Levrey ; R. Andreao ; C. Perpère ; F. Delavault ; F. Rocaries ; C. Dietrich ; A. Lacombe
Classification of Infant Crying to Identify Pathologies in Recently Born Babies with ANFIS / O.F. Reyes-Galaviz ; E. Arch Tirado ; C.A. Reyes-Garcia
Improving Quality of Life and Well-Being for Children and the Elderlythrough Vibroacoustic Sound Therapy
Multimodal Control Centre for Handicapped People / V. Tomico ; E. Campos ; J. Tejedor
Blind and Visually Impaired People: Orientation and Mobility
proXimity: Ad-Hoc Networks for Enhanced Mobility / S. Harper ; S. Pettitt ; C. Goble
A Context-Aware Locomotion Assistance Device for the Blind / C. Jacquet ; Y. Bellik ; Y. Bourda
Navigator - A Talking GPS Receiver for the Blind / R. Kowalik ; S. Kwasniewski
Dynamic Lighting Sign System for Way-Finding by People with Low Vision / J. Akita ; K. Ito ; I. Gyobu ; K.-i. Kimura ; A. Mihara ; R. Mizuno ; J.-i. Nakakoji ; K. Yanagihara
Visual System to Help Blind People to Cross the Street / J. Aranda ; P. Mares
CyARM - Interactive Device for Environment Recognition Using a Non-visual Modality / M. Okamoto ; T. Ono ; T. Takagi
Walking Support Using Compact Terminals with Infrared Audio Communication / S. Oyama ; I.E. Yairi ; S. Igi ; T. Nishimura
The Development of Virtual 3D Acoustic Environment for Training ‘Perception of Crossability' / T. Shiose ; K.Ito ; K. Mamada
Blind People: Braille Interfaces
Six-In - Braille Input from a QWERTY Keyboard / P. Blenkhorn ; G. Evans
A Pair of Wireless Braille-Based Chording Gloves / S.S. An ; J.W. Jeon ; H. Choi ; H.-G. Choi
OBOE: Oboe-Like Braille Interface for Outdoor Environment / T. Amemiya ; K. Hirota ; M. Hirose
Java-Powered Braille Slate Talker / A. Arato ; Z. Juhasz ; G. Evreinov
Blind and Visually Impaired People: Access to Documents and Information
Towards an Integrated Publishing Chain for Accessible Multimodal Documents / B. Guillon ; J.-L. Monteiro ; C. Checoury ; D. Archambault
Presenting UML Software Engineering Diagrams to Blind People / A. King ; S. Dijkstra ; J. Wood
Linear Searching in a Non-linear Environment: The Information SeekingBehaviour of Visually Impaired People on the World Wide Web / J. Craven
Text Comprehension by Blind People Using Speech Synthesis Systems / L. González García
Access to Information at Your Own Choice by the Aid of Digital Talking Books / T.K. Christensen
Talking Linux for the Blind - A CD Distribution with Speech / D Butorac
Accessing Web Based Documents through a Tree Structural Interface / E Walshe ; B. McMullin
Multimedia Medicine Consultant for Visually Impaired People / D. Bolaños ; N. Morales ; J. Colás ; S. Aguilera
Blind and Visually Impaired People: Education and Training
Computer for Persons with Visually Impairment: A Door to Education, Information and Employment / A.H.M.N. Khan ; S.N. Chowdhury
Usability of Educational Software for Visual Impairment: A Question of Viewpoint / S. Dini ; L. Ferlino ; C. Martinoli
Use of Bar Code and RFID for the Visually Impaired in Educational Environment / H. Tatsumi ; Y. Murai ; M. Miyakawa ; S. Tokumasu
Virtual Disability: Simulations as an Aid to Lecturers' Understanding of Disability / S. Ball ; J. Rousell
Multimedia Software Training Tool (MSTT) for Persons with Visual and Mobile Impairments in Four Languages / A. Mousadakou ; M. Gemou ; E. Bekiaris
Designing New Technology Based Services to Support Visually Impaired Computer Workers (VICWs) / J.J. Beumer ; M. Wiethoff ; J. Attema
Design and Use of Pseudo-electronic Whiteboard for Low-Vision Education
Blind People: Access to Mathematics
Mathematics for Blind People
The Architecture of a Comprehensive Equation Browser for the Print Impaired / C.Bledsoe ; P.B. Stanley
Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments / B. Palmer
Utilizing Scalable Vector Graphics in the Instruction of Mathematics to the Print Impaired Student / C. Bledsoe
Cognitive Analysis of Equation Reading: Application to the Development of the Math Genie / D.J. Gillan ; P. Barraza ; S. Pazuchanics
Automatic Conversions of Mathematical Braille: A Survey of Main Difficulties in Different Languages / V. Moço
Multi-modal Mathematics: Conveying Math Using Synthetic Speech and Speech Recognition / D. Fitzpatrick
An Integrated OCR Software for Mathematical Documents and Its Output with Accessibility / M. Suzuki ; T. Kanahori ; N. Ohtake ; K. Yamaguchi
Mathematical Working Environment for the Blind Motivation and Basic Ideas / B. Stöger
Towards a Universal Maths Conversion Library
math2braille: Opening Access to Mathematics / A. Barker
Enhancing the Accessibility of Mathematics for Blind People: The AudioMath Project / H. Ferreira ; D. Freitas
Handwriting Input System of Graphs for Barrier-Free Mathematical Communications / R. Fukuda ; M. Yo ; T. Kawahara
Blind People: Access to Graphics and Haptic Interfaces
Three Dimensionally Perceived Planar Tactile Illusion Device and Method / G.R. Gonzales
Touching Geometry for Blind Pupils / S. Rouzier ; B. Hennion ; T. Pérez Segovia ; D. Chêne
An Indicating, Leading Manipulator as a Good Hand at Teaching Strokes: A Mental-Image-Creation Support System / Y. Nomura ; H. Kakehashi ; T. Sugiura ; H. Matsui ; N. Kato
The Bigger Picture: Automated Production Tools for Tactile Graphics / G. Ioannidis
Two Dimension Interactive Voice Browser for the Visually Impaired
Exploring Scalable Vector Graphics for Visually Impaired Users / M. Rotard ; K. Otte ; T. Ertl
Communication System for the Blind Using Tactile Displays and Ultrasonic Pens - MIMIZU / M. Kobayashi ; T. Watanabe
Directly Accessible Mainstream Graphical Information / J.A. Gardner ; V. Bulatov
Simple Pattern Creation Using a Pen Input Guide and Sound Localization for the Visually Impaired / M. Sugimoto ; K. Itoh ; M. Shimizu
An Approach for Direct Manipulation by Tactile Modality for Blind Computer Users: Principle and Practice of Detecting Information Generated by Touch Action / M. Shimojo ; M. Shinohara ; M. Tanii ; Y. Shimizu
Mobility Impaired People: HCI
Remote Eye Gaze Tracking System as a Computer Interface for Persons with Severe Motor Disability / M. Adjouadi ; A. Sesin ; M. Ayala ; M. Cabrerizo
Controlling a PC by Eye Movements: The MEMREC Project / M. Fejtová ; J. Fejt ; L. Lhotská
HeadControl+: A Multi-modal Input Device / M. Mühlehner
Accessibility through Standard Low Cost Pointing Devices / G. Kronreif
Optimisation of the Selection Set Features for Scanning Text Input / J. Abascal ; L. Gardeazabal ; N. Garay
FastScanner: An Accessibility Tool for Motor Impaired Users / S. Ntoa ; A. Savidis
A Real-Time Voice Controlled Human Computer Interface to Help Persons with Motor Disability / D. Landestoy ; W. Tischer
First User Test Results with the Predictive Typing System FASTY / C. Beck ; G. Seisenbacher
Mobility Impaired People: Rehabilitaiton and Health Care
Movement Variability and Speed of Performance Using a Head-Operated Device and Expanded Membrane Cursor Keys / G.J. Capilouto
An Examination about Walking Posture on Gait Training System for Computer-Aided Rehabilitation / H. Ikeuchi ; F. Kamifukumoto ; S. Arakane ; K. Ohnishi ; K. Imado ; H. Miyagawa ; Y. Saito
Optimizing Menu Selection Process for Single-Switch Manipulation / G Evreinov ; R. Raisamo
Designing an Evaluation Method for Computer Accessibility for People with Severe Disabilities / R. Kadouche ; B. Abdulrazak ; M. Mokhtari
Computerized Assessment Tool for Mouse Operating Proficiency / L.-F. Meng ; C.-F. Hsieh ; T.-Y. Li
Applications of Computer Access Approach to Persons with Quadriplegics / S.C.-H. Chang ; A.-M. Chou ; T. Yang ; C.C. Hui ; K.A. Chiao ; Y.L. Lin ; P.-t. Weng ; Y.-c. Shih ; T.-y. Lu ; N.-h. Yeh
Computer Access for Persons with Spinal Cord Injury / H.-P. Wang ; W.-T. Wu
An Assessment into Touch Screen Input Devices for Cervical Spinal Injured Computer Users / R.C.C. Chen ; D.T. Tsai ; L.-C. Chang ; N. Higgett
Home-Use Upper Limb Rehabilitation Device for Cervical Spinal Cord Injured Patients / E. Goto ; F. Sugiki ; N. Kito ; H Miyagawa
Smart Environments for All
The Assistive Home - More than Just Another Approach to Independent Living? / G. Nussbaum
Technology Usage for Dependant People: Towards the Right Balance between User Needs and Technology / C. Penaud
Coupling Context Awareness and Multimodality in Smart Homes Concept / M.A. Feki ; S. Renouard ; G. Chollet
On the Design of Ambient Intelligent Systems in the Context of Assistive Technologies / J.L. Sevillano ; J. Falcó ; A. Civit-Balcells ; G. Jiménez ; S. Vicente ; R. Casas
PACS: Communication and Environment Control System for Disabled / V. Lauruska
Performance Analysis of User Interface for the Disabled in Real-Time Ubiquitous Information Network
The HM2PH Project: A Database to Help Prescription of Assistive Technologies / J. Leloup ; P. Gaucher ; S. Pellieux
Networking and Communication in Smart Home for People with Disabilities / M. Ghorbel ; M.-T. Segarra ; J. Kerdreux ; R. Keryell ; A. Thepaut
SmartX - Enabling Traditional Environmental Control to Use Standard HCI
Indoors Pervasive Computing and Outdoors Mobile Computing for Cognitive Assistance and Telemonitoring / S. Giroux ; H.Pigot ; A. Mayers
People with Cognitive, Speech and Learning Impairment: Autism
Computer Use for People with Learning Difficulties: Basic Needs / P. Tréhin
Using ‘Ambient Intelligence’ for Compensating Intellectual Difficulties of People with Severe Learning Difficulties and/or Autistic Spectrum Disorders / G. Herrera ; A. Plasencia ; G. Labajo ; R. Jordan ; C. de Pablo
Assessing B.A.Bar Device as a Tool for Supporting Labour Integration of a Severely Affected Person with Autism Who Carries Out Classifying Tasks
People with Cognitive, Speech and Learning Impairment: Software Accessibility
An Adaptive and Predictive Environment to Support Augmentative and Alternative Communication / N. Gatti ; M. Matteucci ; L. Sbattella
Intelligent Model for Rating Cognitive Capability for Computer Access of People with Disabilities / T.A. Pushchak ; S. Sasi
Automatic Modification of Text for People with Learning Disabilities Using Internet Services
Soft Keyboard for the Disabled / P. Gnanayutham ; C. Bloor ; G. Cockton
A Talking Word Processor and Web Browser / M. Kritikos
Sibyl: AAC System Using NLP Techniques / I. Schadle
People with Cognitive, Speech and Learning Impairment: Education and Training
Mobile Devices Converted into a Speaking Communication Aid / B. Tóth ; G. Németh ; G. Kiss
SOCRATES: Barrier Free Communities of Aphasics on the Internet / M. Spaniol ; L. Springer ; R. Klamma ; M. Jarke
Evaluations of an Information and Communication Technology (ICT) Training Programme for Persons with Intellectual Disabilities / C.W.P. Li-Tsang,C.C.H.Chan,C.S.Lam ; C.Hui-Chan ; S.-s. Yeung
Effect of Dynamic Features on Diagnostic Testing for Dyspraxia / M.A. Razian ; M.C. Fairhurst ; S. Hoque
Feature Selection Optimisation in an Automated Diagnostic Cancellation Task / S. Chindaro ; R.M. Guest ; J.M. Potter
Minus-Two: Multimedia, Sound Spatialization and 3D Representation for Cognitively Impaired Children / T. Barbieri ; A. Bianchi
Neuropsychological Function for Accessibility of Computer Program for People with Mental Retardation / A.W.W. Wong ; C.C.H. Chan ; C.W.P. Li-Tsang ; C.S. Lam
Deaf People: Sign Language and Digital Media
Accessible Digital Media and Sign Language / D Fels
Integration of Signage Information into the Web Environment / R. Aouf ; S. Hansen
Progress in Automated Computer Recognition of Sign Language / B.L. Loeding ; S. Sarkar ; A. Parashar
Creating Sign Language Web Pages / D.G. Lee ; J. Richards ; J. Hardman ; S. Soudain ; D. Fels
Sign Language Communication Support at the Class for Hearing Impaired Using a Control Camera / H. Minagawa
CD-ROM on Austrian Sign Language: Course OEGS 1, Lesson 1-6 / M. Hilzensauer
Developing an e-Learning Platform for the Greek Sign Language / E Efthimiou ; G. Sapountzaki ; K. Karpouzis ; S.-E. Fotinea
Design of Computer Animation of Japanese Sign Language for Hearing-Impaired People inStomach X-Ray Inspection / K. Morimoto ; T. Kurokawa ; N. Isobe ; J. Miyashita
Basic Study of a Communication Device for the Deaf-Blind Using a Finger and a Palm - Measurement of Finger Speed and Pressure / C. Wada ; Y. Wada
A Tactile Display System in the Use of a PC for Individuals Who Are Deaf-Blind / M. Sakajiri ; S. Okada ; A. Sadakane ; N. Sugiyama ; H. Tomita ; T. Ifukube
Deaf and Hearing Impaired People: ICT and AT
Approaches to Using a Wireless Mobile Terminal to Help Severely Hearing Impaired People / S. Moh
A Preparatory Study for Designing Web-Based Educational Materials for the Hearing-Impaired / M. Namatame ; M. Kitajima ; T. Nishioka ; F. Fukamauchi
FLIPPS: Fingertip Stimulation for Improved Speechreading / H.-H. Bothe ; A.F. Mohamad ; M.R. Jensen
A New Mobile Text Telephony System Based on GPRS Communications / S.Jiménez ; M.-S. Torre
Head Mounted Display as a Information Guarantee Device for Hearing Impaired Students
Facial and Head Movements of a Sign Interpreter and Their Application to Japanese Sign Animation / S. Kawano
SYNFACE - A Talking Head Telephone for the Hearing-Impaired / J. Beskow ; I. Karlsson ; J. Kewley ; G. Salvi
Author Index
We Are All Blind: Cognetics and the Designing of Interfaces for Accessibility / J. Raskin
From the Human Interface to the Humane Interface
The Design Question of Development of Multimedia Educational Software for Aphasia Patients / C. Sik Lányi ; E. Bacsa ; R. Mátrai ; Z. Kosztyán ; I. Pataky
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼