Advances in Computers
Academic Press
Published on 7. June 1993
462 pages
978-0-08-056668-9 (ISBN)
Description
Advances in Computers
More details
Other editions
Additional editions
Marshall C. Yovits
Advances in Computers: v. 36
Book
03/1993
Academic Press
€86.66
Article exhausted; check different version
Person
Content
- Front Cover
- Advances in Computers, Volume 36
- Copyright Page
- Contents
- Contributors
- Preface
- Chapter 1. Zero Defect Software: Cleanroom Engineering
- 1. Background and Introduction
- 2. Cleanroom Engineering
- 3. Statistical Quality Control in Software Engineering
- 4. Software Testing in This First Human Generation
- 5. What is Cleanroom Engineering of Software?
- 6. Box Structured Software System Design
- 7. Statistical Quality Control
- 8. Conclusions
- References
- Chapter 2. Role of Verification in the Software Specification Process
- 1. Good Software Specifications
- 2. Axiomatic Correctness
- 3. Functional Correctness
- 4. Denotational Semantics
- 5. Multiattribute Specifications
- 6. Conclusions
- Acknowledgments
- References
- Chapter 3. Computer Applications in Music Composition and Research
- 1. Introduction
- 2. Music Score Encoding
- 3. Music Score Input Systems
- 4. Music Score Output Systems
- 5. Musical Instruments Digital Interface (MIDI)
- 6. Digital Sound Synthesis
- 7. Computer-Aided Composition
- 8. Electronic Databases
- 9. Data Structures for Music Representation
- 10. Computer-based Music Analysis
- 11. Music Perception
- 12. Composition Modeling
- 13. Research on Performance
- 14. Conclusions
- Endnotes
- References
- Chapter 4. Artificial Neural Networks in Control Applications
- 1. Introduction
- 2. ANN Paradigms
- 3. Neural Networks Controllers
- 4. Conclusions
- Acknowledgments
- References
- Chapter 5. Developments in Uncertainty- Based Information
- 1. Introduction
- 2. Uncertainty Formalizations
- 3. Uncertainty Measures
- 4. Principles of Uncertainty
- 5. Conclusions
- Acknowledgment
- References
- Chapter 6. Human Factors in Human-Computer System Design
- 1. Introduction
- 2. The Discipline of Human Factors
- 3. The Human Factors Specialist and the User Interface
- 4. Models of the Software Development Process
- 5. Human Factors Activities in Human-Computer System Design
- 6. Human Factors Methodologies for Human-Computer System Design
- 7. Designing for User Interface Consistency
- 8. An Example of Human Factors Activities during Product Development
- 9. Why is a Human Factors Specialist Needed?
- 10. Cost Justification for Human Factors
- 11. Conclusions
- Acknowledgments
- References
- Author Index
- Subject Index
- Contentcs of Volumes in This Series
