Derivation of programs for freshmen

Denman, Richard; Naumann, David A.; Potter, Walter D.; Richter, Gary

doi:10.1145/191029.191077

Cited by 6 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Given that the students already "knew" how to program, they already had an "ingrained" syntax. Thus, it is understandable that such students may face initial difficulties in abandoning their old approach (Denman, et al, 1994). Choosing to use a programming language like notation may also be closely related to the problems with using logical notation discussed above; the programming language syntax may be the only formal notation they feel confident in using.…”

Section: Discussionmentioning

confidence: 99%

Invariant Based Programming in Education - An Analysis of Student Difficulties

Mannila¹

2010

Informatics in Education

View full text Add to dashboard Cite

In this paper, we analyze the errors novice students make when developing invariant based programs. In addition to presenting the general error types, we also look at what students have difficulty with when it comes to expressing invariants. The results indicate that an introductory course utilizing the invariant based approach is suitable from the very beginning of university studies in CS without being "too advanced". Although inventing the invariant was not found to be trivial, the main difficulty faced by novices when applying a correct-by-construction approach to program development seems to be related to weak skills in translating intuitive and informal statements into a symbolic form using logical notation in general and quantifiers in particular.

show abstract

Section: Discussionmentioning

confidence: 99%

Invariant Based Programming in Education - An Analysis of Student Difficulties

Mannila¹

2010

Informatics in Education

View full text Add to dashboard Cite

show abstract

“…The level of interest among computer science educators in the question of how much formality to include in the curriculum is indicated by E. W. Dijkstra's celebrated article entitled "On the Cruelty of Really Teaching Computer Science" [2] along with responses included in the collection of articles "A Debate on Teaching Computing Science" (same issue of Communications). In reviewing the literature in this area, the authors found only anecdotal evidence of concerted attempts to teach computer science concepts from a formal point of view at the undergraduate level (for example, see [1], [3], [4]). …”

Section: Introductionmentioning

confidence: 99%

Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum

Palmer

Pleasant

1995

SIGCSE Bull.

View full text Add to dashboard Cite

This paper reports on a survey related to current views concerning the feasibility and importance of teaching formal methods of software development at the undergraduate level. Principle areas of interest considered include formal logic, formal specification, and formal proofs of correctness of programs. After alluding to several points of contact with current literature on this topic, the paper reports on a questionnaire designed by the authors that was mailed to computer science departments of selected colleges and universities in the United States and Canada. The principle goal of the survey is to determine attitudes of computer science faculty concerning the teaching of formal methods at the undergraduate level.

show abstract

Formal methods: mathematics, computer science or software engineering?

Tremblay

2000

IEEE Trans. Educ.

View full text Add to dashboard Cite

Derivation of programs for freshmen

Cited by 6 publications

References 4 publications

Invariant Based Programming in Education - An Analysis of Student Difficulties

Invariant Based Programming in Education - An Analysis of Student Difficulties

Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum

Formal methods: mathematics, computer science or software engineering?

Contact Info

Product

Resources

About