Search

Your search keyword '"Izumi Kimura"' showing total 2 results
Start Over Author "Izumi Kimura" Publisher acm press
2 results on '"Izumi Kimura"'

1. Validating The Utility Of Abstraction Techniques

Author

Gary Feldman, Jonathan Rosenberg, Mary Shaw, Paul Hilfinger, Robert P Fitzgerald, Izumi Kimura, William A. Wulf, and Ralph L. London

Subjects
Data abstraction, Correctness, Programming language, business.industry, Computer science, Program quality, computer.software_genre, Abstract data type, Encapsulation (networking), Software development process, Formal specification, Software engineering, business, computer, Formal verification
Abstract

A number of recent research efforts have been based on the hypothesis that encapsulation techniques, formal specification, and verification lead to significant improvements in program quality. As we gain experience with the language facilities produced by this research, we should attempt to validate that hypothesis. This paper poses this validation as the next major task in this area and outlines some ways to address it.

Published
1978

2. A historical, generalistic, and complementary approach in introductory computer science education

Author

Izumi Kimura

Subjects
Philosophy of design, Computer science, business.industry, Fortran, ComputingMilieux_COMPUTERSANDEDUCATION, Mathematics education, Subject (philosophy), Software engineering, business, Curriculum, Theme (computing), computer, computer.programming_language
Abstract

A polished version of “Computers and Programming” of ACM Curriculum 68 is presented. The central theme here is the design philosophy of the course. The approach is (1) historical, in that it quickly draws an idealized picture of the history of computers and programming. It is (2) generalistic, in that it teaches various sides of the subject, including advanced software engineering ideas, in parallel in a balanced manner. Finally, it is (3) complementary, in that it takes into account the fact that a conventional Fortran course, corresponding to “Introduction to Computing” of Curriculum 68, is being taught simultaneously by another instructor.

Published
1978

Catalog

Books, media, physical & digital resources
See catalog results