CES 512 - Theory of Software Systems

Unit(s): 3 Lecture: 3 hours

Review of data structures and basic algorithms for sorting, searching, and string processing. Basics of logic, formal systems, grammars, and automata. Applications to some of the following areas: design of language processing tools (editor, translator etc.), software specification, testing and verification, and non-numerical problem solving. The course may require significant lab and/or project activity.

Grading: GRD
Prerequisite(s): ES 314 or consent of instructor.