Objectives
To impart practical skills in the specification, design, coding and testing
of small programs.
To teach the imperative language Kenya. To introduce design.
Contents
Specification and design: English specifications, Haskell specifications of
Java programs and stepwise refinement.
Programming in Java: control,
data-structures, simple algorithm construction, testing, debugging.