JOURNAL ARTICLE
Towards an introductory formal programming course
Kung-Kiu LauVicky J. BushP. J. Jinks
Year: 1994 Journal: ACM SIGCSE Bulletin Vol: 26 (1)Pages: 121-125 Publisher: Association for Computing Machinery
Abstract
The course material is outlined and the role of the software environment for teaching this material is sketched. This paper aims to get timely feedback from colleagues with similar or related views and/or experience.
Keywords:
Citation New england Kingdom Library science Computer science Operations research Political science Engineering Law
Metrics
5
Cited By
1.74
FWCI (Field Weighted Citation Impact)
13
Refs
0.89
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Teaching and Learning Programming
Physical Sciences → Computer Science → Computer Science Applications
Parallel Computing and Optimization Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Related Documents
JOURNAL ARTICLE
Towards an introductory formal programming course
Kung-Kiu LauVicky J. BushP. J. Jinks
Year: 1994 Pages: 121-125
BOOK-CHAPTER
The Introductory Programming Course
Advances in game-based learning book series Year: 2016 Pages: 79-104
JOURNAL ARTICLE
An introductory course on programming based on formal specification and program calculation
Javier BlancoAna Leticia LosanoNazareno AguirreMaría Marta NovairaSonia PermigianiGastón Scilingo
Journal: ACM SIGCSE Bulletin Year: 2009 Vol: 41 (2)Pages: 31-37
JOURNAL ARTICLE
Flipping an introductory programming course
Journal: Journal of computing sciences in colleges Year: 2013
JOURNAL ARTICLE
Revitalizing the introductory programming course
Qusay H. MahmoudManar Abu TalibZakaria MaamarEmad BatainehLeon Jololian
Year: 2011 Pages: 545-548