Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Teaching Contract Programming Concepts to Future Software Engineers
Karlstad University, Faculty of Economic Sciences, Communication and IT, Department of Computer Science.
2003 (English)Conference paper, Published 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 postconditions

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
Washington, DC, USA: IEEE Computer Society , 2003.
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:kau:diva-24167OAI: oai:DiVA.org:kau-24167DiVA, id: diva2:597934
Conference
Proceedings of the 25th International Conference on Software Engineering, 2003
Available from: 2013-01-22 Created: 2013-01-22 Last updated: 2018-01-11

Open Access in DiVA

No full text in DiVA

Other links

http://portal.acm.org/citation.cfm?id=776908

Authority records BETA

Ross, Donald F

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 557 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf