Yovits, Marshall C.

ADVANCES IN COMPUTERS VOL 36. - Burlington : Elsevier Science, 2014. - 1 online resource (479 p.) - eBooks on Demand Advances in Computers ; v.36 . - Advances in Computers .

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 Correctness4. 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. ConclusionsEndnotes; 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 Process5. 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

ADVANCES IN COMPUTERS VOL 36

9780080566689 131.31 (UA),87.54 (1U)


Computers -- Periodicals.
Computers.
Electronic data processing -- Periodicals.
Electronic data processing.


Electronic books.

QA76 .A3

004