Program- Master of Science in Software Engineering Science
Programming Languages Prereq: CDA 3101, COP2532, COP4020
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).