(4)A second course in programming, with emphasis on data abstraction and object-oriented design. The basic data structures in computer science, including stacks, queues, lists and trees, are covered in detail. Concepts of design, analysis and verification are discussed in the context of abstract data types. Examples of applications taken from numeric and symbolic domains are used. Prerequisite(s): CSE 230 or CIT 230.