Change search
ReferencesLink to record
Permanent link

Direct link
Teaching Contract Programming Concepts to Future Software Engineers
Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science.
2002 (English)Conference paper (Refereed)
Abstract [en]

Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, which may be applied in both industry and academia. In concrete terms, ideas from contract programming, including pre- and post-conditions have been introduced into the first year curriculum. This paper presents results from three surveys of first-year students in an attempt to ascertain how well the students have internalised these and other programming concepts. The results show that the majority of the students are aware of the concepts but are still at various stages of understanding. A good understanding of terminology emerges as one key area of focus for future courses. The results are a reasonable reflection of reality, given the limited time in which the students are expected to absorb these ideas, and provide feedback for further integration and development of the related programming courses

Place, publisher, year, edition, pages
National Category
Computer Science
Research subject
Computer Science
URN: urn:nbn:se:kau:diva-24168OAI: diva2:597935
Proceedings of the Second Conference on Software Engineering Research and Practise in Sweden, Karlskrona, Sweden, October 24-25 2002
Available from: 2013-01-22 Created: 2013-01-22 Last updated: 2013-01-22

Open Access in DiVA

No full text

Other links

Search in DiVA

By author/editor
Ross, Donald F
By organisation
Department of Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 31 hits
ReferencesLink to record
Permanent link

Direct link