Graduate Program- Master of Science in Software Engineering Science

Graduate Course Descriptions

CIS5025 Programming Languages Prereq: CDA 3101, COP2532, COP4020
Provides a course in language theory, grammars, syntax, and semantics. Scanners, symbol tables and the pragmatics of implementation used to develop software.

COT5310 Theory of Programming Languages and Automata Prereq: COT3101, COT4210
Gives a formal background in computing theory and programming languages including the basis of machines and programming. Logical network and switching theory sequential theory and automata, and Turing machines and computability. Foundations of au tomata, formal languages of recursion theory.

COP5614 Operating Systems Prereq: CDA 3101, COP2532, COP3610
Provides a study of computer operating systems which are the primary resource managers of computer hardwired. The main features provided by these operating systems such as process management, storage management, processor management, and auxiliary storage manage are studies in detail. Related topics of networking and security are introduces. Case studies of comparison of representative commercial operating systems is included. Laboratory use of the computer is an integral part of this course.

CEN5075 Software Systems Engineering Prereq: CIS3321 or equivalent
Exposes students to development of software systems at a high level. Introduces systems aspect of development and related tradeoffs. Exposes students to requirements analysis and techniques to develop a system from requirements.

CEN5016 Formal Methods of Software Engineering. Prereq: COT3101
Exposes students to the use of specification that have well defined semantics. Covers classes of specification models, including algebraic, state machines and model-theoretic approaches. Reviews verification methods such as weakest pre-condition and functional correctness.

CEN5064 Advanced Systems Design Principles Prereq: CEN5075
Provides a course of theoretical principles of software design, teaches advanced concepts, models and algorithms valuable to systems designers. Topics are comparison of design methods and techniques and the principles of network communications dat abase, security, real-time and graphical design issues.

CEN5015 Software Development and Maintenance Prereq: CEN5064
Covers design , implementation, and maintenance (changing) of software. Various methods and languages are used in these activities.

CEN5070 Software Verification and Validation Prereq: CEN5064, CEN5016
Covers theory and practice of insuring high quality software products. Topics include evaluation of software for efficiency, performance, reliability, and correctness. Specific skills of program proving, code inspection, unit level testing, and system level analysis are included.

CEN5055 Software Project Management Prereq CEN5064
Teaches process considerations in software engineering. Provides advanced material in software project planning, monitoring and controlling mechanisms, and leadership and team building.

CIS5930 Special Topics in Software Engineering (Elective)
Introduces students to current topics is software engineering. Topics are announced as the course is taught.

CIS5935 Introduction to Research
Introduces students to research principles such as literary searches, library usage and basic research techniques.

CIS5970 Thesis Prereq: CIS5972
Thesis preparation, presentation, and defense. Students may register for thesis hours for several semesters and receive a grade of Thesis Pending (TP). Upon completion of the thesis, the students are given a grade of Satisfied (S).

Information Provided by the Department of Computer and Information Sciences
Last Updated: November 3, 2001