Lionel E. Deimel

Learn More
Software inspections are widely regarded as a cost-effective mechanism for removing defects in software, though performing them does not always reduce the number of customer-discovered defects. We present a case study in which an attempt was made to reduce such defects through inspection training that introduced program comprehension ideas. The training was(More)
A technique is presented for developing A good source of discussion material and ideas. programs from informal but precise English The paper is sufficiently short and well-presented descriptions. The technique shows how to derive for it to be read by advanced students. While studata types from common nouns, variables from didents may find difficulty in(More)
It is argued that program reading is an important programmer activity and that reading skill should be taught in programming courses. Possible teaching methods are suggested. The use of program reading in test construction and as part of an overall teaching strategy is discussed. A classification of reading comprehension testing methods is provided in an(More)
We present some ideas here about prose reading comprehension tests, with analogies to program reading exercises, and suggest the potential usefulness of a standardized, nationwide program reading comprehension test as a means to assess on a comparative basis individual and department-wide progress through the computer science curriculum. We conclude with a(More)
Student-written programs accepted by computer science instructors are usually inferior to programs which exemplify currently-accepted “good” professional practice. Although enforcing more rigorous standards for programs places an additional burden on students and faculty alike, substantial benefits may be gained thereby. The natureand(More)
The problem of evaluating student programs in an introductory service course is considered. It is suggested that programs be run with data not seen by the student during program development. Two programs, TODISK and WATLOAD, designed for implementing this suggestion conveniently in a particular environment, are described. Experience with the system has been(More)
Introduction The 12th Annual ACM Scholastic Programming Contest was held February 24, 1988, in Atlanta, Georgia . Twenty-four teams competed, representing universities and colleges in North America and Europe. At the beginning of the contest, each four-studen t team was given eight problems, for which Pascal solutions were sought . Contestants developed(More)
As programming has evolved from a black art practiced by eccentric geniuses to a common occupation of ordinary persons, the importance of program structure and programming style has been increasingly recognized. Although there is surely no "theory of programming" yet, there is enough concensus about what techniques have and have not proven effective that(More)
Inductive inference, the automatic syn-<lb>Budd80<lb>thesis of programs, bears certain ostensible rela-<lb>Budd, Timothy A., Richard A. DeMillo, Richard<lb>tionships with program testing. For inductive in-<lb>J. Lipton, and Frederick G. Sayward. “Theoretical<lb>ference, one must take a finite sample of the desired<lb>and Empirical Studies on Using Program(More)