Open Access
Principles of computer programming
Kern W. Dickman
- 01 Jan 1964
23
TL;DR: This serves as an entry level programming course designed to teach students the basics of programming and introduces the fundamental building blocks of programming such as variables, operators, control structures, arrays and subroutines.
read more
Abstract: You have heard of computer games, right! Probably you might have had a chance to play with a friend or the computer itself. If you have not, try now (take five minutes); that computer you are using has a number of games including and not limited to Solitaire or Ink Ball. Wow! how does it work? how does it judge its moves? Outsmarts you ha! What are we thinking now--it puzzles; there must be some logic behind this! True, there is, and that ‘puzzle’ is the act of programming. “A beginner in programming must emphasize the how of programming: how to develop the solution to a given problem, how to organize a program, and how to make effective use of the standard techniques that represent the “tricks” of trade” (http://users.csc.calpoly.edu).Therefore, this is a very interesting Module as we introduce what programming is and also familiarize ourselves with frequently applied terms in the programming world. This serves as an entry level programming course designed to teach students the basics of programming. The primary goal of the course is to learn how to efficiently solve programming problems and provide foundation of basic knowledge regardless of the programming language. It introduces the fundamental building blocks of programming such as variables, operators, control structures, arrays and subroutines. The student will learn how to apply problem solving techniques in programming through creating flowcharts and pseudo codes. A high level programming language (C) will be used to write small programs to reinforce concepts learned during design. URI http://oer.avu.org/handle/123456789/660 COLLECTIONS Computer Science Resources En LINKS Events Videos Photo Gallery Annual Reports Newsletters AVU in the press Careers Tenders CONTACT US Cape Office Park (Opposite Yaya Center Ring Road, Kilimani PO Box 25405 00603 Tel : +254 2
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Functional documents for computer systems
David Lorge Parnas,Jan Madey +1 more
TL;DR: This paper defines the contents of documents without specifying their format or the notation to be used in them, and describes documents as representations of one or more mathematical relations that specify what information should be contained in each document.
448
Evaluation of safety-critical software
TL;DR: The reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology as discussed by the authors and the authors present some of the crucial questions faced by software programmers and eventual users.
349
Documentation for safety critical software
P.-J. Courtois,David Lorge Parnas +1 more
- 21 May 1993
TL;DR: The authors review some of the fundamental difficulties presented by the design and the validation of software for safety critical applications and suggest that software formal documentation techniques ameliorate the problems described.
92
A survey of tools for the validation and verification of knowledge-based systems: 1985–1995
Stephen Murrell,Robert Plant +1 more
- 01 Dec 1997
TL;DR: A survey of software tools built to assist in the verification and validation of knowledge-based systems found which testing and analysis techniques were utilised and covered by their tool.
43
Formal models of stepwise refinements of programs
TL;DR: This work shows how the construction of programs consists of mapping a potentially complex specification into a program by recursively decomposing complex specifications into simpler ones and draws some conclusions on the nature of programming.
31
References
Functional documents for computer systems
David Lorge Parnas,Jan Madey +1 more
TL;DR: This paper defines the contents of documents without specifying their format or the notation to be used in them, and describes documents as representations of one or more mathematical relations that specify what information should be contained in each document.
448
Evaluation of safety-critical software
TL;DR: The reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology as discussed by the authors and the authors present some of the crucial questions faced by software programmers and eventual users.
349
Documentation for safety critical software
P.-J. Courtois,David Lorge Parnas +1 more
- 21 May 1993
TL;DR: The authors review some of the fundamental difficulties presented by the design and the validation of software for safety critical applications and suggest that software formal documentation techniques ameliorate the problems described.
92
A survey of tools for the validation and verification of knowledge-based systems: 1985–1995
Stephen Murrell,Robert Plant +1 more
- 01 Dec 1997
TL;DR: A survey of software tools built to assist in the verification and validation of knowledge-based systems found which testing and analysis techniques were utilised and covered by their tool.
43
Formal models of stepwise refinements of programs
TL;DR: This work shows how the construction of programs consists of mapping a potentially complex specification into a program by recursively decomposing complex specifications into simpler ones and draws some conclusions on the nature of programming.
31
Related Papers (5)
Arthur J. Rowe,Paul Brock +1 more
William Stallings
- 01 May 1975
Leonard Farr
- 25 Feb 1963
R.D. Haskins
- 01 May 1987