Bachelor of Engineering in Software Engineering 

This course trains the students’ skills of English language for academic purposes, covering all essential skills for studying at university (reading, writing, listening, and speaking).  The students taking this course are expected to have their English language proficiency at the level equivalent to the IELTS (Academic) score of 5.5. By the end of the course, they are expected to be at the level equivalent to IELTS (Academic) score of 6.0 or higher.

This course teaches the students to understand basic principles of electricity and electronics. Topics studied include basic concepts of electric circuits, resisters, capacitors, inductors, solid-state devices, diode and rectifiers, and transistors.

This is an introductory course in computer programming using the C language. Emphasis is placed on developing the students’ abilities in the design and implementation of algorithms. The course describes the fundamentals of program design and implementation in C, variables and data types, input and output statements, conditional statements, loop statements, modularity, parameter passing, pointers, arrays and complex arrays, strings, user-defined types, file processing, and program testing and debugging techniques.

Laboratory exercises supplementing 13016235 C Programming

This course provides an introduction to basic components of a computer and computer operation, the history and the evolution of computers, an introduction to a programming language, basics of computer programming using structured and object-oriented approaches, and some examples of computer programming to serve various purposes.

This course provides a study of the nature of logic and logical reasoning, covering the following topics: arguments, syntax and semantics of propositional logic, validity and equivalence in propositional logic, truth tables, basic proof theory for propositional logic, syntax and semantics of first-order logic, validity and equivalence in first-order logic, basic proof theory for first-order logic, limitations of first-order logic, and applications of logic for problem solving.

This course trains the students’ skills of English language for academic purposes, covering all essential skills for studying at university (reading, writing, listening, and speaking).  The students taking this course are expected to have their English language proficiency at the level equivalent to the IELTS (Academic) score of 6.0. By the end of the course, they are expected to be at the level equivalent to IELTS (Academic) score of 6.5 or higher.

This course covers the following topics: basic theory of switching circuit, Boolean algebra, truth table, Boolean equation reduction by Karnaugh mapping and Quine–McCluskey method, Venn diagram, logic gates, flip-flops, counters, shift registers, and combinational and sequential circuit design.

Practical study related to 13016204 Digital Circuit and Logic Design

This is an introductory course in discrete mathematics, covering the following topics: basic set theory, theory and techniques of counting, properties of integers, mathematical induction, recursive definitions, recurrent equations, sequences and summations, relations, graphs, and trees.

An elective course in Humanity

This course introduces object-oriented concepts and methodology and studies object-oriented programming using C++. Topics covered include objects, classes, encapsulation, inheritance, multiple inheritance, polymorphism, abstract classes, static class members, object construction and destruction, namespaces, function overloading, function overriding, exception handling, template classes, and container classes. This course also covers basic techniques for testing and debugging object-oriented programs.

Practical study related to 13016209 Object-Oriented Concepts and Programming

This course covers advanced concepts of object-oriented programming, with emphasis on principles and practices for the design and implementation of large and complex programs. The course covers the following topics: design and implementation principles to support software reuse, basic design patterns, exception handling, event-driven programming, development of programs with graphical user interface, multithread programming, and the use of tools to assist debugging and testing programs. Students are encouraged to learn to utilize classes from standard or third-party libraries by studying from the documentation of those libraries.

This course studies the basics of microcomputer architectures and instruction execution. The topics covered include microprocessor structures, registers, bus technology, memory hierarchy, main memory, cache memory, storage devices, and peripheral devices. The course also covers assembly language programming, including instruction sets, addressing modes, and instruction decoding.

Practical study related to 13016207 Computer Organization and Assembly Language

The course studies basic data structures and their related operations as well as an introduction to the analysis of algorithms. Topics include arrays, stacks, queues, lists, hash tables, trees, heaps, graphs, time and space complexity analysis of algorithms, asymptotic notations, iterative and recursive algorithms, and algorithms for sorting and searching and their complexity.

Practical study related to 13016212 Data Structures and Algorithms

An elective course in Social Study

This course provides a study and practice of academic writing skills in English language. By the end of the course, the students are expected to be able to compose clear and effective technical writings, including technical essays, reports, and articles, with correct and appropriate usage of the language.

This course provides a study of theories and techniques of algorithm design and analysis. For algorithm design, students will study a wide range of algorithmic solutions to problems from various application areas, including searching, sorting, optimization, and important problems in graph theory. In addition, important design paradigms will be covered including greedy methods, divide-and-conquer methods, dynamic programming, backtracking, and branch-and-bound methods. For algorithm analysis, students will practice analyzing the execution time and the resource consumption of algorithms, and related mathematical techniques.

This course provides an overview of computer networks and communications, covering the following topics: computer network reference models such as OSI and TCP/IP, basics of wired and wireless digital communications, concepts of peer-to-peer communications, LAN and WAN (such as Ethernet and ATM), network layer design issues, routing algorithms, congestion control methodologies, standards and examples of network protocols, transport layer design issues, quality of services, standards and examples of transport protocols (such as TCP and UDP), network security, and computer network applications (such as the Internet, emails, World Wide Web, and the voice and video communications over computer networks).

Practical experiments related to 13016241 Computer Networks and Communications

This course studies basic concepts of information systems and database systems, with emphasis on the study of relational database systems. Topics include basic concepts of information systems and database systems, types of data models, relational database design, entity-relationship models, normal forms of relational databases, and database query languages.

This course requires the students to attend seminars, lectures, and/or talks, given by invited speakers who are well-known in the software industry or in research and development in computing-related areas. The students are required to submit a written report summarizing what they have learned from each seminar.

This course studies important principles and concepts of software engineering, as well as an overview of software development processes. Topics include software development processes, requirements and specifications of software, structured and object-oriented software design, software verification and validation, software project management, software evolution and maintenance, and computer-aided software engineering (CASE) tools.

Practical study related to 13016214 Software Engineering Principle

This course provides a study and practice of technical communication and presentation skills in English. The course studies how to communicate and make a presentation clearly and effectively, with correct and appropriate usage of the language. The students are trained to communicate on technical topics through conversations and written correspondence (such as letters or emails), give public speeches and lectures on technical topics, and discuss in a seminar. The course will also study techniques in creating and delivering effective presentations.

This course demands the student to complete at least 320 hours of software industrial training in a software company before graduation. The objectives of software industrial training are for the students to gain work experience in the software industry and to understand the role of a software engineer. Each student is required to submit a report and present an official statement from the employer confirming their satisfactory in the software industrial training. Each student is required to formally enroll in this course in a summer semester.

This course covers basic theory and concepts of cultural studies, evolution and relations of world cultures, and study in detail of selected cultures in present days.

A philosophical study of “the good life”: What constitutes a good life: “How ought one to live?” Examination and critical analysis of a variety of ethical theories from classical through the present and their practical application to contemporary issues.

Basic introduction to humanities. Focuses on central concepts, historical development and fundamental nature of philosophy, architecture, music, religion and art.

Information literacy concept, Information needs and sources, Access of information, Evaluation of information, Communication and presentation of information

This course provides a study of the nature of logic and logical reasoning, covering the following topics: arguments, syntax and semantics of propositional logic, validity and equivalence in propositional logic, truth tables, basic proof theory for propositional logic, syntax and semantics of first-order logic, validity and equivalence in first-order logic, basic proof theory for first-order logic, limitations of first-order logic, and applications of logic for problem solving.

An introduction to philosophy through ancient, medieval, modern, and contemporary sources. The course includes main areas such as ethics, metaphysics, epistemology, aesthetics, and philosophy of religion.

The course provides a study of the thing we call “science”, together with its nature and methodology. The topics cover the meaning of science, reality, the nature of scientific observations, scientific theories and their discovery and formation, scientific explanations and predictions, the problem of induction, scientific rationality, the nature of scientific knowledge, concepts of truth, hypothesis testing, hypothesis confirmation, hypothesis falsification, logic of scientific method, and scientific progress.

This course covers basic theory and concepts of cultural studies, evolution and relations of world cultures, and study in detail of selected cultures in present days.

This course introduces concepts, principles, and processes in business administration. The topics of study include objectives and types of business organizations, planning, organization structures, motivation, leadership, communication, controlling of operations, marketing, and personnel management.

This course provides a study of social, legal and moral issues raised by the development of information technology. The course examines the relationship between law, policy and technology related to current issues, including intellectual property, privacy, computer crime and various risks which may cause damages associated with computer usage.

This course provides a study of production management, the scope and various activities of production management, organization structures, planning and development of new products, forecasting of production, production planning, production layouts and operation standards, production scheduling, factory location, purchasing and inventory control, quality control, industrial finance, personnel management, labor relations, personnel motivation, production maintenance, and safety management.

This course gives an overview of economics, covering basic concepts and theories of microeconomics and macroeconomics. Topics in microeconomics studied include demand and supply, price elasticities, consumer behavior theory, production and cost theory, and perfect and imperfect competitions. Macroeconomics topics studied include aggregate demand and supply, macroeconomic data (e.g. gross domestic product, national income, etc.), management of economic growth, inflation problems, unemployment problems, money and banking systems, fiscal and monetary policy, taxation, international trades, and exchange rates.

Survey of environmental studies examining ecological, socioeconomic, aesthetic, and technological influences determining quality of life on earth.

An eclectic approach to a social and behavioral survey of major topics in psychology, including learning, motivation, intelligence, personality, mental illness, and social relations. 

The course covers the following topics: meanings of artificial intelligence, various knowledge representations (including semantic networks, frames, rules, logic, etc.), problem solving by search (including uninformed search and heuristic search), playing games using search, elementary logic, logical reasoning, knowledge-based systems, rule-based systems, expert systems, machine learning, planning, intelligent agents, and programming languages for artificial intelligence.

This course studies the structures and mechanisms of database management systems, physical structures of databases, access mechanisms, query processing, transaction processing, database recovery, concurrency control, distributed database systems, and object-oriented database systems.

This course covers the principles and methodology of object-oriented analysis and design, with emphasis on the use of the Unified Modeling Language (UML), and also the object-oriented development methodology under the unified process. Students will study how to utilize various UML diagrams as well as several design patterns in software analysis and design processes.

Practical study related to 13016219 Object-Oriented Analysis and Design

This course studies basic principles and concepts of operating systems. Topics include structures of operating systems, process management, processor scheduling, process synchronization, inter-process communication, semaphores and monitors, mutual exclusion, deadlock detection and prevention, memory management, virtual memory, file systems, I/O systems, secondary storage management, user account management, and operating system security. The course also studies and compares among important operating systems.

This course provides an introduction to the theory of computation, covering the following topics: strings and languages, finite automata, equivalence of deterministic finite automata and nondeterministic finite automata, regular languages, regular expressions, regular grammars, relations between regular languages and regular grammars, properties of regular languages, pumping lemma for regular languages, context-free grammar, pushdown automata, relations between pushdown automata and context-free languages, properties of context-free languages, pumping lemma for context-free languages, Turing machines, equivalence of nondeterministic Turing machines and deterministic Turing machines, undecidable problems, computational complexity, important complexity classes (such as P, NP, and EXPTIME), reduction, and complete complexity classes.

This course provides a foundation of current and future web technologies, which include the development of web applications and services, web components, and network protocols necessary for web programming. The course begins with the basics such as markup languages HTML and XML, HTTP protocol and the mechanism of how a web server handles requests, web programming languages, cookies, session management, database integration, performance tuning, and security issues concerning the web applications. This course emphasizes on both client-side programming using JavaScript and server-side programming using Python. Finally this course introduces web service development and semantic web technology.

This course studies theories and concepts for constructing computer language translators. The topics include lexical analysis, syntax analysis, parser construction, syntax-directed translation, type checking, run-time environment handling, intermediate and machine code generation and code optimization, interpreter construction, together with case studies of compiler design and construction for some computer languages.

This course emphasizes on distributed computing from a system software perspective. The topics include distributed system architectures, distributed programming, message passing, remote procedure calls, group communication, naming and membership problems, logical time, consistency, fault-tolerance, and recovery. It also covers concepts and architectures for distributed processing and distributed transaction processing, process synchronization and concurrency control, quality of service, security, and various middleware (e.g. CORBA, DCE and DCOM).

This course studies the design and development of large-scale software for enterprises. The students will learn important design considerations and some important architectures (including enterprise architecture) for enterprise software, learn how to interoperate between the software sub-systems, e.g. via web services and some standard of data interchange, and make this interoperability secure, and also learn how to utilize software frameworks and technologies to support the development of enterprise software.

This course provides an introduction to software design with emphasis on architectural design and models of software architectures. Software architectures studied include: data flow architectures, procedure-based architectures, middleware architectures, object-oriented architectures, event-driven architectures, virtual machine architectures, component-based architectures, shared information system architectures, client-server architectures, distributed architectures, enterprise architectures, web-based architectures, service-oriented architectures, grid architectures, and mixed architectures. For each architectural style studied, the course discusses the technological background of its evolution, its advantages and disadvantages, and its uses in the software development.

A software development process is a set of activities, methods, and practices that are used in the production and maintenance process of software. This course is concerned with improving the processes used to develop and maintain high-quality software in a timely and economical manner. It covers the evolutions of different software development models and the currently popular and successful process models, including iterative software development (e.g. spiral models and the Rational Unified Process (RUP)), agile software development (e.g. Extreme Programming (XP), Agile Modeling (AM), Scrum, Crystal, Feature Driven Development (FDD), and Incremental Funding Method (IFM)), software maturity frameworks and software process improvement (e.g. the Capability Maturity Model (CMM) and the Personal Software Process (PSP)).

This is a software project course in which the students work in group to develop software according to the requirements provided by the users. The students will learn to integrate their knowledge and skills to perform each phase of software development, including requirement analysis, modeling, design, implementation, and testing, in order to obtain the required software, whose topic is decided by the advisor(s) or by the students themselves.

Any course offered at the International College

This course studies fundamental concepts of human perception, ergonomics, cognition, and psychology of the interaction between human and computer systems, and also covers the following topics on the design of interactive software: requirement analysis for interactive software, principles and techniques of user interface design, types of input devices, choosing appropriate input devices, and validation and usability evaluation of interactive software.

In this course, the students will conduct their independent study, research and development of computer software using software engineering methodology. The students will be guided by their project supervisor to conduct research and software development with the aim that they can develop their own original work with their creativity and problem solving skills. The required project report must be submitted and presented to the examination committee at the end of the semester.

This course studies three important methods for software verification and validation: testing, peer reviews, and formal verification, with emphasis on testing. Topics on testing include the necessity and limitations of testing, an overview of test processes, testing throughout the software development life cycle, unit testing, test design techniques, test automation, tool support for testing, and test management. The course will study how software peer reviews, which can help detect and prevent software defects, are carried out in practice and study the inspection processes throughout the software development life cycle, including the inspection of requirement documents, design documents, code, and test plans. The course will also provide a basic understanding of formal verification, including how to prove the correctness of a simple program using Hoare logic.

This course provides a study of social, legal and moral issues raised by the development of information technology. The course examines the relationship between law, policy and technology related to current issues, including intellectual property, privacy, computer crime and various risks which may cause damages associated with computer usage.

Any course offered at the International College

In this course, the students will conduct their independent study, research and development of computer software using software engineering methodology. The students will be guided by their project supervisor to conduct research and software development with the aim that they can develop their own original work with their creativity and problem solving skills. The required project thesis must be submitted together with the developed software and presented to the examination committee at the end of the semester.

Study of selected advanced topics in computer networks which are important at present

Study of selected advanced topics in database systems which are important at present

Study of selected advanced topics in software architecture which are important at present

Study of selected advanced topics in software engineering which are important at present

This course covers applications of logic in artificial intelligence, communication of multi-agents, intelligent search, advanced planning, advanced learning, natural language understanding, applications of artificial neural networks and genetic algorithms, and recent techniques in artificial intelligence. The course also studies applications of artificial intelligence in related computing areas.

The course provides an overview of the challenges of big data and existing solutions. Covered in this course include an introduction to the following topics: data capturing, storage, processing, retrieval, analysis, and visualization. The students will also learn some useful software tools or libraries for processing or analyzing big data.

This course provides an introduction to the concepts of business intelligence (BI) as components and functionality of information systems. It explores how business problems can be solved effectively by using operational data to create data warehouses, and then applying data mining tools and analytics to gain new insights into organizational operations. Detailed discussion of the analysis, design and implementation of systems for BI, including: the differences between types of reporting and analytics, enterprise data warehousing, data management systems, decision support systems, knowledge management systems, big data and data/text mining.  Case studies are used to explore the use of application software, web tools, success and limitations of BI as well as technical and social issues. 

Study of concepts, algorithms, and theories related to computational intelligence. The subject covers the following topics: neural networks, fuzzy logic, evolutionary computation, swarm intelligence, other natured-inspired algorithms, and applications of computational intelligence.

This course provides a foundation of computer and network security. It covers security policy design, information classification and access control, security infrastructure design, software application security, network partitioning, risk analysis, virtual private networks, platform hardening, vulnerability assessment, basic cryptography (both symmetric key and asymmetric key), digital signature, authentication, personal identifier, certificate and key management. This course also emphasizes on mail security, IP security, web security, network intrusion, signatures of attacks, as well as intrusion detection and prevention using firewalls and other security software.

The course provides an overview of graphic systems, including input-output devices, sean conversion, two-dimensional transformations, translation, sealing, rotation, reflection, shearing, windowing concepts, clipping algorithms, window-to-viewport transformation, three-dimensional concepts, three-dimensional representations, three-dimensional transformations, three-dimensional viewing, hidden-surface and hidden-line removal, shading and color models, and applications of computer graphics to the development of graphical user interface and output display for computer software.

With very limited memory and processing power as well as low energy consumption of IoT (Internet of Things) devices, their communication networks are so designed and developed to meet these constraints. This course will focus on the emerging industrial standard of computer networks and communications technologies developed specifically for IoT devices, including network architectures and protocols layers.

Another important topic covered by this course is network security for IoT communication. It is the study how to make secure communications between IoT devices by incorporating encryption into the communication protocol. Widely use encryption techniques are also studied.

This course studies concepts and applications of computer vision. It covers the following topics: image operations, geometry, feature detection, color space, corner and interest point detection, texture analysis, shape recognition, object recognition, 3D-vision, and motion analysis.

This course provides an introduction to data mining. Students will learn the basics of data mining algorithms with an emphasis on their real world applications. Students will learn user data types, data mining methodology, measuring the effectiveness of data mining, overview of data mining techniques, market basket analysis, memory-based reasoning, automatic cluster detection, link analysis, and artificial neural networks and genetic algorithms for data mining and data warehouse.

This course intends to develop the student’s software engineering and database administration skills required for designing, creating, running and developing a relational database application and its associated application software suite and the student’s understanding of how conventional programming languages interact with databases, teaches the student the fundamental concepts, theories and methods of the relational data model, and introduces Information Retrieval concepts and techniques.

This course introduces fundamental concepts of digital image processing. It covers the following topics: digital image, representation, digitization, histogram, point-processing, convolution, filtering, edge detection, frequency domains, image enhancement, image segmentation, and applications of digital image processing.

This is a basic course in digital signal processing, covering the following topics: discrete-time signals and systems, z-transform, sampling of continuous-time signals, transform analysis of linear time-invariant systems, structures for discrete-time systems, filter design techniques, discrete Fourier transform, and the applications of digital signal processing.

In this course, the students will study the principles and learn to develop programs for digital signal processors. Topics covered in this course are fundamentals of digital signal processing, digital signal processing systems and development tools, architectures of digital signal processors and instruction sets, code optimization, implementation of finite impulse response filters and infinite impulse response filters, fast Fourier transform, and real-time digital signal processing.

This course emphasizes on distributed computing from a system software perspective. The topics include distributed system architectures, distributed programming, message passing, remote procedure calls, group communication, naming and membership problems, logical time, consistency, fault-tolerance, and recovery. It also covers concepts and architectures for distributed processing and distributed transaction processing, process synchronization and concurrency control, quality of service, security, and various middleware (e.g. CORBA, DCE and DCOM).

In this course, the students will learn how to apply control theory to embedded systems. The course will introduce basic control theory with practical insight into the tools for modeling and simulating dynamic physical systems, and the methods for designing the software for embedded microcontrollers to control them. This course covers the following topics: fundamentals of control systems, PID control, plant models, classical control system design, pole placement, optimal control, and discrete time systems and fixed point mathematics. The students will be guided to develop corresponding software to control physical systems using the studied control algorithms.

This course covers the following topics: basic structures of the hardware and the software on embedded systems for various applications, design considerations for software on embedded systems (including resource constraints, energy consumption, time constraints, reliability, and fault tolerance), requirement specifications for software on embedded systems, methodologies and tools for the design and development of embedded software, operating systems for embedded systems, device drivers, and verification and validation techniques for software on embedded systems.

This course studies the design and development of large-scale software for enterprises. The students will learn important design considerations and some important architectures (including enterprise architecture) for enterprise software, learn how to interoperate between the software sub-systems, e.g. via web services and some standard of data interchange, and make this interoperability secure, and also learn how to utilize software frameworks and technologies to support the development of enterprise software.

This course provides a study of technology, science, and art involved in the development of computer games. Students will study a variety of software technologies relevant to computer game design and development, including programming languages, scripting languages, operating systems, file systems, networks, simulation engines, and multimedia design systems. Lectures and discussion topics will be taken from several areas of computer science: simulation and modeling, computer graphics, artificial intelligence, real-time processing, game theory, software engineering, human-computer interaction, graphic design, and game aesthetics.

This course provides a foundation of geographic information systems (GIS). The topics include meaning and applications of GIS, digital representation, map projection, coordinate systems, spatial data modeling, spatial databases, geometry functions, data input and editing, remote sensing, GPS, GIS data quality, GIS data visualization, GIS requirement analysis, design, and development, GIS applications, Web-based GIS, Mobile GIS, software tools for GIS development, and GIS technology and its future.

This course studies fundamental theory and techniques of information retrieval, focusing on text-based information and the Web. The main components of the course include models for information retrieval (including Boolean models, vectorspace models, and probabilistic models), retrieval evaluation, query languages and processing, indexing and searching, classification, clustering, link analysis, and web crawling and searching.

Intelligent agents are software programs that can sense their environments, choose rational actions based on their percepts, and execute these actions. Often, agents interact with other agents, either by cooperating or competing with each other; such environments are called multi-agent systems. The course covers the underlying theory of agents, the common agent architectures, methods of communication and cooperation, and the potential applications of agents. Specific topics include fundamental techniques for developing intelligent agents and multi-agent systems, including cognitive, logic-based, and belief- desire-intention architectures, inter-agent communication languages and protocols, distributed problem solving, planning, and constraint satisfaction methods, distributed models of rational behaviors, and learning and adaptation in multi-agent systems.

The course provides an introduction to parallel computing and parallel programming, covering the following topics: concepts of parallel computing, architectures of parallel computing systems, SIMD and MIMD, shared-memory and distributed-memory systems, parallel algorithms, data dependencies and parallelism, synchronization, performance analysis of parallel programs, and programming in parallel programming languages.

This course introduces fundamental concepts of robotics. The topics covered include forward and inverse kinematics, DH parameters, the Jacobian, trajectory planning, basics of robot control systems, including actuators and sensors for robots.

This course provides a comprehensive study of contemporary techniques and languages for knowledge representation and reasoning about knowledge. The course covers semantic modeling, e.g. semantic networks, conceptual graphs, ontology representation in Semantic Web, frame representation, rule-based representation, and logical representation, e.g. first-order logic, description logic, logic of actions and beliefs. For the reasoning about knowledge, the topics include abduction, deduction, induction, as well as reasoning about time, state, events, actions, and beliefs.

Study fundamental concepts of learning and well-known machine learning algorithms. The subject covers the following topics: fundamental probability theory; learning theory; bias/variance trade-off; Vapnik-Chervonenkis theory; supervised/unsupervised learning; generative/discriminative learning; parametric/non-parametric learning; reinforcement learning; applications of machine learning.

This course studies some architectures of the microprocessors and microcontrollers, which are widely used in embedded systems, as well as peripherals interfacing, and software development on those architectures. The topics include the architectures of microprocessors and microcontrollers in embedded systems, memory interfacing, buses, interrupts, interfacing with input/output devices, the conversion between analog signals and digital signals, interfacing with sensors and actuators, and data communication through ports (such as RS-232 ports, USB ports, and parallel ports).

This course introduces fundamental concepts of mobile computing. These include an overview of hardware architectures of mobile devices, wireless communications and networking technologies for mobile devices, sensors and peripherals, location awareness, mobile operating systems and software architectures, software development for mobile devices, and applications of mobile devices.

This course introduces the field of Natural Language Processing. It includes relevant background material in linguistics, mathematics, probabilities, and computer science. Some of the topics covered in the class are text similarity, part of speech tagging, parsing, semantics, question answering, sentiment analysis, and text summarization.

This course provides the students with a study of network application development, networking protocol usage, and performance of network applications. The students will gain understanding and practical skills in developing programs which communicate using protocols in different layers of the Internet protocol suite, including application-layer protocols (such as HTTP, FTP, DNS, SMTP, etc.), transport-layer and network-layer protocols (such as TCP, UDP, IP, ICMP, etc.), as well as secured protocols (such as HTTPS, IPSec, and various authentication protocols). The students will learn to use networking services provided by the operating system or support libraries, as well as techniques and tools which facilitate the testing and debugging of network applications.

The course provides an introduction to operation research methods, including linear programming, dynamic programming, game theory, queuing theory, CPM and PERT, and operation research techniques applied to industrial control planning and management.

This course studies basic concepts and methodologies of pattern recognition. The techniques include supervised and unsupervised learning, handling and scaling of multidimensional data, dimension reduction methods, feature selection and feature extraction, and validation of algorithms.

This course studies the evoluation of programming languages and their relationship. It covers important concepts and issues in programming language design, including syntax and semantics of programming languages, data types, abstraction, polymorphism, and program decomposition. The course also studies important programming language paradigms, such as object-oriented programming, functional programming, and logic programming, by referring to case studies of contemporary programming languages, such as C, C++, Java, Lisp, Prolog, ML, and Python.

Selected topics of current interest in software engineering for enterprises

Selected topics of current interest related to intelligent systems

Selected topics of current interest related to the Internet of Things

The Semantic Web has been envisioned by many to be a next generation of the current web. The Semantic Web makes it easy for anyone to publish, and access to, distributed semantic information on the Internet; this information allows computers and software agents on the Internet to communicate with each other and work together automatically. The course covers mark-up languages of web contents, that is, HTML and XML. For XML, it covers XML DTDs, XML Schemas, XPaths, XLinks and XPointers, including how to process an XML document with DOM. For the Semantic Web mark-up languages, the course covers RDF, RDFS, OWL, and rule mark-up languages. Finally, the course also includes different approaches of knowledge representation of Semantic Web contents, such as First-order Logic, Description Logic, and Conceptual Graphs, as well as reasoning and communication of Semantic Web information by intelligent agents.

Service-Oriented Architecture (SOA) is a way to organize and use distributed services that may be controlled by different owners. SOA provides a uniform means to offer, discover, interact with, and use services to produce desired effects consistent with the specified preconditions and requirements. This course describes SOA concepts and design principles, interoperability standards, security considerations, runtime infrastructure and web services for the implementation of SOA.

This course covers the architectures of operating systems on current mobile platforms, computer languages and software tools for developing software on mobile devices, GUI design, interfacing with various hardware devices, such as sensors, GPS receivers, and various input devices, and the use of software APIs for software development on mobile devices.

In this course, the students will work in teams to study and practice skills in software entrepreneurship, through setting up and running virtual software development companies. The students will study how to find prospective commercial opportunities for a technological idea, how to acquire resources including talent and capital, and how to market the idea, as well as manage the growth. The emphasis will be on how small software companies are created and managed, the financial and legal frameworks within which such companies operate, and the management of the companies for successful operations. Topics include market studies, feasibility studies, cost analysis, intellectual property, contract negotiation, resource management, business planning, finance, and marketing. The final outcome of each group of students will be a business plan for commercializing their software products.

This course covers a step-by-step study of software metrics. It includes an introduction to foundations of measurement theory, models of software engineering measurement, software product metrics, software process metrics and measuring management. The course comprises of the following basic modules: measurement theory (overview of software metrics, basics of measurement theory, goal-based framework for software measurement, empirical investigation in software engineering), software product and process measurements (measuring internal product attributes: size and structure, measuring external product attributes: quality, measuring cost and effort, measuring software reliability, software test metrics, and object-oriented metrics), and measurement management.

This course introduces concepts, metrics, and models in software quality assurance. The course covers components of software quality assurance systems before, during, and after software development. It also discusses metrics and models for software quality as a product, in process, and in maintenance. The Capability Maturity Model (CMM) will be introduced, as well as related ISO and IEEE standards. Students will gain an understanding of software quality and approaches to assure software quality.

This course describes TCP/IP networks, the topics of study are TCP/IP layers, Internet addresses, domain name systems, TCP/IP protocol suites: IPv4, IPv6, ARP, ICMP, TCP and UDP, Internet routing and routing protocols. It also describes various application protocols, including IGMP, DNS, FTP, TELNET, SMTP, and studies Internet security and the development of software to run on TCT/IP networks.

This course provides a foundation of current and future web technologies, which include the development of web applications and services, web components, and network protocols necessary for web programming. The course begins with the basics such as markup languages HTML and XML, HTTP protocol and the mechanism of how a web server handles requests, web programming languages, cookies, session management, database integration, performance tuning, and security issues concerning the web applications. This course emphasizes on both client-side programming using JavaScript and server-side programming using Python. Finally this course introduces web service development and semantic web technology.

This course is an introduction to fundamental concepts of wireless networks of embedded systems and wireless sensor networks. Topics include: wireless communication and networking technologies, i.e. Bluetooth, ZigBee, LoRa, network architecture, wireless communication protocols, and software design and programming for the wireless networks.

The course covers the following topics: meanings of artificial intelligence, various knowledge representations (including semantic networks, frames, rules, logic, etc.), problem solving by search (including uninformed search and heuristic search), playing games using search, elementary logic, logical reasoning, knowledge-based systems, rule-based systems, expert systems, machine learning, planning, intelligent agents, and programming languages for artificial intelligence.

The course provides an overview of the challenges of big data and existing solutions. Covered in this course include an introduction to the following topics: data capturing, storage, processing, retrieval, analysis, and visualization. The students will also learn some useful software tools or libraries for processing or analyzing big data.

Study fundamental concepts of learning and well-known machine learning algorithms. The subject covers the following topics: fundamental probability theory; learning theory; bias/variance trade-off; Vapnik-Chervonenkis theory; supervised/unsupervised learning; generative/discriminative learning; parametric/non-parametric learning; reinforcement learning; applications of machine learning.

This course covers the principles and methodology of object-oriented analysis and design, with emphasis on the use of the Unified Modeling Language (UML), and also the object-oriented development methodology under the unified process. Students will study how to utilize various UML diagrams as well as several design patterns in software analysis and design processes.

Practical study related to 13016219 Object-Oriented Analysis and Design

This course studies basic principles and concepts of operating systems. Topics include structures of operating systems, process management, processor scheduling, process synchronization, inter-process communication, semaphores and monitors, mutual exclusion, deadlock detection and prevention, memory management, virtual memory, file systems, I/O systems, secondary storage management, user account management, and operating system security. The course also studies and compares among important operating systems.

This course provides an introduction to the theory of computation, covering the following topics: strings and languages, finite automata, equivalence of deterministic finite automata and nondeterministic finite automata, regular languages, regular expressions, regular grammars, relations between regular languages and regular grammars, properties of regular languages, pumping lemma for regular languages, context-free grammar, pushdown automata, relations between pushdown automata and context-free languages, properties of context-free languages, pumping lemma for context-free languages, Turing machines, equivalence of nondeterministic Turing machines and deterministic Turing machines, undecidable problems, computational complexity, important complexity classes (such as P, NP, and EXPTIME), reduction, and complete complexity classes.

This course studies theories and concepts for constructing computer language translators. The topics include lexical analysis, syntax analysis, parser construction, syntax-directed translation, type checking, run-time environment handling, intermediate and machine code generation and code optimization, interpreter construction, together with case studies of compiler design and construction for some computer languages.

Study of concepts, algorithms, and theories related to computational intelligence. The subject covers the following topics: neural networks, fuzzy logic, evolutionary computation, swarm intelligence, other natured-inspired algorithms, and applications of computational intelligence.

This course provides a comprehensive study of contemporary techniques and languages for knowledge representation and reasoning about knowledge. The course covers semantic modeling, e.g. semantic networks, conceptual graphs, ontology representation in Semantic Web, frame representation, rule-based representation, and logical representation, e.g. first-order logic, description logic, logic of actions and beliefs. For the reasoning about knowledge, the topics include abduction, deduction, induction, as well as reasoning about time, state, events, actions, and beliefs.

This course provides an introduction to software design with emphasis on architectural design and models of software architectures. Software architectures studied include: data flow architectures, procedure-based architectures, middleware architectures, object-oriented architectures, event-driven architectures, virtual machine architectures, component-based architectures, shared information system architectures, client-server architectures, distributed architectures, enterprise architectures, web-based architectures, service-oriented architectures, grid architectures, and mixed architectures. For each architectural style studied, the course discusses the technological background of its evolution, its advantages and disadvantages, and its uses in the software development.

A software development process is a set of activities, methods, and practices that are used in the production and maintenance process of software. This course is concerned with improving the processes used to develop and maintain high-quality software in a timely and economical manner. It covers the evolutions of different software development models and the currently popular and successful process models, including iterative software development (e.g. spiral models and the Rational Unified Process (RUP)), agile software development (e.g. Extreme Programming (XP), Agile Modeling (AM), Scrum, Crystal, Feature Driven Development (FDD), and Incremental Funding Method (IFM)), software maturity frameworks and software process improvement (e.g. the Capability Maturity Model (CMM) and the Personal Software Process (PSP)).

This is a software project course in which the students work in group to develop software according to the requirements provided by the users. The students will learn to integrate their knowledge and skills to perform each phase of software development, including requirement analysis, modeling, design, implementation, and testing, in order to obtain the required software, whose topic is decided by the advisor(s) or by the students themselves.

Any course offered at the International College

This course studies fundamental concepts of human perception, ergonomics, cognition, and psychology of the interaction between human and computer systems, and also covers the following topics on the design of interactive software: requirement analysis for interactive software, principles and techniques of user interface design, types of input devices, choosing appropriate input devices, and validation and usability evaluation of interactive software.

In this course, the students will conduct their independent study, research and development of computer software using software engineering methodology. The students will be guided by their project supervisor to conduct research and software development with the aim that they can develop their own original work with their creativity and problem solving skills. The required project report must be submitted and presented to the examination committee at the end of the semester.

This course studies three important methods for software verification and validation: testing, peer reviews, and formal verification, with emphasis on testing. Topics on testing include the necessity and limitations of testing, an overview of test processes, testing throughout the software development life cycle, unit testing, test design techniques, test automation, tool support for testing, and test management. The course will study how software peer reviews, which can help detect and prevent software defects, are carried out in practice and study the inspection processes throughout the software development life cycle, including the inspection of requirement documents, design documents, code, and test plans. The course will also provide a basic understanding of formal verification, including how to prove the correctness of a simple program using Hoare logic.

This course provides a study of social, legal and moral issues raised by the development of information technology. The course examines the relationship between law, policy and technology related to current issues, including intellectual property, privacy, computer crime and various risks which may cause damages associated with computer usage.

Any course offered at the International College

In this course, the students will conduct their independent study, research and development of computer software using software engineering methodology. The students will be guided by their project supervisor to conduct research and software development with the aim that they can develop their own original work with their creativity and problem solving skills. The required project thesis must be submitted together with the developed software and presented to the examination committee at the end of the semester.

Study of selected advanced topics in computer networks which are important at present

Study of selected advanced topics in database systems which are important at present

Study of selected advanced topics in software architecture which are important at present

Study of selected advanced topics in software engineering which are important at present

This course covers applications of logic in artificial intelligence, communication of multi-agents, intelligent search, advanced planning, advanced learning, natural language understanding, applications of artificial neural networks and genetic algorithms, and recent techniques in artificial intelligence. The course also studies applications of artificial intelligence in related computing areas.

The course provides an overview of the challenges of big data and existing solutions. Covered in this course include an introduction to the following topics: data capturing, storage, processing, retrieval, analysis, and visualization. The students will also learn some useful software tools or libraries for processing or analyzing big data.

This course provides an introduction to the concepts of business intelligence (BI) as components and functionality of information systems. It explores how business problems can be solved effectively by using operational data to create data warehouses, and then applying data mining tools and analytics to gain new insights into organizational operations. Detailed discussion of the analysis, design and implementation of systems for BI, including: the differences between types of reporting and analytics, enterprise data warehousing, data management systems, decision support systems, knowledge management systems, big data and data/text mining.  Case studies are used to explore the use of application software, web tools, success and limitations of BI as well as technical and social issues. 

Study of concepts, algorithms, and theories related to computational intelligence. The subject covers the following topics: neural networks, fuzzy logic, evolutionary computation, swarm intelligence, other natured-inspired algorithms, and applications of computational intelligence.

This course provides a foundation of computer and network security. It covers security policy design, information classification and access control, security infrastructure design, software application security, network partitioning, risk analysis, virtual private networks, platform hardening, vulnerability assessment, basic cryptography (both symmetric key and asymmetric key), digital signature, authentication, personal identifier, certificate and key management. This course also emphasizes on mail security, IP security, web security, network intrusion, signatures of attacks, as well as intrusion detection and prevention using firewalls and other security software.

The course provides an overview of graphic systems, including input-output devices, sean conversion, two-dimensional transformations, translation, sealing, rotation, reflection, shearing, windowing concepts, clipping algorithms, window-to-viewport transformation, three-dimensional concepts, three-dimensional representations, three-dimensional transformations, three-dimensional viewing, hidden-surface and hidden-line removal, shading and color models, and applications of computer graphics to the development of graphical user interface and output display for computer software.

With very limited memory and processing power as well as low energy consumption of IoT (Internet of Things) devices, their communication networks are so designed and developed to meet these constraints. This course will focus on the emerging industrial standard of computer networks and communications technologies developed specifically for IoT devices, including network architectures and protocols layers.

Another important topic covered by this course is network security for IoT communication. It is the study how to make secure communications between IoT devices by incorporating encryption into the communication protocol. Widely use encryption techniques are also studied.

This course studies concepts and applications of computer vision. It covers the following topics: image operations, geometry, feature detection, color space, corner and interest point detection, texture analysis, shape recognition, object recognition, 3D-vision, and motion analysis.

This course provides an introduction to data mining. Students will learn the basics of data mining algorithms with an emphasis on their real world applications. Students will learn user data types, data mining methodology, measuring the effectiveness of data mining, overview of data mining techniques, market basket analysis, memory-based reasoning, automatic cluster detection, link analysis, and artificial neural networks and genetic algorithms for data mining and data warehouse.

This course intends to develop the student’s software engineering and database administration skills required for designing, creating, running and developing a relational database application and its associated application software suite and the student’s understanding of how conventional programming languages interact with databases, teaches the student the fundamental concepts, theories and methods of the relational data model, and introduces Information Retrieval concepts and techniques.

This course introduces fundamental concepts of digital image processing. It covers the following topics: digital image, representation, digitization, histogram, point-processing, convolution, filtering, edge detection, frequency domains, image enhancement, image segmentation, and applications of digital image processing.

This is a basic course in digital signal processing, covering the following topics: discrete-time signals and systems, z-transform, sampling of continuous-time signals, transform analysis of linear time-invariant systems, structures for discrete-time systems, filter design techniques, discrete Fourier transform, and the applications of digital signal processing.

In this course, the students will study the principles and learn to develop programs for digital signal processors. Topics covered in this course are fundamentals of digital signal processing, digital signal processing systems and development tools, architectures of digital signal processors and instruction sets, code optimization, implementation of finite impulse response filters and infinite impulse response filters, fast Fourier transform, and real-time digital signal processing.

This course emphasizes on distributed computing from a system software perspective. The topics include distributed system architectures, distributed programming, message passing, remote procedure calls, group communication, naming and membership problems, logical time, consistency, fault-tolerance, and recovery. It also covers concepts and architectures for distributed processing and distributed transaction processing, process synchronization and concurrency control, quality of service, security, and various middleware (e.g. CORBA, DCE and DCOM).

In this course, the students will learn how to apply control theory to embedded systems. The course will introduce basic control theory with practical insight into the tools for modeling and simulating dynamic physical systems, and the methods for designing the software for embedded microcontrollers to control them. This course covers the following topics: fundamentals of control systems, PID control, plant models, classical control system design, pole placement, optimal control, and discrete time systems and fixed point mathematics. The students will be guided to develop corresponding software to control physical systems using the studied control algorithms.

This course covers the following topics: basic structures of the hardware and the software on embedded systems for various applications, design considerations for software on embedded systems (including resource constraints, energy consumption, time constraints, reliability, and fault tolerance), requirement specifications for software on embedded systems, methodologies and tools for the design and development of embedded software, operating systems for embedded systems, device drivers, and verification and validation techniques for software on embedded systems.

This course studies the design and development of large-scale software for enterprises. The students will learn important design considerations and some important architectures (including enterprise architecture) for enterprise software, learn how to interoperate between the software sub-systems, e.g. via web services and some standard of data interchange, and make this interoperability secure, and also learn how to utilize software frameworks and technologies to support the development of enterprise software.

This course provides a study of technology, science, and art involved in the development of computer games. Students will study a variety of software technologies relevant to computer game design and development, including programming languages, scripting languages, operating systems, file systems, networks, simulation engines, and multimedia design systems. Lectures and discussion topics will be taken from several areas of computer science: simulation and modeling, computer graphics, artificial intelligence, real-time processing, game theory, software engineering, human-computer interaction, graphic design, and game aesthetics.

This course provides a foundation of geographic information systems (GIS). The topics include meaning and applications of GIS, digital representation, map projection, coordinate systems, spatial data modeling, spatial databases, geometry functions, data input and editing, remote sensing, GPS, GIS data quality, GIS data visualization, GIS requirement analysis, design, and development, GIS applications, Web-based GIS, Mobile GIS, software tools for GIS development, and GIS technology and its future.

This course studies fundamental theory and techniques of information retrieval, focusing on text-based information and the Web. The main components of the course include models for information retrieval (including Boolean models, vectorspace models, and probabilistic models), retrieval evaluation, query languages and processing, indexing and searching, classification, clustering, link analysis, and web crawling and searching.

Intelligent agents are software programs that can sense their environments, choose rational actions based on their percepts, and execute these actions. Often, agents interact with other agents, either by cooperating or competing with each other; such environments are called multi-agent systems. The course covers the underlying theory of agents, the common agent architectures, methods of communication and cooperation, and the potential applications of agents. Specific topics include fundamental techniques for developing intelligent agents and multi-agent systems, including cognitive, logic-based, and belief- desire-intention architectures, inter-agent communication languages and protocols, distributed problem solving, planning, and constraint satisfaction methods, distributed models of rational behaviors, and learning and adaptation in multi-agent systems.

The course provides an introduction to parallel computing and parallel programming, covering the following topics: concepts of parallel computing, architectures of parallel computing systems, SIMD and MIMD, shared-memory and distributed-memory systems, parallel algorithms, data dependencies and parallelism, synchronization, performance analysis of parallel programs, and programming in parallel programming languages.

This course introduces fundamental concepts of robotics. The topics covered include forward and inverse kinematics, DH parameters, the Jacobian, trajectory planning, basics of robot control systems, including actuators and sensors for robots.

This course provides a comprehensive study of contemporary techniques and languages for knowledge representation and reasoning about knowledge. The course covers semantic modeling, e.g. semantic networks, conceptual graphs, ontology representation in Semantic Web, frame representation, rule-based representation, and logical representation, e.g. first-order logic, description logic, logic of actions and beliefs. For the reasoning about knowledge, the topics include abduction, deduction, induction, as well as reasoning about time, state, events, actions, and beliefs.

Study fundamental concepts of learning and well-known machine learning algorithms. The subject covers the following topics: fundamental probability theory; learning theory; bias/variance trade-off; Vapnik-Chervonenkis theory; supervised/unsupervised learning; generative/discriminative learning; parametric/non-parametric learning; reinforcement learning; applications of machine learning.

This course studies some architectures of the microprocessors and microcontrollers, which are widely used in embedded systems, as well as peripherals interfacing, and software development on those architectures. The topics include the architectures of microprocessors and microcontrollers in embedded systems, memory interfacing, buses, interrupts, interfacing with input/output devices, the conversion between analog signals and digital signals, interfacing with sensors and actuators, and data communication through ports (such as RS-232 ports, USB ports, and parallel ports).

This course introduces fundamental concepts of mobile computing. These include an overview of hardware architectures of mobile devices, wireless communications and networking technologies for mobile devices, sensors and peripherals, location awareness, mobile operating systems and software architectures, software development for mobile devices, and applications of mobile devices.

This course introduces the field of Natural Language Processing. It includes relevant background material in linguistics, mathematics, probabilities, and computer science. Some of the topics covered in the class are text similarity, part of speech tagging, parsing, semantics, question answering, sentiment analysis, and text summarization.

This course provides the students with a study of network application development, networking protocol usage, and performance of network applications. The students will gain understanding and practical skills in developing programs which communicate using protocols in different layers of the Internet protocol suite, including application-layer protocols (such as HTTP, FTP, DNS, SMTP, etc.), transport-layer and network-layer protocols (such as TCP, UDP, IP, ICMP, etc.), as well as secured protocols (such as HTTPS, IPSec, and various authentication protocols). The students will learn to use networking services provided by the operating system or support libraries, as well as techniques and tools which facilitate the testing and debugging of network applications.

The course provides an introduction to operation research methods, including linear programming, dynamic programming, game theory, queuing theory, CPM and PERT, and operation research techniques applied to industrial control planning and management.

This course studies basic concepts and methodologies of pattern recognition. The techniques include supervised and unsupervised learning, handling and scaling of multidimensional data, dimension reduction methods, feature selection and feature extraction, and validation of algorithms.

This course studies the evoluation of programming languages and their relationship. It covers important concepts and issues in programming language design, including syntax and semantics of programming languages, data types, abstraction, polymorphism, and program decomposition. The course also studies important programming language paradigms, such as object-oriented programming, functional programming, and logic programming, by referring to case studies of contemporary programming languages, such as C, C++, Java, Lisp, Prolog, ML, and Python.

Selected topics of current interest in software engineering for enterprises

Selected topics of current interest related to intelligent systems

Selected topics of current interest related to the Internet of Things

The Semantic Web has been envisioned by many to be a next generation of the current web. The Semantic Web makes it easy for anyone to publish, and access to, distributed semantic information on the Internet; this information allows computers and software agents on the Internet to communicate with each other and work together automatically. The course covers mark-up languages of web contents, that is, HTML and XML. For XML, it covers XML DTDs, XML Schemas, XPaths, XLinks and XPointers, including how to process an XML document with DOM. For the Semantic Web mark-up languages, the course covers RDF, RDFS, OWL, and rule mark-up languages. Finally, the course also includes different approaches of knowledge representation of Semantic Web contents, such as First-order Logic, Description Logic, and Conceptual Graphs, as well as reasoning and communication of Semantic Web information by intelligent agents.

Service-Oriented Architecture (SOA) is a way to organize and use distributed services that may be controlled by different owners. SOA provides a uniform means to offer, discover, interact with, and use services to produce desired effects consistent with the specified preconditions and requirements. This course describes SOA concepts and design principles, interoperability standards, security considerations, runtime infrastructure and web services for the implementation of SOA.

This course covers the architectures of operating systems on current mobile platforms, computer languages and software tools for developing software on mobile devices, GUI design, interfacing with various hardware devices, such as sensors, GPS receivers, and various input devices, and the use of software APIs for software development on mobile devices.

In this course, the students will work in teams to study and practice skills in software entrepreneurship, through setting up and running virtual software development companies. The students will study how to find prospective commercial opportunities for a technological idea, how to acquire resources including talent and capital, and how to market the idea, as well as manage the growth. The emphasis will be on how small software companies are created and managed, the financial and legal frameworks within which such companies operate, and the management of the companies for successful operations. Topics include market studies, feasibility studies, cost analysis, intellectual property, contract negotiation, resource management, business planning, finance, and marketing. The final outcome of each group of students will be a business plan for commercializing their software products.

This course covers a step-by-step study of software metrics. It includes an introduction to foundations of measurement theory, models of software engineering measurement, software product metrics, software process metrics and measuring management. The course comprises of the following basic modules: measurement theory (overview of software metrics, basics of measurement theory, goal-based framework for software measurement, empirical investigation in software engineering), software product and process measurements (measuring internal product attributes: size and structure, measuring external product attributes: quality, measuring cost and effort, measuring software reliability, software test metrics, and object-oriented metrics), and measurement management.

This course introduces concepts, metrics, and models in software quality assurance. The course covers components of software quality assurance systems before, during, and after software development. It also discusses metrics and models for software quality as a product, in process, and in maintenance. The Capability Maturity Model (CMM) will be introduced, as well as related ISO and IEEE standards. Students will gain an understanding of software quality and approaches to assure software quality.

This course describes TCP/IP networks, the topics of study are TCP/IP layers, Internet addresses, domain name systems, TCP/IP protocol suites: IPv4, IPv6, ARP, ICMP, TCP and UDP, Internet routing and routing protocols. It also describes various application protocols, including IGMP, DNS, FTP, TELNET, SMTP, and studies Internet security and the development of software to run on TCT/IP networks.

This course provides a foundation of current and future web technologies, which include the development of web applications and services, web components, and network protocols necessary for web programming. The course begins with the basics such as markup languages HTML and XML, HTTP protocol and the mechanism of how a web server handles requests, web programming languages, cookies, session management, database integration, performance tuning, and security issues concerning the web applications. This course emphasizes on both client-side programming using JavaScript and server-side programming using Python. Finally this course introduces web service development and semantic web technology.

This course is an introduction to fundamental concepts of wireless networks of embedded systems and wireless sensor networks. Topics include: wireless communication and networking technologies, i.e. Bluetooth, ZigBee, LoRa, network architecture, wireless communication protocols, and software design and programming for the wireless networks.

The course covers the following topics: meanings of artificial intelligence, various knowledge representations (including semantic networks, frames, rules, logic, etc.), problem solving by search (including uninformed search and heuristic search), playing games using search, elementary logic, logical reasoning, knowledge-based systems, rule-based systems, expert systems, machine learning, planning, intelligent agents, and programming languages for artificial intelligence.

This course studies some architectures of the microprocessors and microcontrollers, which are widely used in embedded systems, as well as peripherals interfacing, and software development on those architectures. The topics include the architectures of microprocessors and microcontrollers in embedded systems, memory interfacing, buses, interrupts, interfacing with input/output devices, the conversion between analog signals and digital signals, interfacing with sensors and actuators, and data communication through ports (such as RS-232 ports, USB ports, and parallel ports).

This course covers the principles and methodology of object-oriented analysis and design, with emphasis on the use of the Unified Modeling Language (UML), and also the object-oriented development methodology under the unified process. Students will study how to utilize various UML diagrams as well as several design patterns in software analysis and design processes.

Practical study related to 13016219 Object-Oriented Analysis and Design

This course studies basic principles and concepts of operating systems. Topics include structures of operating systems, process management, processor scheduling, process synchronization, inter-process communication, semaphores and monitors, mutual exclusion, deadlock detection and prevention, memory management, virtual memory, file systems, I/O systems, secondary storage management, user account management, and operating system security. The course also studies and compares among important operating systems.

This course provides an introduction to the theory of computation, covering the following topics: strings and languages, finite automata, equivalence of deterministic finite automata and nondeterministic finite automata, regular languages, regular expressions, regular grammars, relations between regular languages and regular grammars, properties of regular languages, pumping lemma for regular languages, context-free grammar, pushdown automata, relations between pushdown automata and context-free languages, properties of context-free languages, pumping lemma for context-free languages, Turing machines, equivalence of nondeterministic Turing machines and deterministic Turing machines, undecidable problems, computational complexity, important complexity classes (such as P, NP, and EXPTIME), reduction, and complete complexity classes.

This course provides a foundation of current and future web technologies, which include the development of web applications and services, web components, and network protocols necessary for web programming. The course begins with the basics such as markup languages HTML and XML, HTTP protocol and the mechanism of how a web server handles requests, web programming languages, cookies, session management, database integration, performance tuning, and security issues concerning the web applications. This course emphasizes on both client-side programming using JavaScript and server-side programming using Python. Finally this course introduces web service development and semantic web technology.

This course studies theories and concepts for constructing computer language translators. The topics include lexical analysis, syntax analysis, parser construction, syntax-directed translation, type checking, run-time environment handling, intermediate and machine code generation and code optimization, interpreter construction, together with case studies of compiler design and construction for some computer languages.

With very limited memory and processing power as well as low energy consumption of IoT (Internet of Things) devices, their communication networks are so designed and developed to meet these constraints. This course will focus on the emerging industrial standard of computer networks and communications technologies developed specifically for IoT devices, including network architectures and protocols layers.

Another important topic covered by this course is network security for IoT communication. It is the study how to make secure communications between IoT devices by incorporating encryption into the communication protocol. Widely use encryption techniques are also studied.

This course covers the following topics: basic structures of the hardware and the software on embedded systems for various applications, design considerations for software on embedded systems (including resource constraints, energy consumption, time constraints, reliability, and fault tolerance), requirement specifications for software on embedded systems, methodologies and tools for the design and development of embedded software, operating systems for embedded systems, device drivers, and verification and validation techniques for software on embedded systems.

This course provides an introduction to software design with emphasis on architectural design and models of software architectures. Software architectures studied include: data flow architectures, procedure-based architectures, middleware architectures, object-oriented architectures, event-driven architectures, virtual machine architectures, component-based architectures, shared information system architectures, client-server architectures, distributed architectures, enterprise architectures, web-based architectures, service-oriented architectures, grid architectures, and mixed architectures. For each architectural style studied, the course discusses the technological background of its evolution, its advantages and disadvantages, and its uses in the software development.

A software development process is a set of activities, methods, and practices that are used in the production and maintenance process of software. This course is concerned with improving the processes used to develop and maintain high-quality software in a timely and economical manner. It covers the evolutions of different software development models and the currently popular and successful process models, including iterative software development (e.g. spiral models and the Rational Unified Process (RUP)), agile software development (e.g. Extreme Programming (XP), Agile Modeling (AM), Scrum, Crystal, Feature Driven Development (FDD), and Incremental Funding Method (IFM)), software maturity frameworks and software process improvement (e.g. the Capability Maturity Model (CMM) and the Personal Software Process (PSP)).

This is a software project course in which the students work in group to develop software according to the requirements provided by the users. The students will learn to integrate their knowledge and skills to perform each phase of software development, including requirement analysis, modeling, design, implementation, and testing, in order to obtain the required software, whose topic is decided by the advisor(s) or by the students themselves.

Any course offered at the International College

This course studies fundamental concepts of human perception, ergonomics, cognition, and psychology of the interaction between human and computer systems, and also covers the following topics on the design of interactive software: requirement analysis for interactive software, principles and techniques of user interface design, types of input devices, choosing appropriate input devices, and validation and usability evaluation of interactive software.

In this course, the students will conduct their independent study, research and development of computer software using software engineering methodology. The students will be guided by their project supervisor to conduct research and software development with the aim that they can develop their own original work with their creativity and problem solving skills. The required project report must be submitted and presented to the examination committee at the end of the semester.

This course studies three important methods for software verification and validation: testing, peer reviews, and formal verification, with emphasis on testing. Topics on testing include the necessity and limitations of testing, an overview of test processes, testing throughout the software development life cycle, unit testing, test design techniques, test automation, tool support for testing, and test management. The course will study how software peer reviews, which can help detect and prevent software defects, are carried out in practice and study the inspection processes throughout the software development life cycle, including the inspection of requirement documents, design documents, code, and test plans. The course will also provide a basic understanding of formal verification, including how to prove the correctness of a simple program using Hoare logic.

This course provides a study of social, legal and moral issues raised by the development of information technology. The course examines the relationship between law, policy and technology related to current issues, including intellectual property, privacy, computer crime and various risks which may cause damages associated with computer usage.

Any course offered at the International College

In this course, the students will conduct their independent study, research and development of computer software using software engineering methodology. The students will be guided by their project supervisor to conduct research and software development with the aim that they can develop their own original work with their creativity and problem solving skills. The required project thesis must be submitted together with the developed software and presented to the examination committee at the end of the semester.

Study of selected advanced topics in computer networks which are important at present

Study of selected advanced topics in database systems which are important at present

Study of selected advanced topics in software architecture which are important at present

Study of selected advanced topics in software engineering which are important at present

This course covers applications of logic in artificial intelligence, communication of multi-agents, intelligent search, advanced planning, advanced learning, natural language understanding, applications of artificial neural networks and genetic algorithms, and recent techniques in artificial intelligence. The course also studies applications of artificial intelligence in related computing areas.

The course provides an overview of the challenges of big data and existing solutions. Covered in this course include an introduction to the following topics: data capturing, storage, processing, retrieval, analysis, and visualization. The students will also learn some useful software tools or libraries for processing or analyzing big data.

This course provides an introduction to the concepts of business intelligence (BI) as components and functionality of information systems. It explores how business problems can be solved effectively by using operational data to create data warehouses, and then applying data mining tools and analytics to gain new insights into organizational operations. Detailed discussion of the analysis, design and implementation of systems for BI, including: the differences between types of reporting and analytics, enterprise data warehousing, data management systems, decision support systems, knowledge management systems, big data and data/text mining.  Case studies are used to explore the use of application software, web tools, success and limitations of BI as well as technical and social issues. 

Study of concepts, algorithms, and theories related to computational intelligence. The subject covers the following topics: neural networks, fuzzy logic, evolutionary computation, swarm intelligence, other natured-inspired algorithms, and applications of computational intelligence.

This course provides a foundation of computer and network security. It covers security policy design, information classification and access control, security infrastructure design, software application security, network partitioning, risk analysis, virtual private networks, platform hardening, vulnerability assessment, basic cryptography (both symmetric key and asymmetric key), digital signature, authentication, personal identifier, certificate and key management. This course also emphasizes on mail security, IP security, web security, network intrusion, signatures of attacks, as well as intrusion detection and prevention using firewalls and other security software.

The course provides an overview of graphic systems, including input-output devices, sean conversion, two-dimensional transformations, translation, sealing, rotation, reflection, shearing, windowing concepts, clipping algorithms, window-to-viewport transformation, three-dimensional concepts, three-dimensional representations, three-dimensional transformations, three-dimensional viewing, hidden-surface and hidden-line removal, shading and color models, and applications of computer graphics to the development of graphical user interface and output display for computer software.

With very limited memory and processing power as well as low energy consumption of IoT (Internet of Things) devices, their communication networks are so designed and developed to meet these constraints. This course will focus on the emerging industrial standard of computer networks and communications technologies developed specifically for IoT devices, including network architectures and protocols layers.

Another important topic covered by this course is network security for IoT communication. It is the study how to make secure communications between IoT devices by incorporating encryption into the communication protocol. Widely use encryption techniques are also studied.

This course studies concepts and applications of computer vision. It covers the following topics: image operations, geometry, feature detection, color space, corner and interest point detection, texture analysis, shape recognition, object recognition, 3D-vision, and motion analysis.

This course provides an introduction to data mining. Students will learn the basics of data mining algorithms with an emphasis on their real world applications. Students will learn user data types, data mining methodology, measuring the effectiveness of data mining, overview of data mining techniques, market basket analysis, memory-based reasoning, automatic cluster detection, link analysis, and artificial neural networks and genetic algorithms for data mining and data warehouse.

This course intends to develop the student’s software engineering and database administration skills required for designing, creating, running and developing a relational database application and its associated application software suite and the student’s understanding of how conventional programming languages interact with databases, teaches the student the fundamental concepts, theories and methods of the relational data model, and introduces Information Retrieval concepts and techniques.

This course introduces fundamental concepts of digital image processing. It covers the following topics: digital image, representation, digitization, histogram, point-processing, convolution, filtering, edge detection, frequency domains, image enhancement, image segmentation, and applications of digital image processing.

This is a basic course in digital signal processing, covering the following topics: discrete-time signals and systems, z-transform, sampling of continuous-time signals, transform analysis of linear time-invariant systems, structures for discrete-time systems, filter design techniques, discrete Fourier transform, and the applications of digital signal processing.

In this course, the students will study the principles and learn to develop programs for digital signal processors. Topics covered in this course are fundamentals of digital signal processing, digital signal processing systems and development tools, architectures of digital signal processors and instruction sets, code optimization, implementation of finite impulse response filters and infinite impulse response filters, fast Fourier transform, and real-time digital signal processing.

This course emphasizes on distributed computing from a system software perspective. The topics include distributed system architectures, distributed programming, message passing, remote procedure calls, group communication, naming and membership problems, logical time, consistency, fault-tolerance, and recovery. It also covers concepts and architectures for distributed processing and distributed transaction processing, process synchronization and concurrency control, quality of service, security, and various middleware (e.g. CORBA, DCE and DCOM).

In this course, the students will learn how to apply control theory to embedded systems. The course will introduce basic control theory with practical insight into the tools for modeling and simulating dynamic physical systems, and the methods for designing the software for embedded microcontrollers to control them. This course covers the following topics: fundamentals of control systems, PID control, plant models, classical control system design, pole placement, optimal control, and discrete time systems and fixed point mathematics. The students will be guided to develop corresponding software to control physical systems using the studied control algorithms.

This course covers the following topics: basic structures of the hardware and the software on embedded systems for various applications, design considerations for software on embedded systems (including resource constraints, energy consumption, time constraints, reliability, and fault tolerance), requirement specifications for software on embedded systems, methodologies and tools for the design and development of embedded software, operating systems for embedded systems, device drivers, and verification and validation techniques for software on embedded systems.

This course studies the design and development of large-scale software for enterprises. The students will learn important design considerations and some important architectures (including enterprise architecture) for enterprise software, learn how to interoperate between the software sub-systems, e.g. via web services and some standard of data interchange, and make this interoperability secure, and also learn how to utilize software frameworks and technologies to support the development of enterprise software.

This course provides a study of technology, science, and art involved in the development of computer games. Students will study a variety of software technologies relevant to computer game design and development, including programming languages, scripting languages, operating systems, file systems, networks, simulation engines, and multimedia design systems. Lectures and discussion topics will be taken from several areas of computer science: simulation and modeling, computer graphics, artificial intelligence, real-time processing, game theory, software engineering, human-computer interaction, graphic design, and game aesthetics.

This course provides a foundation of geographic information systems (GIS). The topics include meaning and applications of GIS, digital representation, map projection, coordinate systems, spatial data modeling, spatial databases, geometry functions, data input and editing, remote sensing, GPS, GIS data quality, GIS data visualization, GIS requirement analysis, design, and development, GIS applications, Web-based GIS, Mobile GIS, software tools for GIS development, and GIS technology and its future.

This course studies fundamental theory and techniques of information retrieval, focusing on text-based information and the Web. The main components of the course include models for information retrieval (including Boolean models, vectorspace models, and probabilistic models), retrieval evaluation, query languages and processing, indexing and searching, classification, clustering, link analysis, and web crawling and searching.

Intelligent agents are software programs that can sense their environments, choose rational actions based on their percepts, and execute these actions. Often, agents interact with other agents, either by cooperating or competing with each other; such environments are called multi-agent systems. The course covers the underlying theory of agents, the common agent architectures, methods of communication and cooperation, and the potential applications of agents. Specific topics include fundamental techniques for developing intelligent agents and multi-agent systems, including cognitive, logic-based, and belief- desire-intention architectures, inter-agent communication languages and protocols, distributed problem solving, planning, and constraint satisfaction methods, distributed models of rational behaviors, and learning and adaptation in multi-agent systems.

The course provides an introduction to parallel computing and parallel programming, covering the following topics: concepts of parallel computing, architectures of parallel computing systems, SIMD and MIMD, shared-memory and distributed-memory systems, parallel algorithms, data dependencies and parallelism, synchronization, performance analysis of parallel programs, and programming in parallel programming languages.

This course introduces fundamental concepts of robotics. The topics covered include forward and inverse kinematics, DH parameters, the Jacobian, trajectory planning, basics of robot control systems, including actuators and sensors for robots.

This course provides a comprehensive study of contemporary techniques and languages for knowledge representation and reasoning about knowledge. The course covers semantic modeling, e.g. semantic networks, conceptual graphs, ontology representation in Semantic Web, frame representation, rule-based representation, and logical representation, e.g. first-order logic, description logic, logic of actions and beliefs. For the reasoning about knowledge, the topics include abduction, deduction, induction, as well as reasoning about time, state, events, actions, and beliefs.

Study fundamental concepts of learning and well-known machine learning algorithms. The subject covers the following topics: fundamental probability theory; learning theory; bias/variance trade-off; Vapnik-Chervonenkis theory; supervised/unsupervised learning; generative/discriminative learning; parametric/non-parametric learning; reinforcement learning; applications of machine learning.

This course studies some architectures of the microprocessors and microcontrollers, which are widely used in embedded systems, as well as peripherals interfacing, and software development on those architectures. The topics include the architectures of microprocessors and microcontrollers in embedded systems, memory interfacing, buses, interrupts, interfacing with input/output devices, the conversion between analog signals and digital signals, interfacing with sensors and actuators, and data communication through ports (such as RS-232 ports, USB ports, and parallel ports).

This course introduces fundamental concepts of mobile computing. These include an overview of hardware architectures of mobile devices, wireless communications and networking technologies for mobile devices, sensors and peripherals, location awareness, mobile operating systems and software architectures, software development for mobile devices, and applications of mobile devices.

This course introduces the field of Natural Language Processing. It includes relevant background material in linguistics, mathematics, probabilities, and computer science. Some of the topics covered in the class are text similarity, part of speech tagging, parsing, semantics, question answering, sentiment analysis, and text summarization.

This course provides the students with a study of network application development, networking protocol usage, and performance of network applications. The students will gain understanding and practical skills in developing programs which communicate using protocols in different layers of the Internet protocol suite, including application-layer protocols (such as HTTP, FTP, DNS, SMTP, etc.), transport-layer and network-layer protocols (such as TCP, UDP, IP, ICMP, etc.), as well as secured protocols (such as HTTPS, IPSec, and various authentication protocols). The students will learn to use networking services provided by the operating system or support libraries, as well as techniques and tools which facilitate the testing and debugging of network applications.

The course provides an introduction to operation research methods, including linear programming, dynamic programming, game theory, queuing theory, CPM and PERT, and operation research techniques applied to industrial control planning and management.

This course studies basic concepts and methodologies of pattern recognition. The techniques include supervised and unsupervised learning, handling and scaling of multidimensional data, dimension reduction methods, feature selection and feature extraction, and validation of algorithms.

This course studies the evoluation of programming languages and their relationship. It covers important concepts and issues in programming language design, including syntax and semantics of programming languages, data types, abstraction, polymorphism, and program decomposition. The course also studies important programming language paradigms, such as object-oriented programming, functional programming, and logic programming, by referring to case studies of contemporary programming languages, such as C, C++, Java, Lisp, Prolog, ML, and Python.

Selected topics of current interest in software engineering for enterprises

Selected topics of current interest related to intelligent systems

Selected topics of current interest related to the Internet of Things

The Semantic Web has been envisioned by many to be a next generation of the current web. The Semantic Web makes it easy for anyone to publish, and access to, distributed semantic information on the Internet; this information allows computers and software agents on the Internet to communicate with each other and work together automatically. The course covers mark-up languages of web contents, that is, HTML and XML. For XML, it covers XML DTDs, XML Schemas, XPaths, XLinks and XPointers, including how to process an XML document with DOM. For the Semantic Web mark-up languages, the course covers RDF, RDFS, OWL, and rule mark-up languages. Finally, the course also includes different approaches of knowledge representation of Semantic Web contents, such as First-order Logic, Description Logic, and Conceptual Graphs, as well as reasoning and communication of Semantic Web information by intelligent agents.

Service-Oriented Architecture (SOA) is a way to organize and use distributed services that may be controlled by different owners. SOA provides a uniform means to offer, discover, interact with, and use services to produce desired effects consistent with the specified preconditions and requirements. This course describes SOA concepts and design principles, interoperability standards, security considerations, runtime infrastructure and web services for the implementation of SOA.

This course covers the architectures of operating systems on current mobile platforms, computer languages and software tools for developing software on mobile devices, GUI design, interfacing with various hardware devices, such as sensors, GPS receivers, and various input devices, and the use of software APIs for software development on mobile devices.

In this course, the students will work in teams to study and practice skills in software entrepreneurship, through setting up and running virtual software development companies. The students will study how to find prospective commercial opportunities for a technological idea, how to acquire resources including talent and capital, and how to market the idea, as well as manage the growth. The emphasis will be on how small software companies are created and managed, the financial and legal frameworks within which such companies operate, and the management of the companies for successful operations. Topics include market studies, feasibility studies, cost analysis, intellectual property, contract negotiation, resource management, business planning, finance, and marketing. The final outcome of each group of students will be a business plan for commercializing their software products.

This course covers a step-by-step study of software metrics. It includes an introduction to foundations of measurement theory, models of software engineering measurement, software product metrics, software process metrics and measuring management. The course comprises of the following basic modules: measurement theory (overview of software metrics, basics of measurement theory, goal-based framework for software measurement, empirical investigation in software engineering), software product and process measurements (measuring internal product attributes: size and structure, measuring external product attributes: quality, measuring cost and effort, measuring software reliability, software test metrics, and object-oriented metrics), and measurement management.

This course introduces concepts, metrics, and models in software quality assurance. The course covers components of software quality assurance systems before, during, and after software development. It also discusses metrics and models for software quality as a product, in process, and in maintenance. The Capability Maturity Model (CMM) will be introduced, as well as related ISO and IEEE standards. Students will gain an understanding of software quality and approaches to assure software quality.

This course describes TCP/IP networks, the topics of study are TCP/IP layers, Internet addresses, domain name systems, TCP/IP protocol suites: IPv4, IPv6, ARP, ICMP, TCP and UDP, Internet routing and routing protocols. It also describes various application protocols, including IGMP, DNS, FTP, TELNET, SMTP, and studies Internet security and the development of software to run on TCT/IP networks.

This course provides a foundation of current and future web technologies, which include the development of web applications and services, web components, and network protocols necessary for web programming. The course begins with the basics such as markup languages HTML and XML, HTTP protocol and the mechanism of how a web server handles requests, web programming languages, cookies, session management, database integration, performance tuning, and security issues concerning the web applications. This course emphasizes on both client-side programming using JavaScript and server-side programming using Python. Finally this course introduces web service development and semantic web technology.

This course is an introduction to fundamental concepts of wireless networks of embedded systems and wireless sensor networks. Topics include: wireless communication and networking technologies, i.e. Bluetooth, ZigBee, LoRa, network architecture, wireless communication protocols, and software design and programming for the wireless networks.

This course intends to teach the student to develop practical expertise in, and understanding of, concurrent programming in Java; to explore a variety of different concurrency control mechanisms; to substantially develop the knowledge of C gained during summer preparatory reading; to develop the students' experience and understanding of programming in a low-level language; to develop the ability to craft efficient and effective code in a pointer-rich language; to introduce concurrent programming in C using the PThreads library; to further develop the ability to select and re-use existing software components and libraries; and to enhance the students' skills in engineering software as interacting sub-systems, using interfaces and libraries to manage medium sized software development projects.

This course intends to develop the student's skills in the design and analysis of algorithms; to study algorithms for a range of important standard problems; to introduce the student to the theory of NP-completeness together with its practical implications; and to make the student aware of fundamental concepts of computability.

This course intends to develop the student’s software engineering and database administration skills required for designing, creating, running and developing a relational database application and its associated application software suite and the student’s understanding of how conventional programming languages interact with databases, teaches the student the fundamental concepts, theories and methods of the relational data model, and introduces Information Retrieval concepts and techniques.

This course aims at offering students the opportunity to become familiar with one of the most important interaction paradigms; enabling students to become skilled in the use of techniques and tools for modelling, implementing and evaluating interactive systems; and enabling students to apply the theories, techniques and tools presented in the course via challenging exercises which combine design, implementation and evaluation.

This course intends to introduce the fundamental concepts and theory of communications, provide a solid understanding of the technologies that support modern networked computer systems, introduce low-level network programming concepts, and give students practice with systems programming in C, and provide our students with the ability to evaluate and advise industry on the use and deployment of networked systems.

This course intends to introduce the students to the styles of coding required with an OS, to give a thorough presentation of the contents of a traditional OS, including the key abstractions, to show the range of algorithms and techniques available for specific OS problems, and the implications of selection specific algorithms for application behavior, to develop an integrated understanding of what the computer is doing, from a non-naive view of hardware to the behaviour of multi-threaded application processes, and present the alternatives and clarify the trade-offs that drive OS and hardware design.

This course introduces the social, ethical, legal, and professional issues involved in the widespread deployment of information technology. It teaches students to develop their own, well-argued positions on many of these issues.

This course intends to introduce students to modern software development methods and techniques for building and maintaining large systems, prepare students to apply these methods and techniques presented to them in the context of an extended group-based software development exercise, make the students aware of the professional, social and ethical dimensions of software development, and instill in the students a professional attitude towards software development.

This course intends to provide a conceptual framework that will enable students to understand familiar programming languages more deeply and learn new languages more efficiently, show how the syntax of a programming language can be formalized, explain the functions of compilers and interpreters, how they interact, and how they work, and show how to implement a compiler using compiler-generation tools.

This course gives students the experience of working on a substantial team based software project. The course provides the opportunity to apply the principles, practices and tools learned during the associated Professional Software Development course.

This course demands the student to undertake a summer placement of at least 10 weeks to gain relevant practical experience. The objectives are to give students the experience of a real software development environment, to embed the software engineering theory, principles and tools studied through practical experience, and to develop a student's ability to evaluate and enhance their personal software process.

This course requires the students to undertake a substantial piece of individual work, involving planning, specification, design, execution, evaluation, presentation and report-writing.

This course adds depth and some breadth to the material covered in Networked Systems. The student will learn how fundamental principles of communications theory underpin the structures of the global telecommunications network and the Internet and determine the logic of how these networks interact.

This course will review research literature on systems programming techniques and operating systems design, discuss the limitations of deployed systems, and show how the operating system infrastructure might evolve to address the challenges of supporting modern computing systems.

This course gives students the opportunity to learn and practice advanced principles, methods and tools in Software Engineering. The course is intended for students who have experience of software development through a summer internship or similar. The course covers technical and management skills that are needed for mentoring and leading teams of software developers. The course is delivered in collaboration with an established software industry partner.

Advanced topics of current interest on database systems and technology

Advanced topics of current interest in Software Engineering

The aims of the course are to present a broad range of algorithm design methods, with examples chosen to reflect practical applications, to enable students to make educated choices between strategies for algorithmic problem-solving, and to convey the significance of computational complexity, and to present a range of methods for dealing with it in practice.

This is an introductory course on Artificial Intelligence, giving the students an overview of intelligent agent design.

Big Data is nowadays manifested in a very large number of environments and application fields pertaining to our education, entertainment, health, public governance, enterprising, etc. The course will endow students with the understanding of the new challenges big data introduces and the currently available solutions. These include (i) challenges pertaining to the modelling, accessing, and storing of big data, (ii) an understanding of the fundamentals of systems designed to store and access big data, and (iii) programming paradigms for efficient scalable access to big data.

The course explains in depth how a computer works, by developing a digital circuit that implements an instruction set architecture. The memory system, including cache and virtual memory, and support by the architecture for the operating system, are also covered.

This course is intended to equip students with the necessary theoretical and practical understanding of image processing and computer vision techniques to enable them to meet the challenges of building advanced image-based applications. Examples of potential vision-based applications include: image understanding in mobile devices (cameras, phones, tablet computers etc.), robot vision systems, autonomous vehicle guidance and road monitoring, driver attention monitoring, image database query systems, creative media production tools, interactive gaming, augmented reality and visual biometrics, forensic image analysis, security and surveillance, and medical imaging. The course will focus on the application of recent advances in Computer Vision techniques that underpin a wide variety of systems and products based on methods such as: face detection, object recognition, tracking, segmentation and 3D imaging.

This course aims to develop in students a better understanding of and confidence in Computing Science/Software Engineering as a subject; provide students with an awareness and experience of operating as a teacher and facilitator in a school environment; enable students to develop a set of key transferable skills such as reflecting on critical incidents, analysis, developing coherent arguments, communication, planning and so on; promote better relations between schools and university computing; heighten pupils' awareness of the many forms of computing, including its forms as academic discipline (computing science), distinctive profession (software engineering) and as a ubiquitous family of skills (ICT).

This course provides an introduction to the foundational aspects of computer security, such as algorithms and protocols. It also covers ways in which these systems can be attacked and techniques for thwarting these attacks.

The aim of this course is to introduce students to the concepts of information management by way of databases, including relational databases and other data management solutions. The course will provide students with the opportunity to develop skills which will assist them to manage information in the current digital age.

Distributed systems are ubiquitous in commerce and industry, from the international banking network to process control in large industrial sites. This course builds on the introductions to operating systems and networked systems in Year 3, specifically focusing on the software engineering issues raised by distributed systems and algorithms for use in distributed systems. The key feature of this course will be the assumption that a distributed system is one in which: partial failure is to be expected; local and remote operations differ greatly in cost; and an element of message passing is required for communication.

This course intends to give students an understanding of the practical challenges associated with embedded software development, experience with multiple development environments for mobile/embedded software development (e.g. Symbian, Windows Mobile), and ability to develop and deploy and debug software on mobile devices.

This course will focus on cyber security management within an organisation. It will ensure that students will know how to satisfy legislation related to securing personal and sensitive information and how to manage data correctly.

Functional programming is introduced using Haskell. The standard programming techniques, as well as some advanced topics, are covered and applied to realistic programming problems.

This course provides an introduction to the human side of information security.

The aim of this course is to introduce students to advanced topics in Human-Computer Interaction. It focuses on multimodal interaction, novel forms in interaction, users with different abilities and social media.

The aim of this course is to present students with an in-depth examination of the theoretical and practical issues involved in providing tools to access large collections of documents, especially in the context of the World Wide Web and the practical engineering issues raised by the design and implementation of an information retrieval system.

The aim of this course is to provide students with a comprehensive overview of web application development. It will provide students with the skills to design and develop distributed web applications in a disciplined manner, using a range of tools and technologies. It will also strengthen their understanding of the context and rationale of distributed systems.

IT Architecture's key role is to design and maintain system integrity of large heterogenous enterprise systems. Such systems may involve integrating disparate systems such as legacy systems, new web-based externally facing systems, systems developed externally or in collaboration with other organisations. IT Architects may also be faced with strategic problems caused by enterprise mergers or acquisitions. Within this context, this course aims to give students: (1) an appreciation of the need for IT Architecture and the role of the IT architect; (2) an understanding of the foundations of IT architecture and the best practice in applying architectural principles.

A practical introduction to the foundations of machine learning

This course gives students an overview of the fields of mobile HCI and ubiquitous computing, and an understanding of the practical challenges associated with embedded software development for mobile interactive systems, and associated services.

Modelling of concurrent, communicating systems using non-probabilistic and probabilistic techniques, and verification using the SPIN and PRISM model checkers.

Multimedia has become an indispensable part of modern computer technology. It is part of everyday life be it broadcasting material, educational or entertainment materials and/or personal videos or images. Better solutions are needed due to the growth and proliferation of multimedia in our daily life. The course will focus on advances in the development of multimedia systems and will be delivered with an emphasis on the practical side. It will introduce the theoretical and practical skills needed in handling multimedia data.

This course covers the fundamental principles, of the scientific method. Students will learn the core skills of planning, designing, executing, evaluating and presenting research.

This course encourages students to apply engineering techniques to support the development of safety-critical applications. It also encourages students to consider the particular methodological and professional issues that surround the development of safety-critical systems.

Selected topics of current interest on software engineering for enterprises

Selected topics of current interest related to intelligent systems

Selected topics of current interest related to the Internet of Things

This course introduces different approaches to software project management, and a variety of tools are available to support effective management of software development projects.