Spring 2016
TOC: Theory of Computation
This course will investigate the fundamentals behind compilers functioning. Although the act of compilation appears deceptively simple to most of the modern developers, great minds and results are behind the major achievements that made this possible. All starts with the Epimenides paradox (about 600 BC), which emphasizes a problem of self-reference in logic and brings us to the short time window between WWI and WW2 when, in 1936, Alan Turing proved that a general procedure to identify algorithm termination simply does not exist. Another major milestone has been reached by Noam Chomsky in 1956 with his description of a hierarchy of grammars. In this long historical timeframe we can put most of the bricks with which we build modern compilers. The course will be an historical tour through the lives of some of the greatest minds who ever lived on this planet.
Fall 2015
Introduction to Programming - Object Oriented Programming
The "Object Oriented Programming (OOP)" course teaches the fundamental concepts and skills necessary to perform programming at a professional level. Students will learn how to master the fundamental control structures, data structures, reasoning patterns and programming language mechanisms characterizing modern programming, as well as the fundamental rules of producing high-quality software. They will acquire the necessary programming background for later courses introducing programming skills in specialized application areas.
Spring 2015
The aim of this course is to provide the students with the knowledge needed to understand the internals of a database management system (DBMS). Students acquire knowledge about each component of a DBMS including transactions management, concurrency control, recovery, query processing and optimization, and security.
Fall 2014
This course allows students to use web-based applications as an implementation option to apply the concepts of information system analysis and design. It prepares the students for the next generation of web-based technologies such as SOA.
Spring 2014
The aim of this course is to provide the students with the knowledge needed to understand the internals of a database management system (DBMS). Students acquire knowledge about each component of a DBMS including transactions management, concurrency control, recovery, query processing and optimization, and security.
Fall 2013
IS714 - Advanced Web based System Engineering
This course introduces students to advanced concepts in Web based information systems such as big data, web intelligence, Web services, and social databases.
This course allows students to use web-based applications as an implementation option to apply the concepts of information system analysis and design. It prepares the students for the next generation of web-based technologies such as SOA.
Spring 2013
The aim of this course is to provide the students with the knowledge needed to understand the internals of a database management system (DBMS). Students acquire knowledge about each component of a DBMS including transactions management, concurrency control, recovery, query processing and optimization, and security.
IS612 - Advanced IS Engineering
This offering of IS612 will train students to read, summarize, analyze and present research papers within the domain of Information Systems Engineering.
Fall 2012
This course allows students to use web-based applications as an implementation option to apply the concepts of information system analysis and design. It prepares the students for the next generation of web-based technologies such as SOA.
Spring 2012
IS352 - Information Systems Analysis and Design II
This course aims at developing a solid understanding of information systems design and the role of modelling.
Fall 2011
IS351 - Information Systems Analysis and Design I
This course introduces the methodologies, techniques and tools of systems planning and analysis.
IS614 - Advanced Topics in Information Systems
This offering of IS614 is about software testing and quality assurance. We will investigate fundamental software testing and related program analysis techniques.
Spring 2016