Matches in SemOpenAlex for { <https://semopenalex.org/work/W2552622545> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2552622545 abstract "Introductory courses in CS, especially those aimed at introductory programming concepts or fundamental concepts in CS, represent the core courses which give the student specific insight into what the body of knowledge of Computer Science en- tails. Due to this great importance the curriculum planning of these courses should be undertaken with special care. It is, however, a matter of some concern that many of these introductory courses are deficient in terms of a formal algorithmic approach to program- ming. This leads to a situation where undergraduate students base their algorithms and programs on trial and error and are content if their code runs rather than proving that the code they produce will always work correctly. In the longer term, we believe, this situation results in a great amount of low quality soft- ware produced by CS graduates. It is because of these problems that we argue that the lecturing of formal methods and correctness proofs must be taught as soon as possible in a student's CS studies. This paper presents a proposal that is aimed at introducing the student to a more formal algorithm and program development process, so that he/she be- comes able to produce correct efficient software from the beginning of his/her programming career. We also feel that such an approach will give students a much better idea of the nature of CS than many typ- ical introductory courses do." @default.
- W2552622545 created "2016-11-30" @default.
- W2552622545 creator A5020352425 @default.
- W2552622545 date "2009-01-01" @default.
- W2552622545 modified "2023-09-27" @default.
- W2552622545 title "Introductory Programming Course: From Classics to Formal Methods" @default.
- W2552622545 cites W1965665846 @default.
- W2552622545 cites W1989636175 @default.
- W2552622545 cites W1991379186 @default.
- W2552622545 cites W2020996221 @default.
- W2552622545 cites W2033106786 @default.
- W2552622545 cites W2039621959 @default.
- W2552622545 cites W2067541404 @default.
- W2552622545 cites W2084001367 @default.
- W2552622545 cites W2087409305 @default.
- W2552622545 hasPublicationYear "2009" @default.
- W2552622545 type Work @default.
- W2552622545 sameAs 2552622545 @default.
- W2552622545 citedByCount "1" @default.
- W2552622545 countsByYear W25526225452016 @default.
- W2552622545 crossrefType "journal-article" @default.
- W2552622545 hasAuthorship W2552622545A5020352425 @default.
- W2552622545 hasConcept C108710211 @default.
- W2552622545 hasConcept C111472728 @default.
- W2552622545 hasConcept C115903868 @default.
- W2552622545 hasConcept C138885662 @default.
- W2552622545 hasConcept C145420912 @default.
- W2552622545 hasConcept C15744967 @default.
- W2552622545 hasConcept C177264268 @default.
- W2552622545 hasConcept C19417346 @default.
- W2552622545 hasConcept C199360897 @default.
- W2552622545 hasConcept C2524010 @default.
- W2552622545 hasConcept C2776760102 @default.
- W2552622545 hasConcept C2779530757 @default.
- W2552622545 hasConcept C33923547 @default.
- W2552622545 hasConcept C41008148 @default.
- W2552622545 hasConcept C47177190 @default.
- W2552622545 hasConcept C55439883 @default.
- W2552622545 hasConcept C75606506 @default.
- W2552622545 hasConcept C98045186 @default.
- W2552622545 hasConceptScore W2552622545C108710211 @default.
- W2552622545 hasConceptScore W2552622545C111472728 @default.
- W2552622545 hasConceptScore W2552622545C115903868 @default.
- W2552622545 hasConceptScore W2552622545C138885662 @default.
- W2552622545 hasConceptScore W2552622545C145420912 @default.
- W2552622545 hasConceptScore W2552622545C15744967 @default.
- W2552622545 hasConceptScore W2552622545C177264268 @default.
- W2552622545 hasConceptScore W2552622545C19417346 @default.
- W2552622545 hasConceptScore W2552622545C199360897 @default.
- W2552622545 hasConceptScore W2552622545C2524010 @default.
- W2552622545 hasConceptScore W2552622545C2776760102 @default.
- W2552622545 hasConceptScore W2552622545C2779530757 @default.
- W2552622545 hasConceptScore W2552622545C33923547 @default.
- W2552622545 hasConceptScore W2552622545C41008148 @default.
- W2552622545 hasConceptScore W2552622545C47177190 @default.
- W2552622545 hasConceptScore W2552622545C55439883 @default.
- W2552622545 hasConceptScore W2552622545C75606506 @default.
- W2552622545 hasConceptScore W2552622545C98045186 @default.
- W2552622545 hasLocation W25526225451 @default.
- W2552622545 hasOpenAccess W2552622545 @default.
- W2552622545 hasPrimaryLocation W25526225451 @default.
- W2552622545 hasRelatedWork W1483670157 @default.
- W2552622545 hasRelatedWork W1645465008 @default.
- W2552622545 hasRelatedWork W1972476851 @default.
- W2552622545 hasRelatedWork W1991699804 @default.
- W2552622545 hasRelatedWork W2000079956 @default.
- W2552622545 hasRelatedWork W2002263046 @default.
- W2552622545 hasRelatedWork W2003002213 @default.
- W2552622545 hasRelatedWork W2032725291 @default.
- W2552622545 hasRelatedWork W2053373778 @default.
- W2552622545 hasRelatedWork W2062335003 @default.
- W2552622545 hasRelatedWork W2065638351 @default.
- W2552622545 hasRelatedWork W2155000981 @default.
- W2552622545 hasRelatedWork W2186952156 @default.
- W2552622545 hasRelatedWork W2188230077 @default.
- W2552622545 hasRelatedWork W2400530705 @default.
- W2552622545 hasRelatedWork W2481525738 @default.
- W2552622545 hasRelatedWork W2917563899 @default.
- W2552622545 hasRelatedWork W2920985040 @default.
- W2552622545 hasRelatedWork W3111206397 @default.
- W2552622545 hasRelatedWork W68362098 @default.
- W2552622545 isParatext "false" @default.
- W2552622545 isRetracted "false" @default.
- W2552622545 magId "2552622545" @default.
- W2552622545 workType "article" @default.