Advances in Computers
Academic Press
Published on 14. September 1983
376 pages
978-0-08-056654-2 (ISBN)
Description
Advances in Computers
More details
Other editions
Additional editions
Marshall C. Yovits
Advances in Computers: v. 22
Book
07/1983
Academic Press
€112.66
Article exhausted; check different version
Person
Content
- Front Cover
- Advances in Computers, Volume 22
- Copyright Page
- Contents
- Contributors to Volume 22
- Preface
- Chapter 1. Legal Protection of Software: A Survey
- 1. Introduction
- 2. Copyright
- 3. Patents
- 4. Trade Secrecy
- 5. Some Additional Open Questions
- 6. Conclusion
- 7. Appendix
- Selected Bibliography
- Index of Cases Cited
- Chapter 2. Algorithms for Public Key Cryptosystems: Theory and Applications
- 1. Introduction
- 2. Mathematical Preliminaries
- 3. Examples of Public Key Cryptosystems
- 4. Applications
- 5. Conclusion
- References
- Note Added in Proof
- Chapter 3. Software Engineering Environments
- 1. Introduction
- 2. The Software Life Cycle
- 3. Management Procedures
- 4. Software Development Methodology
- 5. Auto mation in the Development Environment
- 6. An Example: The User Software Engineering Methodology
- 7. The Software Development Environment
- 8. The Physical Environment
- 9. Toward Improved Software Engineering Environments
- 10. Conclusion
- References
- Chapter 4. Principles of Rule-Based Expert Systems
- 1. Introduction: What Is an Expert System?
- 2. Representation of Knowledge
- 3. Inference Methods in Expert Systems
- 4. Reasoning with Uncertainty
- 5. Key Concepts
- 6. Conclusions
- Appendix. Answers to Questions about MYCIN's
- General References
- References
- Chapter 5. Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems
- 1. Introduction
- 2. Overview of the Conceptual Structure Methodology
- 3. Diagnostic Problem Solving
- 4. Auxiliary Systems: Intelligent Access to Medical Data
- 5. Evaluation of Diagnostic Performance
- 6. Extensions to Diagnostic Problem Solving
- 7. Comparative Remarks
- 8. Concluding Remarks
- Appendix A. Performance of MDX on an Example Case
- Appendix B. Detailed Example of Query Evaluation in PATREC
- References
- Chapter 6. Specification and Implementation of Abstract Data Types
- 1. Introduction
- 2. Axiomatic Specifications for ADT
- 3. The Meaning of Algebraic Specifications
- 4. Consistency and Completeness
- 5. Implementation and Verification
- 6. Problems Associated with Data Abstraction
- 7. A Practical Approach to Data Abstraction
- 8. Conclusions and Future Trends
- References
- Author Index
- Subject Index
- Contents of Previous Volumes
