Cargando…
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey /
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Park Ridge, N.J. :
Noyes Data Corp.,
[1995]
|
| Colección: | Advanced computing and telecommunications series.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Front Cover; Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems: An International Survey; Copyright Page; Preface; Notice; Table of Contents; VOLUME 1: PURPOSE, APPROACH, ANALYSIS, AND CONCLUSIONS; CHAPTER 1. AN INTERNATIONAL SURVEY OF INDUSTRIAL APPLICATIONS OF FORMAL METHODS; Introduction; CHAPTER 2. FORMAL METHODS; 2.1 An Historical Perspective; 2.2 What is Formal Methods?; 2.3 What are the Limits of Formal Methods?; 2.4 Specific Formal Methods; CHAPTER 3. CASE SUMMARY; 3.1 Regulatory Cluster; 3.2 Commercial Cluster; 3.3 Exploratory Cluster.
- CHAPTER 4. METHODOWGY4.1 Areas of Interest; 4.2 Acquisition of Information; 4.3 Questionnaires; 4.4 Analytic Framework; 4.5 Cluster Analysis; 5. REGULATORY CLUSTER ANALYSIS; 5.1 Introduction; 5.2 Cases; 5.3 Observations; 5.4 Analysis; CHAPTER 6. COMMERCIAL CLUSTER ANALYSIS; 6.1 Introduction; 6.2 Cases; 6.3 Observations; 6.4 Analysis; CHAAPTER 7. EXPWRATORY CLUSTER ANALYSIS; 7.1 Introduction; 7.2 Cases; 7.3 Observations; 7.4 Analysis; CHAPTER 8. KEY EVENTS AND TIMING; 8.1 Starter; 8.2 Booster; 8.3 Current State; 8.4 Timing; 9. ANALYSIS OF FORMAL METHODS R & D SUMMARY; 9.1 Regulatory Cluster.
- 9.2 Commercial Cluster9.3 Overall Observations; CHAPTER 10. FINDINGS, OBSERVATIONS AND CONCLUSIONS; 10.1 Maturing of Formal Methods; 10.2 Scale of Application; 10.3 Primary Uses of Formal Methods; 10.4 System Certification; 10.5 Tool Support; 10.6 Technology Transfer; 10.7 Formal Methods Skills are Building; 10.8 Code Level Application of Formal Methods; 10.9 Inadequate Cost Models; CHAPTER 11. REFERENCES; VOLUME 2: CASE STUDIES; CHAPTER 1. STRUCTURED SYSTEMS ANALYSIS AND DESIGN METHOD TOOLSET; 1.1 Case Description; 1.2 Interview Summary; 1.3 Evaluation; 1.4 Conclusions.
- CHAPTER 2. IBM's CUSTOMER INFORMATION CONTROL SYSTEM2.1 Case Description; 2.2 Questionnaire 1; 2.3 Interview Summary; 2.4 Evaluation; 2.5 Conclusions; CHAPTER 3. CLEANROOM SOFTWARE METHODOWGY; 3.1 Case Description; 3.2 Interview Summary: IBM; 3.3 Interview Summary: NASA Goddard Center; 3.4 Evaluation; 3.5 Conclusions; CHAPTER 4. DARLINGTON: TRIP COMPUTER SOFTWARE; 4.1 Case Description; 4.2 Interview Summary; 4.3 Evaluation; 4.4 Conclusions; CHAPTER 5. LaCoS ESPRIT PROJECT; 5.1 Case Description; 5.2 Questionnaire 1; 5.3 Interview Summary; 5.4 Evaluation; 5.5 Conclusions.
- CHAPTER 6. MULTINET GATEWAY6.1 Case Description; 6.2 Interview Summary; 6.3 Evaluation; 6.4 Conclusions; CHAPTER 7. SACEM-A RAILWAY SIGNALLING SYSTEM; 7.1 Case Description; 7.2 Questionnaire 1; 7.3 KVS; 7.4 CTDC Calcutta; 7.5 Interview Summary; 7.6 Evaluation; 7.7 Conclusions; CHAPTER 8. NIST TOKEN-BASED ACCESS CONTROL SYSTEM (TBACS); 8.1 Case Description; 8.2 Questionnaire 1; 8.3 Interview Summary; 8.4 Evaluation; 8.5 Conclusions; CHAPTER 9. TEKTRONIX-USE OF Z METHOD ON OSCILWSCOPES; 9.1 Case Description; 9.2 Questionnaire 1; 9.3 Interview Summary; 9.4 Evaluation; 9.5 Conclusion.