CSC 380 Software Engineering Techniques for developing large software systems are presented. Formal and semiformal languages for specification and design of software, verification, and configuration management techniques are discussed. CSC 390 Selected Topics Study of selected topics in the area of computer science providing opportunities for the study of material not covered in current course offerings. Special emphasis will be on emerging areas. This may be repeated for credit with different content.
Topics vary from semester to semester.
This may not be taken for major credit. An introduction to programming techniques in Lisp and Prolog. Topics include Lisp and Prolog syntax and semantics, basic problem solving knowledge representation, and logical inference algorithms, and an introduction to their applications in artificial intelligence. An analysis of the concepts and functions of operating systems. The course will include a survey of operating systems now in existence as well as methodologies for the selection, evaluation, adaptation and implementation of an operating system.