Basic theoretical principles embodied in formal languages, automata, computability, and computational complexity. Emphasis is placed on developing formal descriptions of computers and computational processes, and practical implications of theoretical results. Group study of advanced topics under faculty supervision. Departmental approval is required. Independent study of advanced topics under faculty supervision.
Departmental approval is required.
COSC 625 Advanced Software Engineering 3 cr. Design and implementation of software using a formal specification language. Topics include management implications, software cost estimation, defect testing, software engineering environments. A practical study of the technologies required to implement, maintain, and manage web sites and associated servers. Implementation and testing of networks.