Page 113 - University Bulletin

112

of the course is on design of architectures, algorithms, and circuits, which can be operated
with small area and low power consumption to deliver a high speed and functional
performance.

SE 407 MICROPROCESSOR BASED SYSTEMS

Credits: 3(3, 0, 1) Prerequisite: CS 355
This course is focused on the principles and practices of modern embedded systems
design. It will focus on computer architecture beyond the CPU, fundamentals of the
hardware/software interface, techniques for sensing and controlling the physical world,
and a few other topics. Introduction to microprocessors as embedded devices. Emphasizes
Input/Output techniques, interrupts, real-time operation, high-level code debugging and
interfacing to various types of sensors and actuators.

SE 409 CLOUD COMPUTING

Credits: 3 (3,0,1) Prerequisite: CS 331, SE 322
This course will give students a theoretical foundation and hands-on experience with the
various technologies of the cloud computing paradigm. The course will cover topics related
to cloud infrastructure and software stack, programming models, underlying distributed
storage layers, as well as Virtualization. Students will also be exposed to various cloud
frameworks and libraries.

SE 411 SOFTWARE CONSTRUCTION
Credits: 3 (3,0,1) Prerequisite: SE 401

This course will provide students with an in-depth study of software construction. Topics
include basic theory of grammars and parsing, use of parser generators, software
construction fundamentals (minimizing complexity, anticipating change, constructing for
verification and standards in construction), managing construction (construction models,
construction planning and construction measurement), practical considerations
(construction design, construction languages, coding, construction testing, reuse,
construction quality, configuration management, security, automation, and integration),
and techniques for handling concurrency and inter-process communication.

SE 413 SOFTWARE SYSTEM MODELLING
Credits: 3 (3,0,1) Prerequisite: SE 322

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.