Undergraduate Handbook - School of Computing and Informatics ...

programming language Java; Gain experience in implementing object-oriented Programmes in Java; Apply an
iterative, use case-driven process to the development of a robust design model; Use UML to represent the design
model; Apply the OO concepts abstraction, encapsulation, inheritance, hierarchy, modularity, and polymorphism to
the development of a robust design model; and Design and implement a software system using object-oriented
software engineering paradigm.
Indicative Content: In particular the course covers the following main themes and associated topics: Systems
modeling and Design Software Engineering processes and principles of good software design. UML modeling and
design with particular emphasis on software architecture, behavioral modeling, object interactions and state-charts.
Formal specifications of system requirements Principles of formal specifications and object orientation, state and
operation schemas; class schemas, object aggregation and inheritance; specification of dependency and information
sharing; definition of class union; semantic issues; reasoning techniques for validating invariant properties, such as
safety and liveness; Specification of object oriented Programmes Principles of object-oriented Programme
specifications, concepts of mid-conditions, pre-conditions and post-conditions of methods, the role and definition of
class invariants; loop invariants as a programming technique; techniques for reasoning about the correctness of
Programmes. The development process Generation of specifications of object-oriented Programmes from formal
specifications of system requirement; validation and verification processes of software system; acquisition of
practical experience in modelling and specifying Java Programmes, using appropriate tools for developing and
checking specifications of Java Programmes.
Reference Books:
i. C. Larman, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the
Unified Process, 2nd edition, Prentice-Hall, 2002.
ii. S. R. Schach, Object Oriented and Classical Software Engineering, 7th edition, McGraw-Hill, 2007.
iii. R. S. Pressman and D. Ince, Software Engineering A Practitioners Approach, McGraw-Hill, 2007.
iv. I. Sommerville, Software Engineering, 8th edition, Addison Wesley, 2006.
v. R.H. Thayer, and M. J. Christiansen, Software Engineering, Volume 1: The Development Process, 3rd
edition, Wiley & Sons, 2005.
vi. R. H. Thayer and M. Dorfman, Software Engineering, Volume 2: The Supporting Processes, 3rd edition,
Wiley & Sons, 2005.
BSE 3107: Real-Time and Embedded Systems (4 CU)
Course Description: At the end of the course students should be able to: Demonstrate knowledge of rate monotonic
theory and how to apply it to real-time applications; Understand the process and fundamentals of integrating
microprocessor-based embedded system elements to realize systems that not only meet functional requirements, but
timing and performance requirements as well; and Use practical skills to design and integrate a real-time operation
system with a microprocessor to host real-time service data processing.
Indicative Content: Rate Monotonic Theory, specifically the RM least upper bound, necessary and sufficient
feasibility tests, and application of rate monotonic theory , Real-time Operating Systems, scheduling,
synchronization mechanisms, and resource management, Embedded system architectures: System-on-chip, scalable
bus architectures, memory subsystems, Sensor and Actuator IO: ADC, DAC, servos, relays, stepper motors, Hbridge,
and CODECs, Real-time embedded test equipment, software debug tools, and methods of performance
profiling and tracing, Real-time applications including voice/packet-switched links and networks, streaming video
media, computer vision, digital control, and robotic system command and control.
Reference Books:
i. M. Ben-Ari, Principles of Concurrent and Distributed Programming, Prentice Hall, 1990.
ii. S. Bennett, Real-Time Computer Control: An Introduction Series in Systems and Control Engineering,
International Prentice Hall, 1988.
116