Software System Design Methods -

. .

Résumé :
Proceedings of the NATO Advanced Study Institute on the Challenge of Advanced Computing Technology to System Design Methods Held at Grey College, University of Durham, UK, July 29 - August 10, 1985

Sommaire:
1. The Development of Low-Fault and Fault-Tolerant Software.- Four Applications of Software Data Collection and Analysis Methodology.- Recursively Structured Fault-Tolerant Distributed Computing Systems.- Knowledge Engineering Techniques Applied to Fault Detection Test Generation and Maintenance.- Software Development Under Statistical Quality Control.- Life Time Distributions for Coherent Systems.- Panel Discussion on Safety Analysis of Computer Programs Using Fault Trees.- 2. Human Factors in Development and Use of Software.- Psychological Research on Software Development.- From Interactive to Intelligent System.- Design and Use of Programming Languages.- Panel Discussion on Will Artificial Intelligence Make Human Factors Obsolete?.- 3. The Development and Status of Empirical/Statistical Reliability Models for Software and Their Relation to Reality.- Application of Basic and Logarithmic Poisson Execution Time Models in Software Reliability Measurement.- Tools for the Analysis of the Accuracy of Software Reliability Predictions.- The Use of Exploratory Data Analysis Techniques for Software Reliability Assessment and Prediction.- Failure Patterns and Reliability Growth Potential for Software Systems.- The Use of Regression Techniques for Matching Reliability Models to the Real World.- The Assessment of Software Reliability for Systems with High Reliability Requirements.- Process and Design Considerations as They Affect the Number, Nature and Disclosure of Software Faults.- Assessing System Reliability Using Censoring Methodology.- Statistical Design of Experiments for Computer Performance Evaluation.- Reliability Analysis for Integrated Voice/Data Networks.- Computers of the Fifth Generation and Their Role in Communications.- The Rationale of Reliability Prediction.- 4.The Economics of Computing and Methods of Cost Assessment.- Needs Assessment: The First Step in a Cost-Effective Design of a Computer-Based System.- Steps Toward Establishing Normal Rules for Software Cost, Schedule, and Productivity Estimating.- The Economics of Software.- Panel Discussion on Comparison of Evaluation Methods of Cost Assessment in Computing.- Panel Discussion on Software Cost Estimating.- 5. Security, Safety, Privacy and Integrity in Developing and in Using Computer Communication and Computer Data Storage and Retrieval.- Security, Privacy, Safety and Resiliency in Computation.- Software Hazard Analysis Techniques.- Data Security.- Panel Discussion on Human Beings as the Source of Problems, Concerns and Protection Needs, e. g. Computer Crime.- Summary of Panel Discussion on Women in Information Science.- List of Delegates.