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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Contemporary Educational Psychology Vol. 3; no. 2; pp. 163 - 169
Autor principal:	Bell, D. A.
Formato:	Artículo
Publicado:	Academic Press Inc. Apr1978
Materias:	Computer programming Computer programmers Computer software development Empirical research Problem solving Computer software testing Computer software correctness
Acceso en línea:	Ver este registro en EBSCOhost