Page 115 - University Bulletin

114

Credits: 3 (3,0,1) Prerequisite: Junior Level

This course covers the main knowledge areas of project management (time, cost, quality,
scope, risk, human resources, communications, etc.) by focusing on software projects. It
also covers project planning, cost estimation, earned-value analysis techniques and
scheduling, project management tools, factors influencing productivity and success,
productivity metrics, analysis of options, risk management and dynamic adjusting of
project plans, planning for change, management of expectations, software contracts and
intellectual property, approaches to maintenance and long-term software development,
standards in project management, such as ISO10006, ISO12207, along with CMM model
will be also discussed. Case studies of real industrial projects will be discussed.

SE 430 SOFTWARE PROCESSES & PROCESS IMPROVEMENTS
Credits: 3 (3,0,1) Prerequisite: SE 401

Developing reliable software on time and budget is a challenging issue for many
organizations. A software process improvement focus offers the organization a better
chance for success. In this course, software process improvement methods, models and
techniques will be studied with a focus on software development practice. Topics that are
covered in the course range from how to assess software development organizations
capability to how an organization can take advantage of change artistry.

SE 436 SERVICE ORIENTED ARCHITECTURES
Credits: 3 (3,0,1) Prerequisite: SE 322

This courses covers service oriented architectures. The main purpose of this course is to
introduce the major concepts and technologies relating to service oriented architectures.
This includes the core architecture, main principles of service orientation, service oriented
analysis, service oriented design, and business process design.

SE 444 FORMAL METHODS AND MODELS IN SOFTWARE
Credits: 3 (3,0,1) Prerequisite: Senior Level
This course is an introduction to the use of formal methods for the specification, design,
and automatic analysis of software systems. A variety of specification notations such as
propositional and predicate logic, UML/OCL, temporal logic are presented. In addition,
the course covers the application of analysis techniques including theorem proving,
constraint checking, model checking using existing commercial and research tools.

SE 445 REAL-TIME SOFTWARE SYSTEMS
Credits: 3 (3,0,1) Prerequisite: CS 330

This course focuses on practical development and engineering approach issues of real-
time software. It assumes a reasonable proficiency in at least one programming language
(C, C++, Java, or others) and a basic understanding of the fundamental concept of object
orientation. The course emphasizes architectural analysis rather than programming.
Topics include: architectural aspects, scheduling and synchronization, design patterns for
real-time software, and aspects of software verification and model checking.

SE 450 DESIGN PATTERNS