NDLI: Studying program correctness by constructing contracts

Please wait, while we are loading the content...

Mythematics: storytelling in the teaching of computer science and mathematics

Cognitive and social aspects of software engineering: a course framework

MUSE studio lab and innovative software engineering capstone project experience

Measuring effectiveness of constructivist and behaviourist assignments in CS102

Experimenting with pair programming in the classroom

Capturing collaborative designs to assist the pedagogical process

Classroom discussions: policies and responsibilities of Internet Service Providers

Repositories for CS courses: an evolutionary tale

Trends in the evolution of the database curriculum

Web-based discussion forums: the staff perspective

Computer science students' conception of the relationship between reward (grade) and cooperation

HTTPExplorer: exploring the hypertext transfer protocol

Experiences with IDEs and Java teaching: what works and what doesn't

IEEE-CS/ACM computing curricula: software engineering volume

Challenges in teaching capstone courses

Computer engineering curriculum development

Learning to develop GUIs in Java using closed labs

Automatically creating personalised exercises based on student profiles

High-tech dishonesty: cheating, plagiarism and detection

Computer science and the arts: some multi-disciplinary teaching collaborations

Using an education oriented digital library to organize and present classes in computing and information

Studying program correctness in ProVIDE

A customized learning objects approach to teaching programming

Codewitz: producing interactive elearning material for beginners in programming

Increasing assignment motivation using a game Al tournament

Bottom-up education

Systematic testing should not be a topic in the computer science curriculum!

Providing process for projects in capstone courses

Influences on cheating practice of graduate students in IT courses: what are the factors?

Making connections: using classroom assessment to elicit students' prior knowledge and construction of concepts

Objects: visualization of behavior and state

A media computation course for non-majors

Making program execution comprehensible one level above the machine language

Action research as a tool for promoting teacher awareness of students' conceptual understanding

A tool to develop electronic course books based on WWW technologies, resources and usability criteria

A phenomenographic study of students' attitudes toward the use of multiple media for learning

Integrating usability engineering into the computer science curriculum: a proposal

Curricular projects of the ACM two-year college education committee

The stepping stones project

Enriching online learning resources with "explanograms"

Consolidating Ed-tech co-design best practices through the TRAILS project

Grading programming assignments using rubrics

Learning computer graphics by programming: linking theory and practice

Animations in PDF

Rapid evaluation using multiple choice tests and TeX

A visualization of the primal simplex algorithm for the assignment problem

Student empowerment in a survey course

Introducing unit testing with BlueJ

A service-learning program for computer science and software engineering

The evaluation of electronic marking of examinations

The winds of change: students' comfort level in different learning environments

Embryonic object versus mature object: object-oriented style and pedagogical theme

Teaching programming to liberal arts students: a narrative media approach

Studying program correctness by constructing contracts

Structuring CSed research studies: connecting the pieces

Tools and techniques for large scale grading using Web-based commercial off-the-shelf software

Using departmental surveys to assess computing culture: quantifying gender differences in the classroom

An undergraduate track in computer security

Growing a GUI from an XML tree

Software engineering concepts for multimedia development

Classroom presentation from the tablet PC

Using the NSDL and CITIDEL to enhance teaching

Teaching graphical interface programming in Java with the game of wari

SysRel: an interactive application for training

Assignments that meet the needs of exceptional students without disadvantaging the average

Using lab exams to ensure programming practice in an introductory programming course

Integrating a simulation-visualisation environment in a basic distributed systems course: a case study using LYDIAN

Equilibriating instructional media for cognitive styles

Incorporating quality assurance processes into requirements analysis education

Teaching objects early and design patterns in Java using case studies

Teaching undergraduate software design in a liberal arts environment using RoboCup

A companion technology approach to CS1: handheld computers with concept visualization software

The novice programmers' syndrome of design-by-keyword

Peer-to-peer learning with open-ended writable Web

Still a stranger here: attitudes among secondary school students towards computer science

Incorporating bioinformatics in an algorithms course

A multi-level distance learning-based course for high-school computer science leading-teachers

Introducing non-computer science undergraduates to Web development: results of an investigative study on student teachers

Preparing students for distributed teamwork

Difficulties learning computer architecture

Using CITIDEL resources to support documenting objectives and outcomes

"Magic numbers" approach to introducing binary number representation in CSO

Development of a MLE by students for students using extreme programming techniques

Using semiotics to analyze the efficiency of a model in teaching

Designing and evaluating learning objects for introductory programming education

Observations from using two modes of teaching undergraduate computer architecture

Teaching algorithm efficiency in a CS1 course SBTa different approach

Teaching Java: using an object-oriented database and the BlueJ IDE

Extending CRC cards into a complete design process

objectKarel: a didactic microworld for teaching object-oriented programming

Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning

CRCD in machine learning at the University of Central Florida preliminary experiences

Student status monitoring tool (SSM): proxy for the real world expert in online course delivery

Peer evaluation in an algorithms course

Mobile computing in education

Putting ITiCSE into practice through NSF funding programs

The effect of institutional characteristics on participation of women in computer science bachelors degree programs

A multiple intelligences approach to teaching number systems

Why project courses sometimes widen the experience gap among students

Interactive teaching materials in PDF using JavaScript

The role of two-year colleges in educating the cyber-security workforce

Teaching IT in secondary education through problem-based learning could be really beneficial

Students' understanding of object orientation

The DUPLEX project

Creating learning environments that support interaction

Using ToolBook authoring tool to facilitate the teaching of algorithms

Studying program correctness by constructing contracts

Content Provider	ACM Digital Library
Author	Bunce, Gary R. Ganetzky, Rebecca D. Wilson, Joshua D. Gegg-Harrison, Timothy S. Olson, Christina M.
Abstract	Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it as unnecessary and even irrelevant. The concept of contracts, on the other hand, is generally taught as an integral part of the programming process. As such, most introductory CS students have little difficulty understanding the need to establish contracts via preconditions and postconditions. In order to improve teaching program correctness concepts, we implemented ProVIDE, an enhanced integrated development environment (IDE) for Java [7]. Pro VIDE supports a modified version of the "design by contract" methodology [13] that assists its student programmers in contract construction. Rather than asking for both a precondition and postcondition for each of his/her methods, ProVIDE asks the student to simply supply a postcondition. ProVIDE then helps the student construct the appropriate precondition by leading him/her through an axiomatic proof of the correctness of the method. Thus, the proof of correctness of the method is a side-effect of the student's need to construct an appropriate precondition.
Starting Page	129
Ending Page	133
Page Count	5
File Format	PDF
ISBN	1581136722
DOI	10.1145/961511.961548
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2003-06-30
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Java Design by contract Axiomatic semantics
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in