b) Computer Software

Distributed Operating Systems (4 cu)

Kernel functionality. File service. Name service. Time and coordination. Replication. Distributed transactions. Recovery and fault tolerance.

Performance Evaluation (2 cu)

General performance modeling concepts. Queueing network models and their solutions. Workload modeling. Emphasis on applications.

Computer Networks (4 cu)

Formal specification and analysis of communication protocols, specification case studies. Security in computer networks: encryption, authentication, digital signatures etc.

Temporal Logic and Verification (3 cu)

An introduction to linear and branching-time temporal and modal logics and their applications in specifying and verifying requirements of concurrent and reactive systems.

Principles of Concurrent Programming I (3 cu)

Basic abstractions in concurrent programming, analysis and verification of algorithms and synchronization primitives for shared-memory parallel programs.

Principles of Concurrent Programming II (3 cu)

An overview of concurrent programming in a distributed memory computer architecture where communication is realized with message passing. Besides formal analysis of this computing model a collection of distributed algorithms are studied to illustrate and concretize this approach.

Computer Architectures (4 cu)

Structure of computer architectures, from instruction sets to I/O systems. The main emphasis is on uniprocessor systems.

Object-Oriented Programming (4 cu)

Introduction to object-oriented thinking. Pure object-oriented languages. Object-oriented analysis and design. Hybrid object-oriented languages. Design patterns.

Compilers (6 cu)

Lexical analysis, syntax analysis, semantic analysis, and code generation; use of metatools, laboratory assignments.

Mobile (Wireless) Data Communications (3 cu)

Basic technologies, major challenges, and future of wireless data networking including: wireless data networks (GSM, Mobitex, CDPD, etc.), challenges of mobile (wireless) data networking, mobile IP, current solutions to the challenges, and possible applications for nomads. The course includes also minor projects in which participants design systems that employ wireless data networking.

The LOTOS Specification Language (3 cu)

Lotos and its extensions. Specification and analysis of distributed systes. Lotos programming environments.