ERIC Number: EJ966188
Record Type: Journal
Publication Date: 2005-Mar
Pages: 0
Abstractor: As Provided
ISBN: N/A
ISSN: ISSN-1531-4278
EISSN: N/A
Teaching Quality Object-Oriented Programming
Feldman, Yishai A.
Journal on Educational Resources in Computing, v5 n1 Article 1 Mar 2005
Computer science students need to learn how to write high-quality software. An important methodology for achieving quality is design-by-contract, in which code is developed together with its specification, which is given as class invariants and method pre- and postconditions. This paper describes practical experience in teaching design-by-contract and other principles of object-oriented programming and design by a comprehensive set of programming exercises. These are implemented in Java, augmented with a design-by-contract tool. The conceptual gap between the theoretical principles taught in the course and the capabilities of this programming environment causes pedagogical problems; these problems and some solutions are discussed in this paper.
Descriptors: Teacher Effectiveness, Computer Software, Programming, Computer Science, Computer Science Education, Coding
Association for Computing Machinery. 2 Penn Plaza Suite 701, New York, NY 10121. Tel: 800-342-6626; Tel: 212-626-0500; Fax: 212-944-1318; e-mail: acmhelp@acm.org; Web site: http://www.acm.org
Publication Type: Journal Articles; Reports - Descriptive
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Grant or Contract Numbers: N/A