Page 48 - Graduate Studies Bulletin

GRADUATE STUDIES BULLETIN

The routing topics include Advanced IP Addressing Management such as
VSLM and Route Summarization, EIGRP, Multi-area OSPF, IS-IS, BGP, and
Route Optimization including Redundancy, Symmetry, Load Balancing
and Redistribution. The switching topics will cover VLANs, STP, VTP, inter-
VLAN routing, redundancy, Quality of Service issues, campus LAN security,
and transparent LAN services. The course is associated with a set of lab
experiments that gives hands-on experience on network design, routing
techniques, and LAN switching protocols.

SE 593 SEMINAR IN SOFTWARE ENGINEERING

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

This course examines the underlying concepts and latest topics in software

engineering. Potential topics include effective software development

techniques such as agile and extreme programming; use of UML to define

testing strategies; useful development tools and environments; patterns;

metrics issues in system generation; teamwork in successful developments.

Each student will select and report on a software engineering topic, perform

independent reading, and prepare a paper describing a major software

engineering issue. The course is taught using a seminar format in which

significant portions of the class period are set aside for students to lead and

actively participate in discussions.

SE XXX SOFTWARE SYSTEMS MODELLING

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

This course examines the underlying concepts and latest topics in software

models. This course considers many of the standard models for representing

sequential and concurrent systems, such as state machines, algebras, and

traces. It shows how different logics can be used to specify properties

of software systems, such as functional correctness, deadlock freedom,

and internal consistency. Concepts such as composition mechanisms,

abstraction relations, invariants, non-determinism, inductive definitions

and de-notational descriptions are recurrent themes throughout the

course. This course provides the formal foundations for the other core

courses. Notations are not emphasized, although some are introduced for

concreteness. Examples are drawn from software applications.

47PRINCE SULTAN UNIVERSITY