NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 6 results Save | Export
Wadkins, J. R. Jefferson – 1994
This paper provides operational semantics for imperative programming languages that legitimize the phraseology used in the statement and proof of a fundamental theorem of program correctness. Some of the phrases used in the theorem are normally undefined, but intuitively appealing. This paper attempts to give precise meaning to the questionable…
Descriptors: Computer Software Development, Definitions, Programming, Programming Languages
Maddux, Cleborne D. – Educational Technology, 1998
Discusses the poor technical and design quality of many Web sites and provides tips for improving quality: use meta tags; provide page sponsor identification, links back to home page, page titles; display a paragraph describing the purpose of the Web page; avoid using frames and publishing pages under construction; check language and mechanics;…
Descriptors: Computer Graphics, Computer Interfaces, Computer Software Development, Content Analysis
Read, Tim; Hall, Hazel – 1996
Summer 1995 saw the release, with considerable media attention, of draft versions of Sun Microsystems' Java computer programming language and the HotJava browser. Java has been heralded as the latest "killer" technology in the Internet explosion. Sun Microsystems and numerous companies including Microsoft, IBM, and Netscape have agreed…
Descriptors: Authoring Aids (Programming), Computer Interfaces, Computer Software, Computer Software Development
Milbrandt, George – Learning & Leading with Technology, 1995
Computer studies courses should incorporate as many computer concepts and programming language experiences as possible. A gradual increase in problem difficulty will help the student to understand various computer concepts, and the programming language's syntax and structure. A sidebar provides two examples of how to establish a learning…
Descriptors: Computer Literacy, Computer Software Development, Concept Teaching, Courses
Peer reviewed Peer reviewed
Casey, Patrick J. – Computers in the Schools, 1997
Argues that including computer programming in the curriculum as a medium for instruction is a feasible alternative for teaching problem solving. Discusses the nature of problem solving; the problem-solving elements of discovery, motivation, practical learning situations and flexibility which are inherent in programming; capabilities of computer…
Descriptors: Computer Assisted Instruction, Computer Software Development, Curriculum Development, Elementary Education
Muldner, Tomasz – 1998
This paper provides an analysis of old and new programming tools for development of client/server programs, particularly World Wide Web-based programs. The focus is on development of educational systems that use interactive shared workspaces to provide portable and expandable solutions. The paper begins with a short description of relevant terms.…
Descriptors: Authoring Aids (Programming), Computer Oriented Programs, Computer Software Development, Computer System Design