Page 43 - Graduate Studies Bulletin

GRADUATE STUDIES BULLETIN

SE 505 SOFTWARE DESIGN AND ARCHITECTURE

Credits: 3(3-1-0) Prerequisite: None.

This course covers both architectural design and module design. In-

depth study of object-oriented analysis and design modelling using the

Unified Modelling Language (UML) notation. Study of design concepts

and notations, design patterns, software architecture, quality attributes

architectural styles, frameworks and components. Designing for qualities

such as performance, security, reusability, reliability, metrics and

measurement. Basics of software evolution, re-engineering, and reverse

engineering

SE 511 FORMAL METHODS IN SOFTWARE ENGINEERING

Credits: 3(3-1-0) Prerequisite: None.

In software engineering, the term “formal methods” refers to a class of

mathematically rigorous methods used to analyze, design and implement

complex software systems. The main purpose is to build, with high

confidence systems that behave according to their specifications. These

methods are usually associated with some formal specification languages

and some tools to realize the theoretical specifications. The main purpose

of this course is to introduce some of the well-known formal methods used

in the areas of software specifications, model checking and verifications.

SE 517 REAL-TIME SOFTWARE SYSTEMS

Credits: 3(3-1-0) Prerequisite: None.

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 521 ANALYSIS OF SOFTWARE ARTEFACTS

Credits: 3(3-1-0) Prerequisite: None

Analysis is the systematic examination of an artifact to determine its

properties. This course will focus on analysis of software artifacts--primarily

42 GRADUATE STUDIES BULLETIN