Master Program: Course Description

Code

Course

Credit

090325161

Efficient Algorithms
Prerequisite: Department Permission

Design and analysis of algorithms, asymptotic notation, data structures, binary search tree, red-black tree, divide and conquer, heap sort, quick sort, lower bound for sorting, dynamic programming, shortest path, greedy algorithm, minimum spanning tree, maximum flow, string matching, applications in computer science.

3(3-0-6)
     
090325162

Software Engineering
Prerequisite: Department Permission

Software development process, defining and formulating requirements, concept and principles of architecture modeling, techniques for coding robust programs, important software equality, software project management techniques.

3(3-0-6)
     
090325163

Embedded Software
Prerequisite: None

Components and the operation of microcontrollers, components and the operation of PLC, programming language and functions for PLC, examples of embedded software applications.

3(3-0-6)
     
090325198

Master Thesis
Prerequisite: Department Permission

Students are required to conduct a research on a current topic in software systems engineering.

12
     
090325199

Industrial Internship
Prerequisite: Department Permission

Students are required to utilize their knowledge to solve or analyze engineering problems that occur in a factory, as well as to work in an industrial environment and write a working report that summarizes their jobs and outcomes.

4
     
090325261

Software Architecture
Prerequisite: Department Permission

Concepts for program units, mutual relations valuable for the design of software systems in any application area, integrated approach of an architecture Language for structuring a software system, locality, hierarchical layering, object-orientation, generosity, subsystems, concurrent processes, maintenance, reengineering problems, examples from different application domains, interactive systems, embedded systems.

3(3-0-6)
     
090325262

Software Model Checking
Prerequisite: None

Model-checking techniques for the automated analysis of correctness properties of complex software systems, optimization techniques that make model checking verification techniques of industrial relevance, temporal logic, automata, modeling of concurrent systems, algorithms, abstraction, binary decision diagrams, partial-order reduction, hashing techniques, static analysis, and software tools for software model checking.

3(3-0-6)
     
090325263

Computer Graphics
Prerequisite: None

An introduction to computer graphics, understanding of the background and concepts of 2D and 3D computer graphics technologies, using standard 2D and 3D graphics libraries for efficient graphics content generation.

3(3-0-6)
     
090325264

Selected Topics in Practical Computer Science
Prerequisite: Department Permission

Advanced topics in practical perspective related to the computer technology in the field of software systems engineering.

3(3-0-6)
     
090325265

Introduction to Human-Computer Interaction
Prerequisite: None

Designing the human-computer interaction, human-computer interaction using graphics and text, human-computer interaction using natural body gesture, augmented technology for human-computer interaction.

3(3-0-6)
     
090325266

Selected Topics in Software Systems Engineering
Prerequisite: Department Permission

Advanced topics in software systems relevant to software systems engineering.

3(3-0-6)
     
090325267

Advanced Database Models and Technologies
Prerequisite: Department Permission

Modern database models and systems, yet scientifically based level. relational models and database using SQL, semi-structured models and database using XML, database transaction management, concepts for performance tuning and safety in database implementation.

3(3-0-6)
     
090325268

Modern Communications
Prerequisite: None

The theory of optical fiber and radio signals, modern wireless and fixed communication technologies, comparison of various media for broadband communications.

3(3-0-6)
     
090325269

Software Reliability
Prerequisite: None

Introduction to basic principles and techniques for finding and correcting errors in software systems, concepts and methods of systematic testing, model-checking methods for automatic program verifications, data-flow analyses.

3(3-0-6)
     
090325270

Optimization Methods
Prerequisite: None

Complexity theory, NP-completeness, linear programming, simplex algorithm, duality, sensitivity analysis, integer programming, branch and bound algorithm, branch and cut algorithm, constraint programming, local search, genetic algorithm, nonlinear optimization.

3(3-0-6)
     
090325271

Distributed Systems and Grid Technology
Prerequisite: None

Distributed systems, parallel computation, grid technology, distinct computing environments, system architecture, middleware, security, system management, implementation of a small-sized computer cluster, scheduling policies to optimize resource utilization.

3(3-0-6)
     
090325272

Network Security
Prerequisite: None

The fundamental of network monitoring, the knowledge and practice of network security, Internet security from the packet flow aspect, abnormalities within the network, security Policies, security Audits, cyber Terrorism.

3(3-0-6)
     
090325273

Machine Vision
Prerequisite: None

Introduction about the machine vision technology, basic components in machine vision systems, application of machine vision in the fields such as engineering and related industries.

3(3-0-6)