The University of Texas at Tyler Libraries

ADVANCES IN COMPUTERS VOL 36.

By: Yovits, Marshall CMaterial type: TextTextSeries: eBooks on DemandAdvances in Computers: Publisher: Burlington : Elsevier Science, 2014Description: 1 online resource (479 p.)ISBN: 9780080566689Subject(s): Computers -- Periodicals | Computers | Electronic data processing -- Periodicals | Electronic data processingGenre/Form: Electronic books.Additional physical formats: Print version:: ADVANCES IN COMPUTERS VOL 36DDC classification: 004 LOC classification: QA76 .A3Online resources: Click here to view this ebook.
Contents:
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
Summary: ADVANCES IN COMPUTERS VOL 36
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
Online 		QA76 .A3 (Browse shelf) http://uttyler.eblib.com/patron/FullRecord.aspx?p=402971 Available EBL402971

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

Description based upon print version of record.

There are no comments on this title.

to post a comment.