An Empirical Study of Formal Procedure Specification.
Programming a computer is a problem-solving activity which can be categorized as formal procedure specification. It is a useful vehicle for the study of this aspect of problem-solving because the procedures can be automatically tested for correctness. The reported study focuses on the incidence and...
| Published in: | Contemporary Educational Psychology Vol. 3; no. 2; pp. 163 - 169 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Academic Press Inc.
Apr1978
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=22029497&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 22029497 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 0361476X CEP jtl: Contemporary Educational Psychology issn: 0361476X maglogo: N pubinfo: dt: Apr1978 vid: 3 iid: 2 pid: 735 pub: Academic Press Inc. artinfo: ui: 22029497 10.1016/0361-476X(78)90023-1 ppf: 163 ppct: 6 formats: tig: atl: An Empirical Study of Formal Procedure Specification. aug: au: Bell, D. A. affil: Faculty of Science, School of Computer Science, Ulster College, Northern Ireland Polytechnic, Jordanstown Newtownabbey, Co. Antrim BT37 0QB, Ireland. su: Computer programming Computer programmers Computer software development Empirical research Problem solving Computer software testing Computer software correctness sug: subj: Computer programming Computer programmers Computer software development Empirical research Problem solving Computer software testing Computer software correctness ab: Programming a computer is a problem-solving activity which can be categorized as formal procedure specification. It is a useful vehicle for the study of this aspect of problem-solving because the procedures can be automatically tested for correctness. The reported study focuses on the incidence and severity of errors committed during program development by novice programmers. The observations are summarized in tabular form, to permit insights into the sorts of errors virtually untrained students make when specifying procedures, and the problems they have eliminating them. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 1978 holdings: @attributes: islocal: N |
|---|