Introduction to the Principles of Computer Science: A Reuse-Oriented Philosophy

摘要

The long-term goal of our project is to redesign the software development coursesin computer science around a philosophy of software reuse, where new components are constructed largely from assembling existing ones. The emphasis is on formal specification, design, and development of high quality reusable components. Ada, when augmented with the RESOLVE technology for component-based software development, facilities introduction this approach. This result has been successfully demonstrated in principle and in practice for the second course in computer science under this project.