Otto-Friedrich Universität Bamberg Module … SS15 - printed 26.01.2015 Otto-Friedrich Universität Bamberg Module Handbook MSc International Software Systems Science Faculty of Information

Valid: SS15 - printed 26.01.2015

Otto-Friedrich Universität Bamberg

Module Handbook

MSc International Software Systems Science

Faculty of Information Systemsand Applied Computer Sciences

Degree Programme Master of Science "International Software Systems Science" -Start: Sommer Semester 2015 ** Date: 02.12.2014, approved by FR **

Valid: SS15 - printed 26.01.2015

Table of Contents

Modules

DSG-DSAM-M: Distributed Systems Architectures and Middleware................................................................ 8

DSG-IDistrSys: Introduction to Distributed Systems.......................................................................................10

DSG-Project-M: Distributed Systems Project................................................................................................. 12

DSG-SOA-M: Service-Oriented Architecture and Web Services....................................................................14

DSG-SRDS-M: Selected Readings in Distributed Systems............................................................................17

EESYS-ES1-M: Energy Efficient Systems I....................................................................................................19

EESYS-ES2-M: Energy Efficient Systems II...................................................................................................21

GdI-CaS-M: Communication and Synchronisation......................................................................................... 23

GdI-IaS-M: Information and Security.............................................................................................................. 25

GdI-SaV-B: Specification and Verification...................................................................................................... 27

HCI-MCI-M: Human - Computer Interaction................................................................................................... 29

HCI-US: Ubiquitous Systems.......................................................................................................................... 31

ISDL-SOA: SOA-Governance and Evaluation................................................................................................ 33

KInf-SemInf-M: Semantic Information Processing.......................................................................................... 36

KogSys-KogMod-M: Cognitive Modeling........................................................................................................ 38

KogSys-ML-M: Machine Learning...................................................................................................................40

KTR-GIK-M: Foundations of Internet Communication.................................................................................... 42

KTR-MAKV-M: Modeling and Analysis of Communication Networks and Distributed Systems......................45

KTR-MMK-M: Multimedia Communication in High Speed Networks..............................................................48

KTR-Mobi-M: Mobile Communication............................................................................................................. 51

KTR-SSSProj-M: KTR Master Project Software Systems Science................................................................ 54

MOBI-ADM-M: Advanced Data Management.................................................................................................56

MOBI-DSC: Data Streams and Complex Event Processing.......................................................................... 57

MOBI-PRS-M: Master Project Mobile Software Systems (SoSySc)...............................................................58

MOBI-SDA-M: Stream Data Analytics............................................................................................................ 60

SME-STE-M: Introduction to Knowledge Representation: Space, Time, Events............................................61

SNA-OSN-M: Project Online Social Networks................................................................................................63

SSS-SEM-M: Master-Level Seminar in Software Systems Science...............................................................65

SWT-ASV-M: Applied Software Verification................................................................................................... 67

Table of Contents

SWT-PCC-M: Principles of Compiler Construction.........................................................................................69

SWT-PR2-M: SWT Masters Project in Software Systems Science................................................................71

SWT-RPP-M: Selected Readings in Parallel Programming........................................................................... 73

Table of Contents

Index by areas of study

1) A1: Software Systems Science (Unit) ECTS: 30 - 48

a) Elective Unit A1WP: Software Systems Science (Module Group) ECTS: 30 - 48

DSG-DSAM-M: Distributed Systems Architectures and Middleware (6,00 ECTS, every wintersemester)......................................................................................................................................................8

DSG-IDistrSys: Introduction to Distributed Systems (6,00 ECTS, every summer semester).....................10

DSG-SOA-M: Service-Oriented Architecture and Web Services (6,00 ECTS, every summersemester)....................................................................................................................................................14

DSG-SRDS-M: Selected Readings in Distributed Systems (3,00 ECTS, every semester)....................... 17

GdI-CaS-M: Communication and Synchronisation (6,00 ECTS, every summer semester).......................23

GdI-IaS-M: Information and Security (6,00 ECTS, every summer semester)............................................25

GdI-SaV-B: Specification and Verification (6,00 ECTS, every winter semester)....................................... 27

KTR-GIK-M: Foundations of Internet Communication (6,00 ECTS, every summer semester).................. 42

KTR-MAKV-M: Modeling and Analysis of Communication Networks and Distributed Systems (6,00 ECTS,every summer semester)........................................................................................................................... 45

KTR-MMK-M: Multimedia Communication in High Speed Networks (6,00 ECTS, every summersemester)....................................................................................................................................................48

KTR-Mobi-M: Mobile Communication (6,00 ECTS, every winter semester)..............................................51

MOBI-DSC: Data Streams and Complex Event Processing (6,00 ECTS, every winter semester)............ 57

MOBI-SDA-M: Stream Data Analytics (6,00 ECTS, every summer semester)..........................................60

MOBI-ADM-M: Advanced Data Management (6,00 ECTS, every summer semester).............................. 56

SWT-ASV-M: Applied Software Verification (6,00 ECTS, every summer semester).................................67

SWT-PCC-M: Principles of Compiler Construction (6,00 ECTS, every winter semester)..........................69

SWT-RPP-M: Selected Readings in Parallel Programming (3,00 ECTS, every summer semester)..........73

2) A2: Domain-specific Software Systems Science (Unit) ECTS: 0 - 18

a) Elective Unit A2WP: Domain-specific Software Systems Science (ModuleGroup) ECTS: 0 - 18

EESYS-ES1-M: Energy Efficient Systems I (6,00 ECTS, every summer semester)................................. 19

EESYS-ES2-M: Energy Efficient Systems II (6,00 ECTS, every winter semester)....................................21

HCI-MCI-M: Human - Computer Interaction (6,00 ECTS, every summer semester).................................29

Table of Contents

HCI-US: Ubiquitous Systems (6,00 ECTS, every winter semester).......................................................... 31

ISDL-SOA: SOA-Governance and Evaluation (3,00 ECTS, every winter semester).................................33

KInf-SemInf-M: Semantic Information Processing (6,00 ECTS, every winter semester)........................... 36

KogSys-KogMod-M: Cognitive Modeling (6,00 ECTS, every winter semester)......................................... 38

KogSys-ML-M: Machine Learning (6,00 ECTS, every winter semester)................................................... 40

SME-STE-M: Introduction to Knowledge Representation: Space, Time, Events (6,00 ECTS, every wintersemester)....................................................................................................................................................61

SNA-OSN-M: Project Online Social Networks (6,00 ECTS, every winter semester).................................63

3) A3: Seminar and Project (Unit) ECTS: 12

a) Elective Unit A3WP1: Seminar (Module Group) ECTS: 3

SSS-SEM-M: Master-Level Seminar in Software Systems Science (3,00 ECTS, every semester)...........65

b) Elective Unit A3WP2: Project (Module Group) ECTS: 9

MOBI-PRS-M: Master Project Mobile Software Systems (SoSySc) (9,00 ECTS, every summersemester)....................................................................................................................................................58

DSG-Project-M: Distributed Systems Project (9,00 ECTS, every semester).............................................12

SWT-PR2-M: SWT Masters Project in Software Systems Science (9,00 ECTS, every summersemester)....................................................................................................................................................71

KTR-SSSProj-M: KTR Master Project Software Systems Science (9,00 ECTS, every semester).............54

4) A4: Master's Thesis (Unit) ECTS: 30The Master's Thesis is governed by the examination regulations (StuFPO), §35 and Appendix 2, of the

degree programme 'Master International Software Systems Science'.

5) A5: Graduate Study Abroad (Unit) ECTS: 30According to the examination regulations (StuFPO) §37 students have three options regarding a graduate

study abroad: (1) to study modules of software systems science at a university abroad for at least one

semester or (2) to accomplish a traineeship in an international context, preferentially abroad, that covers

topics of the occupational field of software systems science with a volume of at least 360 working hours.

(3) If neither a study at a university abroad nor a traineeship in an international context is performed, the

required 30 ECTS credit points of module group A5 have to accumulated by an unconditional selection of

those modules that are included in module groups A1 and A2 (StuFPO Anhang 1) and have not been

chosen yet.

Regarding the study of software systems science modules at a university abroad (1), courses with a

workload equivalent to 30 ECTS credit points should be accomplished. The courses that are selected

at a foreign university have to be approved by learning agreements. The latter have to be issued

by those docents at University of Bamberg responsible for the chosen subject and the head of the

local examination committee before the graduate study is initiated abroad. If less credit points are

Table of Contents

accumulated, there exits the option to perform an additional traineeship in an international context with

12 ECTS. Irrespectively of this option, the missing amount of ECTS credit points may be compensated by

the selection of additional local modules within module groups A1 and A2 (StuFPO Anhang 1) (that have

not been selected yet). The goal is to achieve finally 30 ECTS credit points in module group A5.

Regarding the traineeship in an international context (2) with an equivalent workload of 12 ECTS credit

points, a foreign or internationally acting domestic company (or research institute) may be selected. It has

to offer a specific internship related to relevant topics of software systems science. The documentation of

the traineeship requires the delivery of the following items to the head of the examination committee: (1) a

written report of 4 pages at least, reporting on the tasks and achievements, and (2) a certificate issued by

the hosting institution or the organizational unit that has realized the internship. To fulfill the requirements

of 30 ECTS credit points of module group A5, either an additional graduate study abroad equivalent to

at least 18 ECTS credit points may be executed or additional modules within module groups A1 and A2

(StuFPO Anhang 1) (that have not been selected yet) with a workload equivalent to 18 ECTS credit points

may be chosen.

Module DSG-DSAM-M

8

Module DSG-DSAM-M Distributed Systems Architectu-res and MiddlewareDistributed Systems Architecture and Middleware

6 ECTS / 180 h

Version 2.0.0 (since WS12/13)

Person responsible for module: Prof. Dr. Guido Wirtz

Contents:

This course introduces students to the basic ideas, benefits, technologies and issues related to server-

centric distributed systems and middleware in general. Thus the course introduces and discusses in-depth

topics concerning distributed middleware and its practical use:

• Middleware: Motivation, Classification, typical usage scenarios

• Comparison of different architectural approaches

• Server-centric middleware, Container architectures, Transaction Monitors

• Integration Architectures, Database integration, Enterprise Application Integration

• Cloud Computing infrastructures

• Clustering

The course offers also practical experience through working with real-life middleware systems, like,

e.g. EJB, OSGI etc.

Learning outcomes:

Students are able to evaluate, plan, design and implement server-centric distributed systems. Students

are familiar with recent approaches and standards for building and managing such systems, know about

the central problems involved as well as ways to overcome these issues. Students have hands-on

experience with up-to-date middleware and tools for building server-centric systems.

Recommended prior knowledge:

Basic knowledge in software engineering and in distributed systems

as introduced, e.g., in the module DSG-IDistrSys.

Admission requirements:

Compare regulations governing

examinations (Studien- und

Fachprüfungsordnung)

Frequency: every winter

semester

Recommended semester: Minimal Duration of the Module:

1 Semester

Module Units

1. Lectures Distributed Systems Architecture and Middleware

Mode of Delivery: Lectures

Lecturers: Prof. Dr. Guido Wirtz

Language: English

Learning outcome:

c.f. overall module description

Contents:


Literature:

This is a fast emerging field with new insights every year. So, up-to-date literature

will be provided at the beginning of each course.

2,00 Weekly Contact

Hours

Module DSG-DSAM-M

9

2. Practicals Distributed Systems Architecture and Middleware

Mode of Delivery: Practicals

Lecturers: Scientific Staff Praktische Informatik

Language: English/German

Learning outcome:


Contents:

Introduction to and discussion of tools and practical issues closely related to the

topics discussed in the lecture as well as solutions of problems that come up

during working on the practical assignments.

Literature:


2,00 Weekly Contact

Hours

Examination

Coursework Assignment and Colloquium / Duration of Examination: 20 minutes

Duration of Coursework: 3 months

Description:

Oral examination concerning the topics discussed in the lecture, exercises and

assignments.

Module DSG-IDistrSys

10

Module DSG-IDistrSys Introduction to Distributed Sy-stemsIntroduction to Distributed Systems

6 ECTS / 180 h

Version 1.0.0 (since SS13)


Contents:

The course introduces to the different flavors of and issues with distributed systems, discusses the most

basic problems arising with this kind of systems and presents solutions and techniques that are essential

to make distributed systems work. Additionally, the course also teaches how to build simple distributed

systems using Java-based technologies like process interaction, synchronization, remote message

invocation and web service infrastructure.

Learning outcomes:

Students know about the characteristics and different flavors of distributed systems and understand the

essential differences compared to monolithic, centralized systems as well as their consequences when

designing and building distributed systems. Students are able to apply the basic algorithmic techniques

and programming paradigms in order to build simple distributed systems themselves. Students have

gained basic experience with practically building and running distributed systems.

Remark:

The language of instruction in this course is English.

The overall workload of 180h for this module consists of:

• weekly classes: 22.5h

• tutorials: 22.5h

• Work on assignments: 75h

• Literature study 30h

• preparation for and time of the final exam: 30h

This course is intended for 2nd/3rd year bachelor students as well as master students which have not

enrolled in a similar course during their bachelor studies. In case of questions don't hesitate to contact the

person responsible for this module.


Knowledge of the basics of computer science in general, esp.

operating systems, as well as practical experience in Java

programming, as the subjects taught in DSG-EiAPS-B and DSG-

EiRBS-B. Preferable also knowledge about multithreading and

synchronization like, e.g., the subject-matters of DSG-PKS-B.

Module Introduction to Parallel and Distributed Programming (DSG-

PKS-B) - recommended





Frequency: every summer

semester


1 Semester

Module Units

1. Lectures Introduction to Distributed Systems


Module DSG-IDistrSys

11

Lecturers: Prof. Dr. Guido Wirtz

Language: English

Learning outcome:


Contents:


Literature:

• George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair: Distributed

Systems.

Pearson Education UK, 2011 (5. Auflage); ISBN: 9780273760597

• Kenneth P. Birman: Guide to Reliable Distributed Systems. Springer Texts in

CS, Springer Verlag, 2012, ISBN 978-1-4471-2415-3

2,00 Weekly Contact

Hours

2. Tutorials Introduction to Distributed Systems




Learning outcome:


Contents:




Literature:


2,00 Weekly Contact

Hours

Examination



Module DSG-Project-M

12

Module DSG-Project-M Distributed Systems ProjectMasterprojekt Verteilte Systeme

9 ECTS / 270 h



Contents:

Project topics are chosen from the range of research topics of the dsitributed systems group that are

suitable to be tackled and implemented by small groups of master students in collaboration under the

supervission of the DSG staff.

Learning outcomes:

Students are able to plan, architect and implement prjects in a distributed setting by choosing and using

a workbench of state-of-the-art tools suitable for the problem at hand. Students are capable of designing

and implementing distributed algorithms in a practical setting.


Knowledge about distributed systems as provided by the module

DSG-IDistrSys-M as well as skills in distributed programming and

software engineering techniques.

Module Introduction to Distributed Systems (DSG-IDistrSys) -

recommended





Frequency: every semester Recommended semester: Minimal Duration of the Module:

1 Semester

Module Units

Distributed Systems Project


Lecturers: Prof. Dr. Guido Wirtz, Scientific Staff Praktische Informatik

Language: German/English

Learning outcome:

c.f. main module description

Contents:

c.f. main module description

Literature:

State-of-the-art literature depending on the concrete project topic will be provided

at the beginning of the project.

6,00 Weekly Contact

Hours

Examination



prerequisites for module examination:

Regelmäßige Teilnahme an der Lehrveranstaltung

Description:

Students write a project documentation and prepare a poster for the project

presentation declaring which part of the artefacts is the responsibility of each

Module DSG-Project-M

13

student; oral examination about the project topics, esp. the specific parts each

students has provided to the project.

Module DSG-SOA-M

14

Module DSG-SOA-M Service-Oriented Architectureand Web ServicesService-Oriented Architecture and Web Services

6 ECTS / 180 h



Contents:

Service-oriented architectures (SOAs) have become a cornerstone in shaping modern IT systems, in

particular in the enterprise computing field. While computer science focuses on technical aspects of

services and service computing the guiding principle of SOA is alignment of IT resources and computing

facilities with business tasks. This business goal requires enterprise architects to rethink and reshape

their systems and to critically assess the benefit of IT services to business users. In so far, IT experts not

only have to decide upon implementation technologies and techniques for services, they also have to

think about the value of services and make-or-buy decisions. Skilled SOA experts therefore reconcile the

business views and technical views for the benefit of the enterprise and therefore need both, advanced

knowledge in business process and workflow management as well as a rock-solid understanding of

service engineering and distributed computing.

This course integrates the business view and the IT view on SOA by starting out with SOA principles and

their implications for IT architectures. A considerable part then is dedicated to the technical foundations

of service implementations, in particular Web Services, to provide a solid basis for assessing services

technologies and development techniques. Service engineering and service composition methods then

will provide the basis for bridging the semantic gap between business process models and IT systems.

Further,this course investigates SOA in the Business-to-Business Integration context as well as the

management aspects of services and SOA.

• Conceptual Foundations of SOA

• SOA Characterisitics

• XML Basics

• WSDL and Basic Web Services

• WS-* standards

• Process-based Service Implementation

• Service Composition, esp. Orchestrations vs. Choreographies

• Service Engineering

• SOA and B2Bi

• Management of Services

The selection of topics and teaching method of this course reflects the Distributed Systems Group's (DSG)

dedication to integrate business and IT, theory and practice, research and teaching. You not only will be

taught the classical way, but you will have hands-on experience on service development and SOA tools.

Also, you will get a grasp of current services research and you will get the chance to discuss selected

publications with your lecturers.

Learning outcomes:

Students know about the different aspects of service-oriented architectures and their practical use.

Students

• understand the characteristics of SOA and its implications on IT systems.

• know relevant technologies and standards in the field and are able to combine some of these to

develop basic Web Services and service compositions.

Module DSG-SOA-M

15

• understand important tasks of SOA management.

• are able to judge IT architectures from a SOA perspective

• are able to understand and discuss scientific work in the area.

• apply SOA solutions to business problems

Remark:

The main language of instruction in this course is English.

The overall workload of 180h for this module consists of:

• weekly classes: 22.5h

• tutorials: 22.5h

• Work on assignments: 75h

• Literature study 30h

• preparation for and time of final exam: 30h


Basic knowledge in software engineering and distributed systems.


recommended






semester


1 Semester

Module Units

1. Lectures Service-Oriented Architecture and Web Services



Language: English

Learning outcome:


Contents:


Literature:

SOA is still a fast emerging field - most recent version of standards and up-to-date

literature will be provided at the beginning of each course.

2,00 Weekly Contact

Hours

2. Practicals Service-Oriented Architecture and Web Services




Learning outcome:


Contents:




Literature:

2,00 Weekly Contact

Hours

Module DSG-SOA-M

16


Examination



Description:

Oral examination concerning the topics discussed in the lecture, exercises and

assignments.

Module DSG-SRDS-M

17

Module DSG-SRDS-M Selected Readings in Distribu-ted SystemsSelected Readings in Distributed Systems

3 ECTS / 90 h



Contents:

This module is intended to offer an in-depth study of specific topics in distributed systems that go well

beyond the topics discussed in DSG-IDistrSys, DSG-SOA-M or DSG-DSM-M. We try to close the gap

between 'standard' lecture topics often dealing with the (required) basics and the state-of-the-art related

to a specific research question regarding distributed systems in general, SOC and SOA, server-side

middleware, cloud computing, process languages, as well as questions w.r.t. standard conformance,

interoperability and correctness based on 'ground-breaking' as well as up-to-date research papers from

international journals and/or conferences.

Learning outcomes:

Students will learn how to read and and work on recent research papers and how to present their essence

as an outline talk to colleguages (students). Students will be able to classify and compare results from

papers in the context of a specific research question. Moreover, students will become proficient in the

developments of the specialized research area that is the topic of the particular course.

Remark:

The main language of instruction in this course is English.

The overall work load for the course is 90 hours:

• 22.5 h classes

• 55 h work on assigned readings, essay and presentations

• 12.5 h preparation for and time of final exam


Basic knowledge about distributed systems as offered, e.g., by the

course DSG-IDistrSys or similar knowledge. Dependend on the topic

of the specific course, additional knowledge as discussed in DSG-

SOA-M or DSG-DSAM-M may be helpful (ask if in doubt before

enrolling in the course)


recommended






1 Semester

Module Units

Selected Readings in Distributed Systems

Mode of Delivery: Lectures and Seminar


Language: English

Learning outcome:


2,00 Weekly Contact

Hours

Module DSG-SRDS-M

18

Contents:


Literature:


Examination



Description:

Oral examination about the topics discussed during the term with a special

emphasis on those topics, the examinee has presented during the course.

Module EESYS-ES1-M

19

Module EESYS-ES1-M Energy Efficient Systems IEnergieeffiziente Systeme I

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Thorsten Staake,

Anna Kupfer

Contents:

This module focuses on the development and application of Information Systems (IS) to increase energy

efficiency in industry, transportation, and the domestic sector. It covers basics on power engineering and

energy markets and outlines how experts from the field of business information systems and computer

science can contribute to reducing greenhouse gas emissions and the society’s dependency on fossil

fuels.

Learning outcomes:

The module shall enable students to apply the methods and skills from studies on business information

systems and computer science to current, energy-related problems.

Remark:

The main language of instruction in this course is German. The lectures, tutorials, and exam(s) may be

delivered in English on demand.


none






semester


1 Semester

Module Units

1. Lectures Energy Efficient Systems I


Lecturers: Prof. Dr. Thorsten Staake


Contents:

The lecture covers basic principles of physics in the context of energy systems;

foundations of electrical engineering and energy economics with a special focus

on electricity; energy transmission and storage; characteristics of renewable

energy sources; information and communication technology (ICT) in electrical

grids; demand side management; energy markets and trading; resilience of

electrical networks; e-mobility; “grey” / embedded energy; abatement costs;

overall effects of ICT on energy demand (energy consumption and efficiency

gains, de-materialization and rebound effects); ongoing challenges and selected

research questions.

2,00 Weekly Contact

Hours

2. Practicals Energy Efficient Systems I


Lecturers: Prof. Dr. Thorsten Staake, N.N.


2,00 Weekly Contact

Hours

Module EESYS-ES1-M

20

Contents:

The tutorial deepens the understanding of the content covered in the lecture and

shows how to apply the methods in actual deployments. It also helps to develop a

solid understanding of the basic concepts of physics and power engineering and

thereby supports students with no prior knowledge in these fields. Moreover, it

aims at deepening the methods introduced in the lecture using case studies.

Examination

Written examination / Duration of Examination: 90 minutes

Description:

The exam covers selected topics from both lectures and tutorials. The maximum

score is 90 points, and the time for the exam is limited to 90 minutes. By

completing and handing in course assignments during the semester, participants

can earn up to 12 points. Points earned in course assignments only count

towards the final grade if the exam is passed without considering the results from

course assignments. Course assignments can take the form of short reports,

presentations, or small programming tasks. At the beginning of the course,

the dates for publishing and submitting the course assignments as well as the

maximum points per assignment are communicated. A final grade of 1.0 can be

achieved without points from course assignments.

Module EESYS-ES2-M

21

Module EESYS-ES2-M Energy Efficient Systems IIEnergieeffiziente Systeme II

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Thorsten Staake,

Anna Kupfer

Contents:

Systems for capturing and optimizing energy consumption have gained importance alongside the

formulation of Europe’s ambitious energy efficiency goals. Outstanding examples include smart grid and

smart metering infrastructures which enable comprehensive collection and analyses of consumption data

from industry and private households. This module introduces and explains a set of powerful methods

from the field of data analytics/machine learning that render possible data-driven products and services for

energy cost and emission reduction.

Learning outcomes:

The aim of this class is to equip students with theoretical knowledge and practical experience on data

analytics in the field of energy consumption. With the basic principles covered in both lectures and

tutorials, a considerable number of energy efficiency services can be implemented.

Remark:

The main language of instruction in this course is German. The lectures, tutorials, and exam(s) may be

delivered in English on demand.


none






semester


1 Semester

Module Units

1. Lectures Energy Efficient Systems II


Lecturers: Prof. Dr. Thorsten Staake


Contents:

The lecture is split in two parts. Part I provides a basic understanding on data

collection via Smart Metering for electricity, water, and gas, and includes a

repetition of the basics of descriptive statistics. Part II covers a set of powerful

statistical methods, including outlier recognition, cluster analysis, classification,

association analysis, regression analysis. Moreover, the special characteristics

of time series analysis are introduced. Both parts I and II use actual data from

real-world business challenges in order to exemplify and practice the concepts

introduced in the course.

2,00 Weekly Contact

Hours

2. Practicals Energy Efficient Systems II


Lecturers: Prof. Dr. Thorsten Staake, N.N.

2,00 Weekly Contact

Hours

Module EESYS-ES2-M

22


Contents:

The tutorial deepens the understanding of the content covered in the lecture

and shows how to apply the methods in actual deployments. Students work on

selected problems using the statistics software R. An introduction to R is offered

for those not familiar with the software.

Examination


Description:

The exam covers selected topics from both lectures and tutorials. The maximum

score is 90 points, and the time for the exam is limited to 90 minutes. By

completing and handing in course assignments during the semester, participants

can earn up to 12 points. Points earned in course assignments only count

towards the final grade if the exam is passed without considering the results from

course assignments. Course assignments can take the form of short reports,

presentations, or small programming tasks. At the beginning of the course,

the dates for publishing and submitting the course assignments as well as the

maximum points per assignment are communicated. A final grade of 1.0 can be

achieved without points from course assignments.

Module GdI-CaS-M

23

Module GdI-CaS-M Communication and Synchronisati-onTheorie verteilter Systeme (Communication and Synchronisation)

6 ECTS / 180 h


Person responsible for module: Prof. Ph.D. Michael Mendler

Contents:

This advanced course gives an introduction to the algorithmic and semantic foundations in the

programming of distributed systems and discusses state-of-the-art techniques in the formal modelling and

validation of distributed systems.

Learning outcomes:

At the end of this course the students should be familiar with elementary algorithms, such as for resource

synchronization, mutual exclusion, leader election, Byzantine agreement, global time-keeping; be able

to reason about and argue for the correctness of these algorithms; understand the elementary trade-

offs governing the algorithms’ time and communication complexities; have a clear appreciation of the

intricacies arising from the task of solving global synchronisation problems by local (asynchronous) means

of communication; know some of the central impossibility results; be familiar with different behavioural

models for distributed systems of varying expressiveness, such as labelled transition systems, omega-

automata, Petri Nets; understand the operational principles of modern (visual) programming languages for

globally-synchronous and locally-asynchronous systems such as Statecharts, Esterel or Lustre.

Remark:

The main language of instruction in this course is English. However, the lectures and/or tutorials may be

delivered in German if all participating students are fluent in German.


Elementary concepts in logic and discrete mathematics for computer

scientists; basic programming skills.

Module Introduction to Computer Science (DSG-EidI-B) -

Module Machines and Languages (GdI-GTI-B) -

Module Propositional and Predicate Logic (GdI-MfI-1) -






semester


1 Semester

Module Units

Lectures and Tutorials on Communication and Synchronisation

Mode of Delivery: Lectures and Practicals

Lecturers: Prof. Ph.D. Michael Mendler, N.N.


Learning outcome:

see above

Contents:

Lectures and tutorials will alternate as the course progresses. The selection of

topics covered may change from one year to the next.

Literature:

• Lynch, N.: Distributed Algorithms, Morgan and Kaufmann, 1996.

4,00 Weekly Contact

Hours

Module GdI-CaS-M

24

• Attiya, H., Welch, J: Distributed Computing, McGraw-Hill, 1998.

• Holzmann, G. J.: The SPIN Model Checker. Primer and Reference Manual.

• Milner, R.: Communicating and Mobile Systems: the p-Calculus. Cambridge

University Press, 1999.

Examination

Oral examination / Duration of Examination: 30 minutes


None

Description:

30 minutes oral examination. The exam will be arranged to take place during the

regular exam period, either immediately after the end of the semester or before

the start of the following semester. Students must register for the exam slot with

the secretary of the GdI research group. Exam date and time negotiable for guest

students only.

Module GdI-IaS-M

25

Module GdI-IaS-M Information and SecurityInformationssicherheit (Information and Security)

6 ECTS / 180 h



Contents:

Commercial as well as private and public businesses increasingly exploit the world wide web as an

efficient and innovative communication platform. Since the web is openly accessible, widely distributed

and largely uncontrolled (“best-effort” principle) the dangers of information security violation are real and

bound to cause considerable headaches in the future. This course gives an introduction to the problem

and surveys state-of-the-art cryptographic methods and standardised security mechanisms based on them

that are designed to counter the risks and to establish secure communication through unsafe channels.

It will be discussed how properties such as confidentiality, authentication, data integrity, anonymity,

commitment can be achieved systematically through security protocols.

Learning outcomes:

At the end of this course students should be familiar with most important modern techniques for encryption

and decryption; know some of the prominent historic ciphers; have acquired the necessary elementary

background in number and coding theory; understand the difference between symmetric and asymmetric

encryption; have understood the RSA cryptographic system and possible attacks on it; be familiar with

mathematical technology such as one-way functions and hard-core predicates to amplify secrecy and to

turn a cryptographic system such as RSA into practical use; be able to appreciate the difference between

perfect information-theoretic secrecy and computational secrecy; be able to compute the information-

theoretic secrecy of simple encryption systems; be familiar with BAN logic and able to perform logical

analyses of elementary security protocols using BAN or one of its successors.

Remark:




Elementary concepts in logic and discrete mathematics for computer

scientists; basic programming skills.


recommended

Module Machines and Languages (GdI-GTI-B) - recommended

Module Propositional and Predicate Logic (GdI-MfI-1) - recommended






semester


1 Semester

Module Units

Lectures and Tutorials on Information and Security


Lecturers: Prof. Ph.D. Michael Mendler


Learning outcome:

see above

4,00 Weekly Contact

Hours

Module GdI-IaS-M

26

Contents:

Lectures and tutorials will alternate as the course progresses. The selection of

topics covered may change from one year to the next.

Literature:

• Schneier, B.: Applied Cryptography. Wiley, 1996.

• Delfs, H., Knebl, H.: Introduction to Cryptography – Principles and

Applications. Springer, 2002.

• Huth, M. R. A.: Secure Communicating Systems – Design, Analysis and

Implementation. Cambridge University Press, 2001.

• Bauer, F. L.: Decrypted Secrets. Methods and Maxims of Cryptology.

Springer, (4th ed.) 2007.

Examination



None

Description:

30 minutes oral examination. The exam will be arranged to take place during the

regular exam period, either immediately after the end of the semester or before

the start of the following semester. Students must register for the exam slot with

the secretary of the GdI research group. Exam date and time are negotiable for

guest students only.

Module GdI-SaV-B

27

Module GdI-SaV-B Specification and VerificationLogik (Specification and Verification)

6 ECTS / 180 h

Version 1.0.0 (since WS14/15 to SS15)


Contents:

This advanced module aims to give a thorough introduction to a selection of modal logics with strong

applications in Computer Science. Basic knowledge of classical propositional logic and predicate logic

and associated calculi is assumed as a prerequisite. Among the logics covered are modal and temporal

logics for the analysis of distributed systems or semantic information processing. Depending on the time

available, the module also covers belief logics and other specialised logics for security protocols and

distributed algorithms. The course addresses theoretical foundations (models and proof systems) but also

discusses applications and offers practical experience through hands-on experimentation with automatic

and interactive verification tools.

Learning outcomes:

At the end of the course students should understand the commonalities and differences between

propositional and predicate logics on the one hand and modal logics on the other for system specification

and modelling; be aware of the important role played by modal logics for the trade-off between

expressiveness and automation; know the semantical foundations of modal logics based on Kripke

structures; understand the difference between epistemic, temporal, deontic modalities; be familiar

with basic results from modal correpondence theory with modal theories such as K, S4, S5; know the

Hennessy-Milner Theorem, model filtration and minimzation techniques; apply standard reasoning

procedures based on Hilbert, Gentzen Sequent and Tableau calculi; be familiar with the syntax and

semantics of important temporal logics such as PLTL, CTL and description logics such as ALC; be able

to apply deduction and model-checking techniques for the specification and verification of distributed and

dynamic systems as well as semantic information processing.

Remark:




Elemantary logic and discrete mathematics for computer scientists;

Basic programming skills.


recommended







semester


1 Semester

Module Units

Lectures on Specification and Verification


Lecturers: Prof. Ph.D. Michael Mendler


Contents:

4,00 Weekly Contact

Hours

Module GdI-SaV-B

28

Through prepared class presentations and direct interactions with the students

the lecturer introduces the topics of the course in detail, poses exercises and

suggests literature for self-study.

Literature:

• Fagin, R., Halpern, J. Y., Moses, Y., Vardi, M. Y.: Reasoning about

Knowledge. MIT Press, (2nd printing) 1996.

• Hughes, G. E., Cresswell, M. J.: A New Introduction to Modal Logic.

Routledge, (3rd reprint) 2003.

• Popkorn, S.: First Steps in Modal Logic. Cambridge University Press, 1994.

• Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider,

P.F. (eds): The Description Logic Handbook: Theory, Implementation and

Applications. Cambridge University Press, (2nd ed.) 2007.

Examination



none

Description:

90 min written examination. The exam takes place during the regular exam period

after the end of the semester.

Module HCI-MCI-M

29

Module HCI-MCI-M Human - Computer InteractionMensch-Computer-Interaktion

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Tom Gross

Contents:

Advanced theoretical, methodological, and practical foundation of Human-Computer Interaction

Learning outcomes:

The aim of this module is to teach advanced knowledge and skills in the area of human-computer

interaction as well as a broad theoretical and practical methodological expertise concerned with the

design, conception, and evaluation of ubiquitous systems. Students of this course learn the relevant

literature and systems in breadth and depth and are later able to critical review new literature and

systems.

Remark:

htp://www.uni-bamberg.de/hci/leistungen/studium


Knowledge equivalent to the modules listed under “Required Modules”


recommended

Module Algorithms and Data Structures (MI-AuD-B) - recommended






semester


1 Semester

Module Units

1. Lectures Human - Computer Interaction


Lecturers: Prof. Dr. Tom Gross


Contents:

After an introduction into the subject the following topics are covered in this

lecture:

· Mobile human-computer interaction

· Adaptivity and adaptibility

· Information visualisation

· Tangible user interaction

· Usability engineering

Usability and economics

Literature:

The course is based on a compilation of different sources; as additional sources

and as a reference are recommended:

2,00 Weekly Contact

Hours

Module HCI-MCI-M

30

· Jacko, J.A. and Sears, A., (Eds.). Human-Computer Interaction Handbook:

Fundamentals, Evolving Technologies, and Emerging Applications. Lawrence

Erlbaum, Hillsdale, NJ, 2002.

· Hammond, J., Gross, T. and Wesson, J., (Eds.). Usability: Gaining a

Competitive Edge. Kluwer Academic Publishers, Dordrecht, 2002.

2. Practicals Human - Computer Interaction


Lecturers: Scientific Staff Mensch-Computer-Interaktion

Language: German

Contents:

Practical assignments based on the subjects of the lecture

Literature:

Cf. lecture

2,00 Weekly Contact

Hours

Examination


Description:

The written exam is worth a total of 90 points

During the semester students can do assignments, which are optional. They are

12 points in total. The type of optional homework assignments as well as the

deadlines are announced in detail at the beginning of the term. If the written exam

is passed (as a rule 50% of the points have to be reached) the points from the

assignments are a bonus and added to the points from the written exam. In any

case, a top grade of 1,0 is also reachable without solving the assignments.

Module HCI-US

31

Module HCI-US Ubiquitous SystemsUbiquitäre Systeme

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Tom Gross

Contents:

Theoretical, methodological, and practical foundation of Ubiquitous Computing

Learning outcomes:

The aim of this module is to teach advanced knowledge and skills in the aerea of ubiquitous systems as

well as abroad theoretical and practical methodological expertise concerned with the design, conception

and evaluation of ubiquitous systems. Students of this course learn the relevant literature and systems in

breadth and depth and should be able to critical review new litarature and systems

Remark:

htp://www.uni-bamberg.de/hci/leistungen/studium

The workload for this module is roughly structured as following:

• Attendance of the lectures and assignments: 45 hours

• Credits of the lecture (incl.research and study of additional sources): ca. 30 Hours

• Credits of the assignments ((incl.research and study of additional sources, excluding optional

homework assignment): ca. 30 hours

• Solving the optional homework assignments: overall ca. 45 hours

• Exam preparation: ca. 30 hours (based on the above mentioned preparation and revision of the

subject material)


Knowledge equivalent to the modules listed under “Required Modules”


recommended







semester


1 Semester

Module Units

1. Lectures Ubiquitous Systems


Lecturers: Prof. Dr. Tom Gross

Language: German

Contents:

This lecture gives an introduction to the subject of Ubiquitous Computing—that

is, the paradigm of invisible computing, with computers embedded into everyday

objects that act as client and server and communicate with each other—and

includes the following conceptual, technical and methodological topics:

· Basic concepts

· Base technology and infrastructures

· Ubiquitous systems and prototypes

2,00 Weekly Contact

Hours

Module HCI-US

32

· Context awareness

· User interaction

· Ubiquitous systems in a broad context and related topics

Literature:

The course is based on a compilation of different sources; as additional sources

and as a reference are recommended:

Krumm, J. (Ed.). Ubiquitous Computing Fundamentals. Taylor & Francis Group,

Boca Raton, FL, 2010.

2. Practicals Ubiquitous Systems


Lecturers: Scientific Staff Mensch-Computer-Interaktion

Language: German

Contents:

Practical assignments based on the subjects of the lecture including the

programming of small prototypes

2,00 Weekly Contact

Hours

Examination


Description:

The written exam is worth a total of 90 points

During the semester students can do assignments, which are optional. They are

12 points in total. The type of optional homework assignments as well as the

deadlines are announced in detail at the beginning of the term. If the written exam

is passed (as a rule 50% of the points have to be reached) the points from the

assignments are a bonus and added to the points from the written exam. In any

case, a top grade of 1,0 is also reachable without solving the assignments.

Module ISDL-SOA

33

Module ISDL-SOA SOA-Governance and EvaluationSOA-Governance and Evaluation

3 ECTS / 90 h


Person responsible for module: Dr. Jochen Malinowski

Contents:

SOA and SOA Governance defined

• SOA Defined; Capabilities, Benefits and Costs

• SOA Governance Defined; Capabilities and Risks of Ungoverned SOA

• Possible roadmap for implementing SOA Governance

Analyze and Design a SOA

• Service taxonomy

• SOA architectures and SOA data architecture within IT governance

• Business Process Design

• Service design and identification

Build and Test a SOA

• SOA development

• SOA Testing Strategy and Techniques

Security and Auditing

• SOA specific challenges

• Securing Web Services

• Securing SOAs

Setting up SOA governance

• Organization Roles & Approaches

• Metadata and Policy

• Service Lifecycle Management

• Service Versioning and Naming

• SOA SLA Management and Billing

• Evaluation of an effective SOA and SOA governance

Learning outcomes:

The module SOA-Governance and Evaluation deals with the design, implementation, and testing of SOAs,

as well as with how to set up an effective SOA governance. The lecture combines theoretical information,

real life examples from practice and several exercises to enhance the learning experience and leave the

participants with an understanding what SOA and SOA governance means when put in practice.

Remark:

The effort for this module is divided into the following components:

• Participation at the lecture: 22.5 hours

• Preparation and further study of the lecture: 45 hours

• Preparation of the examination: 22.5 hours (based on the other preparations of the topics as listed

above)


none


Module ISDL-SOA

34





semester


1 Semester

Module Units

Lectures and Practicals SOA-Governance and Evaluation


Lecturers: Dr. Jochen Malinowski

Language: English

Contents:

Service-oriented architectures are seen by many people as the gateway to

achieve improvements in IT solution development. However, SOA is more than

just a new approach to how IT systems are linked together. It calls for a radically

different approach to IT governance.

Research shows that while many companies’ IT organizations are well on the

way to adopting service-oriented architecture (SOA) capabilities, many find their

progress slowed by big questions about who now owns the business services

- and who controls them. IT leaders are learning that if they are to achieve

high performance with an SOA strategy and implementation, they must update

and extend their IT governance structures so they provide guidance for the

development and maintenance needs unique to SOA. SOA governance supports

more efficient management of the overall SOA journey. Just as important, such

governance supports better ways of funding, managing and operating the IT

organization in support of SOA implementation.

Literature:

• Fabini, M. 2007. Governance für komplexe SOA-Unternehmungen. Eine

Vision für das Schweizer Gesundheitswesen, SOA-Expertenwissen.

Methoden, Konzepte und Praxis serviceorientierter Architekturen, G. Starke,

and S. Tilkov (eds.), Heidelberg: dpunkt.verlag, pp. 309-323.

• Kalex, U. 2007. Von der Geschäftsarchitektur zur SOA-Governance, in

SOA-Expertenwissen. Methoden, Konzepte und Praxis serviceorientierter

Architekturen, G. Starke, and S. Tilkov (eds.), Heidelberg: dpunkt.verlag, pp.

325-340.

• Keller, W. 2007. SOA-Governance. SOA langfristig durchsetzen und

managen, in SOA-Expertenwissen. Methoden, Konzepte und Praxis

serviceorientierter Architekturen, G. Starke, and S. Tilkov (eds.), Heidelberg:

dpunkt.verlag, pp. 289-307.

• Kohnke, O., Scheffler, T., and Hock, C. 2008. “SOA-Governance

- an approach to management of service oriented architecture,”

Wirtschaftsinformatik (50:5), pp. 408–412.

• Schelp, J., and Stutz, M. 2007. “SOA-Governance,” HMD - Praxis der

Wirtschaftsinformatik (253), pp. 66–73.

2,00 Weekly Contact

Hours

Examination

Module ISDL-SOA

35


Description:

The examination examines the topics of the lecture. In total, 90 points can be

achieved.

Module KInf-SemInf-M

36

Module KInf-SemInf-M Semantic Information Proces-singSemantic Information Processing

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Christoph Schlieder

Contents:

The module introduces students into the research field of semantic information processing. It consists of

two parts, a lecture (Vorlesung) which covers the basic methods and lab sessions in which the methods

are applied to problems (Übung).

For more detail refer to the content descritiption of the lecture.

Learning outcomes:

After completion of this module, students will be able to

• explain and compare the fundamental concepts of semantic information processing

• describe and analyze methods for problem solving by heuristic search

• critically discuss different approaches to knowledge representation

• select algorithms that are appropriate for a given type of application problem

Remark:

The main language of instruction in this course is English. The lab sessions may be delivered in German if

all participating students are fluent in German.

The total workload of 180 hrs. is split approximately as follows:

• 45 hrs. attending lecture and lab sessions

• 30 hrs. preparing and reviewing the lectures

• 30 hrs. preparing and reviewing the lab sessions

• 45 hrs. working on the written assignment

• 30 hrs. preparation for the exam


Students are expected to come with general programming skills and to

be familiar with formal methods in computer science






semester


1 Semester

Module Units

1. Lectures on Semantic Information Processing


Lecturers: Prof. Dr. Christoph Schlieder


Contents:

Semantic information processing addresses problems in which software systems

need to represent knowledge, not just data. Facts from different knowledge

sources are combined and integrated by machine reasoning processes. The

services of the Semantic Web provide a prominent example for applications that

2,00 Weekly Contact

Hours

Module KInf-SemInf-M

37

make extensive use of knowledge representation and reasoning. The lecture

introduces into the computational methods and tools for semantic information

processing which have been developed by Artificial Intelligence research. Topics

covered include problem solving by heuristic search, constraint solving, search

strategies for games, representations for domain-specific knowledge, reasoning

with formal ontologies, technologies of the Semantic Web, machine learning

and knowledge discovery. The design of intelligent agents and agent systems

is adopted as unifying perspective for presenting the material. Applications from

different fields such as geographic information systems, digital libraries, and social

computing illustrate how the methods from semantic information processing are

used to build intelligent assistant systems.

Literature:

Russell, S., Norvig, P. & Davis, E. (2010): Artificial Intelligence. A Modern

Approach. 3rd. Upper Saddle River: Prentice Hall.

Hitzler, P.; Krötzsch, M.; Rudolph, S. (2010): Foundations of Semantic Web

technologies. CRC Press

2. Semantic Information Processing Lab


Lecturers: Scientific Staff Angewandte Informatik in den Kultur-, Geschichts- und

Geowissenschaften

Language: English

Contents:

The course applies the concepts and methods taught in the lecture by solving

practical exercises. Most of the exercises can be completed with paper and

pencil while some include programming in Java or working with software tools for

semantic information processing. The solutions to the exercises are prepared as

homework and presented by the students during the lab sessions.

2,00 Weekly Contact

Hours

Examination


Description:

The written exam covers the material presented in the lecture and the lab

sessions

Module KogSys-KogMod-M

38

Module KogSys-KogMod-M Cognitive ModelingKognitive Modellierung

6 ECTS / 180 h


Person responsible for module: Ute Schmid,

Claus-Christian Carbon

Contents:

This course introduces into cognitive psychological basics and empiric research methods and gives an

overview of approaches for areas of application of the simulation of cognitive processes with computer

models.

Learning outcomes:

Students will be able to:

• name and explain research goals in the area of cognitive science

• enumerate and explain methods of cognitive modelling

• discuss and implement specific methods of cognitive modelling in detail

• enumerate and describe cognitive psychology methods

• name, explain, and apply empirical research methods, especially of the experimental cognitive

science

Remark:

The course language is German (if necessary English), slides and reading materials are in

English.


Knowledge appropriate to the module KogSys-IA-B.






semester


1 Semester

Module Units

1. Lectures Cognitive Modelling


Lecturers: Ute Schmid


Contents:

Basic concepts of cognitive modelling; cognitive architectures (ACT-R, Clarion,

PSI); Psychological basics and cognitive models for specific content areas

especially memory and knowledge representation, learning, reasoning, cognition;

Basics of empirical research methods, especially hypothesis testing experiments;

Areas of cognitive model applications, especially: Intelligent tutor systems, user

adaptive systems.

Literature:

Sun, R. (Ed., 2008). The Cambridge Handbook of Computational Psychology;

Müsseler, J. (Ed., 2008). Allgemeine Psychologie (2. Auflage).

2,00 Weekly Contact

Hours

Module KogSys-KogMod-M

39

Bortz, J. (1984). Lehrbuch der empirischen Forschung.

2. Practices Cognitive Modelling




Contents:

In depth practice of empirical research methods on the basis of an exemplarily

conducted empirical study.

Approaches for cognitive modelling will be practically implemented on the base of

concrete modelling tasks with chosen approaches.

Literature:

Sun, R. (Ed., 2008). The Cambridge Handbook of Computational Psychology;

Müsseler, J. (Ed., 2008). Allgemeine Psychologie (2. Auflage).

2,00 Weekly Contact

Hours

Examination


Description:

As opening of the exam conversation a five minute presentation should be held in

agreement with the examiner.

The presentation topic should deepen one of the aspects covered in the lecture or

expand one lecture topic. Afterwards questions on lecture and exercise topics will

be ask.

Module KogSys-ML-M

40

Module KogSys-ML-M Machine LearningLernende Systeme (Machine Learning)

6 ECTS / 180 h

Version 1.0.0

Person responsible for module: Ute Schmid

Contents:

In this course advanced concepts and methods of machine learning are

introduced in the context of symbolic, neuronal, and statistical algorithms.

Learning outcomes:

Students will be able to:

• name research goals of machine learning

• explain basic research questions of machine learning

• name and explain basic concepts of classification learning

• name symbolic, neuronal, and statistic algorithms of classification learning and apply them on given

data

• evaluate the fitness of algorithms for classification learning on given data

• name, explain, and apply special procedures of machine learning

• name and explain basic concepts of human learning

• discuss connections between human learning and machine learning

Remark:

The main language of instruction in this course is English. The lectures and tutorials may be delivered in

German if all participating students are fluent in German.


Module Mathematics for Computer Scientists 1 (propositional- and

first-order logic) (GdI-MfI-1)

Module Algorithms and Data Structures (MI-AuD-B)








semester


1 Semester

Module Units

1. Lecture s Machine Learning




Contents:

In this master-level course well-known symbolical, statistical, and neuronal

approaches of machine learning are introduced and relations to human learning

are discussed. Core topics are: decision tree algorithms, multi-layer perceptrons,

instance-based learning, inductive logic programming, genetic algorithms,

Bayesian learning, kernel methods, Support Vector Machines, inductive program

synthesis, and reinforcement learning.

2,00 Weekly Contact

Hours

Module KogSys-ML-M

41

Literature:

Mitchell, Machine Learning

2. Practices Machine Learning


Lecturers: Michael Siebers


Contents:

Deepening of methods and techniques from the lecture partly with programming

tasks in Java and applications in RapidMiner.

Literature:

Mitchell, Machine Learning

2,00 Weekly Contact

Hours

Examination


Description:

In the exam 90 points can be reached. The exam is passed if 40 points are

reached.

During the semester exercise sheets will be handed out. For their voluntary

processing one or two weeks are available. The solutions of exercise sheets will

be evaluated. If the exam is passed the evaluation of the exercise sheets will be

taken into account for the calculation of the grade. It is possible to reach a 1.0

without points of the exercise sheets.

Legal aids: Hand written and printed materials, calculator.

Module KTR-GIK-M

42

Module KTR-GIK-M Foundations of Internet Communi-cationGrundbausteine der Internet-Kommunikation

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Udo Krieger

Contents:

The course provides an introduction to the theoretical foundations of important technical issues related

to the fundamentals of Internet communication, the data link layer, routing and transport protocols in IP

networks, as well as advanced topics such as real-time communication and security in IP networks. The

implementation of the learnt concepts in terms of predetermined configuration tasks in the communication

laboratory by small teams of students constitutes the tutorial part of the course. For this purpose,

guidelines, technical instructions, and tools will be provided.

The implementation tasks include the configuration and testing of computer networks in the laboratory

setting. Operating system and required software components like Wireshark, Atheris and Vyatta software

router will be provided. The basic handling of the hardware and software itself will be perfomed by the

students as part of their individual intellectual efforts within te couse.

Learning outcomes:

The important skill to provide a qualified assessment of current communicaton technologies and

corresponding practical knowledge can only be acquired by team-oriented processes subject to

time constraints and the clear specification of technical and administrative objectives. In the course

Foundations of Internet Communication and its tutorials in the router laboratory students will learn to work

independently with a high level of responsibility as self-confident member of a successful team.

It is the objective of the course that the students acquire practical knowledge on modern data

communication in Internet and learn how communication concepts can be developed, implemented and

judged with th highest level of expertise.

The course is open to bachelor students in their transition phase to the master prgram. It attempts to

prepare for the job in communication industry related fields. Master students in the first semester and

exchange students from abroad are invited to join the course.

Remark:

The module can be selected by exchange students and master students

speaking only English.

The workload is composed of the following items:

• participation in lectures, tutorials in the laboratory, laboratory meetings: 45 hours

• preparation, execution, post-processing of lectures and tutorials in the laboratory: 100 hours

• preparation of the examination: 35 hours


• data communication similar to module KTR-Datkomm-B

• fundamental knowledge on programming in JAVA (or C++)

• working knowledge on LINUX is recommended, but not assumed

Module Introduction to Algorithms, Programming and Software (DSG-

EiAPS-B) - recommended

Module Data communication (KTR-Datkomm-B) - recommended





Module KTR-GIK-M

43



semester


1 Semester

Module Units

Foundations of Internet Communication


Lecturers: Prof. Dr. Udo Krieger


Learning outcome:

The important skill to provide a qualified assessment of current communicaton

technologies and corresponding practical knowledge can only be acquired by

team-oriented processes subject to time constraints and the clear specification

of technical and administrative objectives. In the course Foundations of Internet

Communication and its tutorials in the router laboratory students will learn to work

independently with a high level of responsibility as self-confident member of a

successful team.

It is the objective of the course that the students acquire practical knowledge on

modern data communication in Internet and learn how communication concepts

can be developed, implemented and judged with th highest level of expertise.

The course is open to bachelor students in their transition phase to the master

prgram. It attempts to prepare for the job in communication industry related fields.

Master students in the first semester and exchange students from abroad are

invited to join the course.

Contents:

The course provides an introduction to the theoretical foundations of important

technical issues related to the fundamentals of Internet communication, the data

link layer, routing and transport protocols in IP networks, as well as advanced

topics such as real-time communication and security in IP networks. The

implementation of the learnt concepts in terms of predetermined configuration

tasks in the communication laboratory by small teams of students constitutes the

tutorial part of the course. For this purpose, guidelines, technical instructions, and

tools will be provided.

The implementation tasks include the configuration and testing of computer

networks in the laboratory setting. Operating system and required

software components like Wireshark, Atheris and Vyatta software router will be

provided. The basic handling of the hardware and software itself will be perfomed

by the students as part of their individual intellectual efforts within the couse.

The organization of the laboratories is following the framework of industry. It

comprises definition, preparation, implementation and presentation phases. An

incremental processing is performed like in industrial projects. It means

• a segmentation into specific work packages,

• its division into tasks and subtasks including milestones

• the presentation of intermediate results

• a final report with presentation

4,00 Weekly Contact

Hours

Module KTR-GIK-M

44

Further laboratories related to current research issues in "Future Generation

Internet" will be integrated into the course on demand. Details are discussed in

the first lecture.

An actual list of studied topics and related references are presented in the first

lecture.

Literature:

Foundations:

• J. Liebeherr, M. Elzarki: Mastering Networks, An Internet Lab Manual, Pearson

Education, Boston, 2004.

Further references related to specific workpackages:

• Kurose, J., Ross, K.W.: Computer Networking – a Top-Down Approach,

Addison-Wesley, 2013 .

• Tanenbaum, A. S.: Computer Networks, Pearson Education, 2010.

• Leon-Garcia, A., Widjaja, I.: Communication Networks, McGraw-Hill, Boston,

2nd ed. 2004.

• Flaig, G., u.a.: Internet-Telefonie, Open source Press, München, 2006.

An up-to-date list is provided by the course.

Examination



Description:

The evaluation of the course will take place after completion of all lectures within

the examination cycle. It is based on following items:

• assessment of the final course report written by a team of students on all

workpackages (30 % of final grading)

• presentation and explanation of specific tasks and outcomes of laboratories by

an individual colloquium lasting 30 minutes (70% of final grading)

The overall individual grading has to reach the level "satisfactory/ausreichend

(4.0)" to pass the examination of the module.

Module KTR-MAKV-M

45

Module KTR-MAKV-M Modeling and Analysis of Com-munication Networks and Distributed SystemsModellierung und Analyse von Kommunikationsnetzen und Verteilten

Systemen

6 ECTS / 180 h



Contents:

The course deals with the analysis and performance evaluation of complex distributed systems such as

telecommunication systems, computer networks and complex networks. The latter are transformed to

abstract system-theoretical models and their associated parameters. The models are used to analyze

the system behavior, and to predict relevant performance metrics such as utilization, throughput, waiting

and response times of request, person or data flows in distributed systems or social networks. Such

predictions have great importance regarding economic or technical design and decision processes in

future generation networks and their distributed service architectures.

The course presents the modeling of distributed systems and discusses associated description methods

such as relevant load and machine models. The system-theorectical analysis of these models and

the included resource assignment and management strategies are sketched based on simple analytic

methods like Markov chains, algebraic and numerical solution methods for queueing models, and

simulative analysis schemes.

Learning outcomes:

It is the objective of the course to teach students the fundamentals of measurement, analysis, and

performance evaluation methods in modern computer and communication networks, and distributed

systems. Students will learn how they can apply the underlying system-theoretical monitoring, modeling,

and analysis techniques to a given technical context. The application of the sketched models and

methods is illustrated by exercises covering views of distributed systems with a realistic characteristic.

Students are encouraged to apply a given methodology to new technical contexts and scientific tasks.

Remark:




• solid knowledge of calculus (like Mathematik I) and linear algebra

(like Mathematik für Informatiker 2)

• basic knowledge of probability theory and statistics

• programming experience in JAVA (or C++)

Module Methoden der Statistik I (_Stat I) - recommended


Module Mathematics for Computer Science 2 (Linear Algebra) (KTR-

MfI-2) - recommended






semester


1 Semester

Module KTR-MAKV-M

46

Module Units

Modeling and Analysis of Communication Networks and Distributed

Systems




Learning outcome:

It is the objective of the course to teach students the fundamentals of

measurement, analysis, and performance evaluation methods in modern

computer and communication networks, and distributed systems. Students will

learn how they can apply the underlying system-theoretical monitoring, modeling,

and analysis techniques to a given technical context. The application of the

sketched models and methods is illustrated by exercises covering views of

distributed systems with a realistic characteristic. Students are encouraged to

apply a given methodology to new technical contexts and scientific tasks.

Contents:

The course deals with the analysis and performance evaluation of complex

distributed systems such as telecommunication systems, computer networks

and complex networks. The latter are transformed to abstract system-theoretical

models and their associated parameters. The models are used to analyze

the system behavior, and to predict relevant performance metrics such as

utilization, throughput, waiting and response times of request, person or data

flows in distributed systems or social networks. Such predictions have great

importance regarding economic or technical design and decision processes in

future generation networks and their distributed service architectures.

The course presents the modeling of distributed systems and discusses

associated description methods such as relevant load and machine models.

The system-theorectical analysis of these models and the included resource

assignment and management strategies are sketched based on simple analytic

methods like Markov chains, algebraic and numerical solution methods for

queueing models, and simulative analysis schemes.

The content of the lectures is illustrated by exercises and laboratories covering

important performance aspects in high-speed networks and distributed systems.

Knowledge and skills to perform an efficient system analysis, system monitoring,

and performance evaluation will be trained in this manner. The independent

processing of tasks, the qualified presentation and critical discussion of the

outcomes by teams of students is part of the course. It improves the technical

understanding and provides means to work as project leader in industry on those

topics.

Literature:

• G. Bolch, S. Greiner, H. de Meer, K. S. Trivedi: Queueing Networks

andMarkov Chains. Wiley, 2nd ed., 2006.

• S. Asmussen, P.W. Glynn: Stochastic Simulation, Springer, 2007.

A list of further references is presented in the first lecture.

4,00 Weekly Contact

Hours

Module KTR-MAKV-M

47

Examination


Description:

30 minutes oral examination related to the technical topics of all lectures and

practicals.

Module KTR-MMK-M

48

Module KTR-MMK-M Multimedia Communication inHigh Speed NetworksMultimedia-Kommunikation in Hochgeschwindigkeitsnetzen

6 ECTS / 180 h



Contents:

Based on the foundations of data communication, this advanced course of the master program presents

the design of high-speed networks (HSN) and the advanced protocol elements of the signaling and

user plane that are required to implement new real-time and multimedia services. It includes the digital

switching technologies and protocol stacks of HSNs, the quality-of-service architectures, as well as the

traffic management protocols of these next generation IP networks. The extension of the TCP/IP protocol

stack to realize communication relations among mobile or stationary end systems that are supported by

quality-of-service guarantees and associated improved switching concepts are discussed in detail by

lectures of the course.

These lectures focus on effective access technologies and new transport and QoS-architectures in the

core network like Diffserv, MPLS and GMPLS. Further, enhancement of IPv4 by IPv6 switching and the

extension of TCP by moern multipath concepts such as MPTCP and SCTP are presented. Advanced

QoS-management concepts, effective resource and traffic management schemes like buffer management

by RED, RIO or schedluing by WFQ, are discuessed, too. Modern multimedia service architectures with

interactive applications for second and third generation Internet like WebRTC, new peer-to-peer VoIP and

media streaming applications, as wel as IPTV are sketched.

The course can be supplemented by the module Foundations of Internet Communcation (KTR-GIk-M) with

its instructive tasks executed in the router laboratory, by master seminars and projects or a master thesis

on related topics in next generation networks.

Learning outcomes:

The students will be enabled to work independently according to the highest scientific standards on

design and analysis tasks associated with high-speed network protocols. They will learn about the

fundamentals of multimedia communication in high-speed networks and the systematic analysis of

the applied communication algorithms by means of an interactive tutorial concept. They will assess

the implementations of existing network protocols and to evaluate their performance by means of a

measurement analysis with Wireshark and other tools. The processing of the design, assessment,

measurement, and implementation tasks will be performed by teams of students. Thus, learning effective

teamwork is part of the course.

Remark:




• successful examination in data communication similar to module

KTR-Datkomm-B and substantial knowledge of related technical

concepts

• knowledge in progamming with JAVA (or C++)






Module KTR-MMK-M

49


semester


1 Semester

Module Units

Multimedia Communication in High Speed Networks




Learning outcome:

The students will be enabled to work independently according to the highest

scientific standards on design and analysis tasks associated with high-speed

network protocols. They will learn about the fundamentals of multimedia

communication in high-speed networks and the systematic analysis of the applied

communication algorithms by means of an interactive tutorial concept. They

will assess the implementations of existing network protocols and to evaluate

their performance by means of a measurement analysis with Wireshark and

other tools. The processing of the design, assessment, measurement, and

implementation tasks will be performed by teams of students. Thus, learning

effective teamwork is part of the course.

Contents:

Based on the foundations of data communication, this advanced course of the

master program presents the design of high-speed networks (HSN) and the

advanced protocol elements of the signaling and user plane that are required to

implement new real-time and multimedia services. It includes the digital switching

technologies and protocol stacks of HSNs, the quality-of-service architectures, as

well as the traffic management protocols of these next generation IP networks.

The extension of the TCP/IP protocol stack to realize communication relations

among mobile or stationary end systems that are supported by quality-of-service

guarantees and associated improved switching concepts are discussed in detail

by lectures of the course.

These lectures focus on effective access technologies and new transport and

QoS-architectures in the core network like Diffserv, MPLS and GMPLS. Further,

enhancement of IPv4 by IPv6 switching and the extension of TCP by moern

multipath concepts such as MPTCP and SCTP are presented. Advanced QoS-

management concepts, effective resource and traffic management schemes like

buffer management by RED, RIO or schedluing by WFQ, are discuessed, too.

Modern multimedia service architectures with interactive applications for second

and third generation Internet like WebRTC, new peer-to-peer VoIP and media

streaming applications, as wel as IPTV are sketched.


important aspects of the protocol stacks in high-speed networks. The independent




topics.

4,00 Weekly Contact

Hours

Module KTR-MMK-M

50

The course can be supplemented by the module Foundations of Internet

Communcation (KTR-GIk-M) with its instructive tasks executed in the router

laboratory, by master seminars and projects or a master thesis on related topics in

next generation networks.

Literature:

• Kurose, J.F., Ross, K.W.: Computer Networking, A Top-Down Approach

Featuring the Internet, Pearson Addison-Wesley, 6th ed., 2013.

• Leon-Garcia, A., Widjaja, I.: Communication Networks, McGraw-Hill,

Boston, 2nd ed. 2004.

• Comer, D.: Computer Networks and Internets, Pearson Education,

2004.

Examination


Description:

30 minutes oral examination related to the technical topics of all lectures and

practicals

Module KTR-Mobi-M

51

Module KTR-Mobi-M Mobile CommunicationMobilkommunikation

6 ECTS / 180 h



Contents:

The course presents the fundamentals of mobile communication. We sketch the underlying standards,

system architectures and their realizations as well as current research and development trends. Due to

the complexity of the field the course can only present some basic important aspects of those mobile

communication systems that exhibit the strongest growth in the markets and affect all busieness areas of

the information societies at most. The course will focus on the technical system and design perspectives

regarding the service architectures and local or wide area mobile communication networks.

The following topics are discussed in detail:

• technical foundation of wireless transmission

• media access control protocols

• resource management protocols in mobile communication networks (including resource assignment

strategies at the radio layer, handoff management, error control protocols, scheduling etc.)

• mobility support at the network layer by mobile IP

• transport protocols and their enhancements

• wirelss LANs and their development (IEEE802.11 standards, WiMAX etc.)

• wireless wide area networks based on TDMA technology (GSM basics and protocols, GPRS)

• data communication in wireless wide area networks (UMTS, HSPA, LTE, LTE-A etc.)

• service architectures for mobile networks (including Android programming and WebRTC architectures)

Learning outcomes:

The students are encouraged to independent scientific work. They learn the fundamentals of mobile

communication and are trained to analyze the applied protocols and communication algorithms in a

systematic manner. Students are instructed to investigate the sketched mobile communication protocols

by measurements using Wireshark and other tools, to evaluate their performance, and to develop new

protocol elements. The processing of design, programming, and performance assessment tasks by teams

of students and the effective arrangement of workgroups is part of the training.

Remark:




• substantial knowledge of the foundations of data communication

similar to module KTR-Datkomm-B

• good knowledge of programming in JAVA (or C++)

• knowledge of algorithms and data structures similar to module

MI-AuD-B








semester


1 Semester

Module KTR-Mobi-M

52

Module Units

Mobile Communication Course




Learning outcome:

The students are encouraged to independent scientific work. They learn the

fundamentals of mobile communication and are trained to analyze the applied

protocols and communication algorithms in a systematic manner. Students

are instructed to investigate the sketched mobile communication protocols by

measurements using Wireshark and other tools, to evaluate their performance,

and to develop new protocol elements. The processing of design, programming,

and performance assessment tasks by teams of students and the effective

arrangement of workgroups is part of the training.

Contents:

The course presents the fundamentals of mobile communication. We sketch

the underlying standards, system architectures and their realizations as well

as current research and development trends. Due to the complexity of the field

the course can only present some basic important aspects of those mobile

communication systems that exhibit the strongest growth in the markets and affect

all busieness areas of the information societies at most. The course will focus on

the technical system and design perspectives regarding the service architectures

and local or wide area mobile communication networks.

The following topics are discussed in detail:

• technical foundation of wireless transmission

• media access control protocols

• resource management protocols in mobile communication networks (including

resource assignment strategies at the radio layer, handoff management, error

control protocols, scheduling etc.)

• mobility support at the network layer by mobile IP

• transport protocols and their enhancements

• wirelss LANs and their development (IEEE802.11 standards, WiMAX etc.)

• wireless wide area networks based on TDMA technology (GSM basics and

protocols, GPRS)

• data communication in wireless wide area networks (UMTS, HSPA, LTE, LTE-A

etc.)

• service architectures for mobile networks (including Android programming and

WebRTC architectures)


important aspects of the protocol stacks in mobile networks. The independent




topics.

4,00 Weekly Contact

Hours

Module KTR-Mobi-M

53

The course can be supplemented by the module Foundations of Internet

Communcation (KTR-GIk-M) with its instructive tasks executed in the router

laboratory, by master seminars and projects or a master thesis on related topics in

next generation networks.

Literature:

• Schiller, J.: Mobile Communications. Pearson-Education, Munich, 2004.

• Walke, B.: Mobile Radio Networks, Wiley, 2002.

• Pahlavan, K., Krishnamurthy, P.: Principles of Wireless Networks, A Unified

Approach. Prentice Hall, 2002.

• Pahlavan, K., Krishnamurthy, P.: Networking Fundamentals: Wide, Local

and Personal Area Communications, Wiley, 2009.

• Holma, H., Toskala, A.: LTE for UMTS, Evolution to LTE-Advanced, 2. ed,

Wiley, 2011.

Examination


Description:

30 minutes oral examination covering all topics of the lectures and practicals

Module KTR-SSSProj-M

54

Module KTR-SSSProj-M KTR Master Project SoftwareSystems ScienceKTR Masterprojekt Software Systems Science

9 ECTS / 270 h



Contents:

Important skills regarding the planning, development and implementation of new commmunication

technologies, their advanced services, and the related protocols in next generation networks can only

be learnt by team oriented development projects subject to stringent time and resource contraints, and

clear development objectives, similar to an industrial project environment. After a short training phase

and based on an autonomous working mode, students will learn by a teamwork project to solve advanced

communication tasks and to implement new communication services associated with current research

issues of the professorship. Actual topics will be announced on the web page of the module.

Learning outcomes:

The students are encouraged to independent scientific work. They learn how to plan, develop and

implement new advanced multimedia services and communication protocols in next generation networks.

They are trained to efficiently implement the applied protocols and to analyze the performance of the

communication algorithms in a systematic manner. Students are instructed to investigate their developed

protocol code elements by measurements and other tools, to evaluate their performance, and to develop

improved protocol units. The processing of design, programming, and performance assessment tasks by

teams of students and the effective arrangement of the groupwork is part of the training.

The project follows scientific standards and deals with research issues of the professorship. The overall

objective is to develop skills and knowledge required for a successful career in industry or research in the

field of communication engineering.


• good knowledge in mathematics and statistics, similar to module

Mathematik für Informatiker 2

• good programming skills in JAVA (or C++)

• good knowledge in data communication, similar to module KTR-

Datkomm-B

• solid methodological know-how in planning and execution of

software projects, similar to the module "Software Engineering

Lab" (SWT-SWL-B)

Module Introduction to Parallel and Distributed Programming (DSG-

PKS-B) - recommended


Module Mathematics for Computer Science 2 (Linear Algebra) (KTR-

MfI-2) - recommended

Module Software Engineering Lab (SWT-SWL-B) - recommended





Frequency: every semester Recommended semester:

2.

Minimal Duration of the Module:

1 Semester

Module KTR-SSSProj-M

55

Module Units

KTR Master Project Software Systems Science




Learning outcome:

The details are sketched previously.

Contents:

Important skills regarding the planning, development and implementation of new

commmunication technologies, their advanced services, and the related protocols

in next generation networks can only be learnt by team oriented development

projects subject to stringent time and resource contraints, and clear development

objectives, similar to an industrial project environment. After a short training

phase and based on an autonomous working mode, students will learn by a

teamwork project to solve advanced communication tasks and to implement

new communication services associated with current research issues of the

professorship.

The organization of the project is following the framework of industry. It comprises

definition, preparation, implementation and presentation phases. An incremental

processing is performed like in industrial projects. It means

• a segmentation into specific work packages,

• its division into tasks and subtasks including milestones

• the presentation of intermediate results

• a final report with presentation and an individual colloquium to defend the

outcome.

Research and development tasks are related to current research issues in "Future

Generation Internet" and will be integrated into the module. An actual list of

studied topics and related references are presented in the first lecture.

Literature:

A reference list will be provided in the first meeting of the project.

6,00 Weekly Contact

Hours

Examination




Participation in the module unit at a regular basis

Description:

The results of teamwork and individual work phases which are reflected by the

written project report and the associated presentations of the project results

will be evaluated. The outcome contributes a share of 40% to the final grade.

The residual 60% to the final grade stem from the evaluation of an individual

colloquium of the candidate. All contributions must be achieved within the same

semester. A regular participation in all units of the module is required to be

admitted to the final examination.

Module MOBI-ADM-M

56

Module MOBI-ADM-M Advanced Data ManagementAdvanced Data Management

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Daniela Nicklas

Contents:

With the rapid growth of the internet and more and more observable processes, many data sets became

so large that they cannot be processed with traditional database methods any more. This modul covers

advanced data management and integration techniques (also known under the term “big data”) that are

useful when dealing with very large data sets.

Learning outcomes:

The students will understand the challenges of big data, and will be able to apply some of the new

techniques to deal with it.


Foundations of relational databases, relational algebra and SQL; e.g.

from Modul SEDA-DMS-B: Data management systems






semester


1 Semester

Module Units

1. Lectures Advanced Data Management


Lecturers: Prof. Dr. Daniela Nicklas


Contents:

The lecture will cover various algorithms for clustering, association rule mining, or

page ranking and their scalable processing using map and reduce methods, data

integration, data cleansing and entity recognition. The exercises will be built upon

the Hadoop framework.

2,00 Weekly Contact

Hours

2. Practicals Advanced Data Management




Contents:

see Lectures

2,00 Weekly Contact

Hours

Examination


Module MOBI-DSC

57

Module MOBI-DSC Data Streams and Complex EventProcessingData Streams and Complex Event Processing

6 ECTS / 180 h



Contents:

The management of data streams and foundations of event processing: applications, systems, query

languages, continuous query processing, and security in distributed data stream management systems.

Learning outcomes:

The students will understand the management and processing of data from of active data sources like

sensors, social media (e.g., Twitter) or financial transactions.









semester


1 Semester

Module Units

1. Lectures Data Streams and Complex Event Processing




Contents:

The lecture covers the following topics:

· Architectures of data stream management systems

· Query languages

· Data stream processing

· Complex event processing

· Security in data stream management systems

· Application of data stream management systems

2,00 Weekly Contact

Hours

2. Practicals Data Streams and Complex Event Processing




Contents:

see Lectures

2,00 Weekly Contact

Hours

Examination


Module MOBI-PRS-M

58

Module MOBI-PRS-M Master Project Mobile SoftwareSystems (SoSySc)Master Project Mobile Software Systems (SoSySc)

9 ECTS / 270 h



Contents:

Topics in mobile software systems, which are taken from current research activities in mobile, context-

aware systems and data stream management, are carried out in part individually and in part in small

teams of students, from conception, via theoretical and/or practical realization, to evaluation. In particular,

the project concerns the development of sound concepts pertaining to the task to be addressed under the

given project constraints. This requires studying the current research literature and relevant approaches

on the project's topic.

An example of a project task would be the conceptual development, the prototypic implementation, and

the case-study-driven evaluation of a sensor-based, mobile system, which would require knowledge from

the modul MOBI-DSC Data streams and event processing.

Learning outcomes:

Students will deepen their knowledge regarding the conceptual problems that arise when carrying

out theoretical and/or practical research and software projects, and regarding approaches to possible

solutions. Since this will be done by means of the intensive conduct of a research topic in Mobile Software

Systems, students will gain important experience in carrying out research-oriented projects, from project

planning, to the abstract and concrete design, to the realization, to the documentation of results in a

scientific project report.

Remark:

The main language of instruction is English. The module may be delivered in German if all participating

students are fluent in German.


• 15 hrs. participating in introductions to and tutorials on methods, software

tools, and giving presentations on the project status

• 60 hrs. researching and familiarization with the project topic

• 150 hrs. conducting the project work

• 45 hrs. compiling a project report (Assignment/Hausarbeit) and preparation of the Colloquium

(Kolloquium).









semester


1 Semester

Module Units

Master Project Mobile Software Systems (SoSySc)


6,00 Weekly Contact

Hours

Module MOBI-PRS-M

59



Contents:

Conduct of the project, accompanied by regular meetings between students and

lecturer.

Examination


Duration of Coursework: 12 weeks


Regular participation to all units of the module

Description:

Production of a written report on the software project carried out (Assignment/

Hausarbeit). Discussion of this project report and of the developed artefacts in the

context of the wider project topic (Colloquium/Kolloquium).

Module MOBI-SDA-M

60

Module MOBI-SDA-M Stream Data AnalyticsStream Data Analytics

6 ECTS / 180 h



Contents:

This modul covers the analysis of data streams. We will discuss various method for knowledge discovery,

machine learning, and data mining for continuous, rapid data and/or event streams, and will apply some of

them in practical use cases.

Learning outcomes:

The students will know how knowledge can be extracted from data streams, and they will be able to apply

various techniques of stream data mining and incremental machine learning in software development.



from Modul SEDA-DMS-B: Data management systems; foundations of

data stream management systems, e.g. from Modul MOBI-DSC Data

streams and event processing






semester


1 Semester

Module Units

1. Lectures Stream Data Analytics




Contents:

The lecture will cover the following topics:

· Machine learning for data streams and event streams

· Incremental data mining techniques

· Applications of stream data analytics

2,00 Weekly Contact

Hours

2. Practicals Stream Data Analytics




Contents:

see Lectures

2,00 Weekly Contact

Hours

Examination


Module SME-STE-M

61

Module SME-STE-M Introduction to Knowledge Repre-sentation: Space, Time, EventsIntroduction to Knowledge Representation: Space, Time, Events

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Diedrich Wolter

Contents:

This course gives an introduction to the area of knowledge representation, a sub-discipline of computer

science in general and artificial intelligence in particular.

Knowledge representation is involved with identifying means to represent practical problems and

according background knowledge as data structures, and to develop reasoning algorithms to solve these

problems.

This course puts a spotlight on symbolic techniques to represent knowledge involving a spatio-temporal

component as is typical for many practical real-world problems.

Contents:

• fundamental concepts: knowledge, abstractions, relations, logics

• syntax and semantics, formalization of knowledge

• representation and reasoning

• qualitative algebras and constraint calculi

• constraint-based reasoning

• spatial logics

• complexity and tractable subclasses

Learning outcomes:

• gain overview of formalisms for representing spatio-temporal logics

• gain skills to represent spatio-temporal knowledge symbolically

• gain overview of reasoning problems and learn to identify approaches for solving them

• learn to apply constraint-based reasoning methods

• learn to identify computational complexity of reasoning problems

Remark:

The main language of instruction in this course is English. Exams may be taken in either English or

German. The lectures and tutorials may be delivered in German if all participating students are fluent in

German.


Basic knowledge in computer science is recommended, for example

obtained in a computer science bachelor's curriculum.






semester


1 Semester

Module Units

1. Lectures Introduction to Knowledge Representation: Space, Time, Events


Lecturers: Prof. Dr. Diedrich Wolter

2,00 Weekly Contact

Hours

Module SME-STE-M

62


Learning outcome:

see description of module

Contents:

see description of module

Literature:

will be announced in first lecture

2. Practicals Introduction to Knowledge Representation: Space, Time,

Events


Lecturers: Prof. Dr. Diedrich Wolter

Language: German

Contents:

practical exercises according to the lecture

2,00 Weekly Contact

Hours

Examination


Description:

oral examination 20 minutes about lectures and practicals

Module SNA-OSN-M

63

Module SNA-OSN-M Project Online Social NetworksProjekt zu Online Social Networks

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Kai Fischbach

Contents:

This course is an introduction to the analysis of online social networks. The aim is twofold: to provide

students with the tools necessary to undertake research into online networks, and to give an overview of

the type of questions these data can answer. The course will define online networks, examine how they

differ from offline social networks, and consider theoretical and methodological issues associated with

their analysis. The sessions will explore different strategies to retrieve and analyze online network data,

and present different empirical scenarios to which those tools have been applied.

Learning outcomes:

At the conclusion of the course, students should know not only how to calculate basic network metrics

on pre-existing data sets, but also how to capture an online social network efficiently with the intent of

answering a specific research question.


We recommend attending at least one of the following courses:

• Social Network Analysis (SNA-ASN-M)

• Theories of Social Networks (SNA-NET-M)






semester


1 Semester

Module Units

Online Social Networks


Lecturers: Prof. Dr. Kai Fischbach


Learning outcome:

At the conclusion of the course, students should know not only how to calculate

basic network metrics on pre-existing data sets, but also how to capture an

online social network efficiently with the intent of answering a specific research

question.

Contents:

This course is an introduction to the analysis of online social networks. The aim

is twofold: to provide students with the tools necessary to undertake research

into online networks, and to give an overview of the type of questions these data

can answer. The course will define online networks, examine how they differ

from offline social networks, and consider theoretical and methodological issues

associated with their analysis. The sessions will explore different strategies

to retrieve and analyze online network data, and present different empirical

scenarios to which those tools have been applied.

4,00 Weekly Contact

Hours

Module SNA-OSN-M

64

Examination



Module SSS-SEM-M

65

Module SSS-SEM-M Master-Level Seminar in SoftwareSystems ScienceMaster-level Seminar in Software Systems Science

3 ECTS / 90 h



Contents:

The module covers independent study and presentation of a topic on the chosen subject area, using

scientific methods. Details on the topic and literature will be will be announced by the lecturer offering this

module a the beginning of the seminar.

Learning outcomes:

gaining professional competence regarding the critical and systematic analysis of scientific literature;

learning techniques to structure complex facts in the field of software systems science in systematic

manner; evaluation of competing approaches; learning techniques to present scientific topics in

professional manner and to write scientific papers.

Remark:

Each student must choose one master-level seminar on a subject area of Software Systems Science.


Any recommended prerequisites will be determined and announced by

the lecturer offering this module a the beginning of the seminar.






1 Semester

Module Units

Master-Level Seminar in a Subject Area of Software Systems Science

Mode of Delivery: Advanced seminar

Language: English

Learning outcome:

see description above

Contents:

The module covers independent study and presentation of a topic on the chosen

subject area, using scientific methods. Details on the topic and literature will be

will be announced by the lecturer offering this module a the beginning of the

seminar.

Literature:

All relevant literature will be announced at the beginning of the seminar by the

lecturer offering this module.

2,00 Weekly Contact

Hours

Examination


Participation in the module unit at a regular basis.

Description:

Module SSS-SEM-M

66

An essay (Hausarbeit) and s presentation (Referat) - including a discussion - on

the studied topic are required.

The hand-out and hand-in time for the essay, the expected duration of the

presentation, and the weighting of the examination performances between

essay and presentation will be announced by the lecturer at the beginning of the

seminar.

Module SWT-ASV-M

67

Module SWT-ASV-M Applied Software VerificationApplied Software Verification

6 ECTS / 180 h


Person responsible for module: Prof. Dr. Gerald Lüttgen

Contents:

This module focuses on the increasingly important field of automated software verification, which aims

at increasing the quality of today's complex computer systems. Students will be introduced to modern

automated software verification and, in particular, to software model checking, and will be familiarised with

a variety of important formal verification concepts, techniques and algorithms, as well as with state-of-the-

art verification tools.

Learning outcomes:

On completion of this module, students will be able to thoroughly analyse software using modern software

verification tools and understand the state-of-the-art techniques and algorithms that drive cutting-edge

development environments offered by major software companies.

Remark:

The main language of instruction is English. The lectures and practicals may be delivered in German if all

participating students are fluent in German.


• 30 hrs. attending lectures (Vorlesungen)

• 30 hrs. attending practicals (Übungen)

• 60 hrs. preparing and reviewing the lectures and practicals, including researching literature, studying

material from additional sources and applying software tools

• 30 hrs. working on the assignment (Hausarbeit)

• 30 hrs. preparing for the colloquium (Kolloquium)


Basic knowledge in algorithms and data structures, mathematical

logic and theoretical computer science. Knowledge of the module

"Foundations of Software Analysis" (SWT-FSA-B) - or equivalent - is

desirable.






semester


1 Semester

Module Units

1. Lectures in Applied Software Verification


Lecturers: Prof. Dr. Gerald Lüttgen


Contents:

The lectures (Vorlesungen) will address the following topics in automated

software verification: (i) state machines, assertions and algorithms for state

space exploration; (ii) temporal logics for specifying program properties; (iii)

model checking using binary decision diagrams; (iv) SAT-based bounded model

checking; (v) software model checking based on decision procedures; (vi)

2,00 Weekly Contact

Hours

Module SWT-ASV-M

68

abstraction-based software model checking. In addition, several state-of-the-art

software verification tools will be introduced.

Literature:

• Baier, C., Katoen, J.-P. Principles of Model Checking. MIT Press, 2008.

• Clarke, E., Grumberg, O. and Peled, D. Model Checking. MIT Press, 1999.

• Huth, M. and Ryan, M. Logic in Computer Science. 2nd ed. Cambridge

University Press, 2004.

• Kroening, D. and Strichman, O. Decision Procedures: An Algorithmic Point

of View. Springer, 2008.

• Loeckx, J. and Sieber, K. The Foundations of Program Verification. 2nd ed.

Wiley, 1987.

2. Practicals in Applied Software Verification


Lecturers: Scientific Staff Praktische Informatik, insbesondere Softwaretechnik

und Programmiersprachen


Contents:

Students will practice the various theoretical and practical concepts taught in

the lectures (Vorlesungen) by applying them to solve verification problems using

several modern model-checking tools, and also by engaging in pen-and-paper

exercises. Emphasis will be put on presenting and discussing the solutions to the

exercises by and among the students, within the timetabled practicals (Übungen).

Literature:

- see the corresponding lectures -

2,00 Weekly Contact

Hours

Examination



Description:

Assignment (Hausarbeit) consisting of questions that practice, review and deepen

the knowledge transferred in the lectures and practicals (Vorlesungen und

Übungen).

Colloquium (Kolloquium) consisting of questions testing the knowledge transferred

in the lectures and practicals (Vorlesungen und Übungen), on the basis of the

submitted solutions to the assignment (Hausarbeit).

Module SWT-PCC-M

69

Module SWT-PCC-M Principles of Compiler Construc-tionPrinciples of Compiler Construction

6 ECTS / 180 h



Contents:

The module teaches the theoretical and practical principles of compiler construction, from lexical analysis

and parsing, to semantic analysis, to code generation and optimisation.

Learning outcomes:

On completion of this module, students will be familiar with all phases of a modern compiler – from lexical

analysis and parsing, to semantic analysis and finally code generation and code optimisation – and

will have a deep understanding of the workings of compilers. As a result, students will be able to use

compilers more effectively and learn better debugging practices. Students will also be able to start building

compilers on their own.

Remark:

The main language of instruction is English. The lectures and practicals may be delivered in German if all



• 30 hrs. attending lectures (Vorlesungen)

• 30 hrs. reviewing the lectures, including researching and studying material from additional sources

• 30 hrs. attending practicals (Übungen)

• 30 hrs. preparing and reviewing the practicals, including researching and studying material from

additional sources

• 60 hrs. working on the assignment (Hausarbeit) and preparing for the colloquium (Kolloquium)


Basic knowledge in the theoretical foundations of Computer Science

(especially in language theory and automata theory) and in algorithms

and data structures.






semester


1 Semester

Module Units

1. Lectures in Principles of Compiler Construction




Contents:

Students will be familiarised with a variety of theoretical and practical concepts,

techniques and algorithms employed in compiler construction, which reach from

language theory, to automata theory, to data flow analysis. The lectures will

focus on the following aspects of compiler construction: lexical analysis, parsing,

abstract syntax, semantic analysis, code generation and code optimisation.

Literature:

2,00 Weekly Contact

Hours

Module SWT-PCC-M

70

• Louden, K. C. Compiler Construction: Principles and Practice. Course

Technology, 1997.

• Aho, A. V., Sethi, R., Ullman, J. D. and Lam, M. S. Compilers: Principles,

Techniques, and Tools, 2nd ed. Addison-Wesley, 2006.

• Fischer, C. N., Cytron, R. K. and LeBlanc Jr., R. J. Crafting a Compiler.

Pearson, 2010.

• Muchnick, S. S. Advanced Compiler Design and Implementation, Morgan

Kaufmann, 1997.

2. Practicals in Principles of Compiler Construction


Lecturers: Prof. Dr. Gerald Lüttgen, Scientific Staff Praktische Informatik,

insbesondere Softwaretechnik und Programmiersprachen


Contents:

Students will practice the theoretical concepts taught in the lectures by applying

them to a variety of exercises, so that they can appreciate the diverse range of

foundations that make modern programming languages possible. The exercises

will largely be pen-and-paper exercises but may also involve some work using

computers. Emphasis will be put on presenting and discussing the solutions to the

exercises by and among the students, within the timetabled practicals (Übungen).

Students can gain further practical experience in compiler construction by

simultaneously attending the module "Bachelorprojekt Softwaretechnik und

Programmiersprachen" (SWT-PR1-B).

Literature:

- see the corresponding lectures -

2,00 Weekly Contact

Hours

Examination



Description:

Assignment (Hausarbeit) consisting of questions practicing, reviewing and

deepening the knowledge transferred in the lectures (Vorlesungen) and practicals

(Übungen).


in the lectures (Vorlesungen) and practicals (Übungen), on the basis of the

submitted solutions to the assignment (Hausarbeit).

Module SWT-PR2-M

71

Module SWT-PR2-M SWT Masters Project in SoftwareSystems ScienceSWT Masters Project in Software Systems Science

9 ECTS / 270 h



Contents:

Topics in Software Systems Science, which are taken from current research activities in software

engineering and programming languages, are carried out in part individually and in part in small teams

of students, from conception, via theoretical and/or practical realization, to evaluation. In particular, the

project concerns the development of sound concepts pertaining to the task to be addressed under the

given project constraints. This requires studying the current research literature and relevant approaches

on the project's topic.

An example of a project task would be the conceptual development, the prototypic implementation, and

the case-study-driven evaluation of tools for software analysis and verification, which requires the prior or

parallel attendance of the module "Applied Software Verification" (SWT-ASV-M), or equivalent knowledge.

Learning outcomes:

Students will deepen their knowledge regarding the conceptual problems that arise when carrying

out theoretical and/or practical research and software projects, and regarding approaches to possible

solutions. Since this will be done by means of the intensive conduct of a research topic in Software

Systems Science, students will gain important experience in carrying out research-oriented projects, from

project planning, to the abstract and concrete design, to the realization, to the documentation of results in

a scientific project report.

Remark:

The main language of instruction is English. The module may be delivered in German if all participating

students are fluent in German.


• 15 hrs. participating in introductions to and tutorials on methods, software tools, and giving

presentations on the project status

• 60 hrs. researching and familiarization with the project topic

• 150 hrs. conducting the project work

• 45 hrs. compiling a project report (Assignment/Hausarbeit) and preparation of the Colloquium

(Kolloquium).


Basic knowledge in software engineering and programming

languages, knowledge in the subject matter of the project topic.






semester


1 Semester

Module Units

Practicals for SWT Masters Project in Software Systems Science



6,00 Weekly Contact

Hours

Module SWT-PR2-M

72


Learning outcome:

To be announced at the beginning of the project.

Contents:

Conduct of the project, accompanied by regular meetings between students and

lecturer.

Literature:

To be announced at the beginning of the project.

Examination




Regular participation in the practicals.

Description:

Production of a written report on the software project carried out (Assignment/

Hausarbeit). Discussion of this project report and of the developed artefacts in the

context of the wider project topic (Colloquium/Kolloquium).

Module SWT-RPP-M

73

Module SWT-RPP-M Selected Readings in Parallel Pro-grammingSelected Readings in Parallel Programming

3 ECTS / 90 h



Contents:

This module discusses a broad variety of concepts, languages and libraries for multi-threaded

programming on modern shared-memory computer architectures, as well as techniques for analysing

concurrent software. The module consists of a mixture of classic lectures and presentations on specific

topics; these presentations are given by the students themselves after a thorough consultation of the

literature (e.g., reading a chapter in a textbook or a scientific article).

Learning outcomes:

Students will learn state-of-the-art techniques for analysing, decomposing and synchronising concurrent

computing tasks, so as to be able to exploit the vast performance offered by today's multi-core and

many-core architectures. At the end of this module, students will be in a position to develop new parallel

programs, and adapt existing programs to parallel architectures.

In addition, students will learn how to read and work on research publications and how to present the

essence of these publications as an outline talk to fellow students.

Remark:

The main language of instruction is English. The lectures and seminars may be delivered in German if all



• 30 hrs. attending the lectures and seminars (Vorlesungen und Seminare)

• 15 hrs. preparing and reviewing the lectures and seminar presentations, including researching

literature, studying material from additional sources and conducting programming exercises

• 25 hrs. preparing approx. two presentations on topics that will be assigned at the beginning of the

semester, including researching literature and studying material from additional sources

• 20 hrs. working on the assignment (Hausarbeit) and preparing for the colloquium (Kolloquium)


Basic knowledge in computer architectures, operating systems and

imperative programming languages.






semester


1 Semester

Module Units

Lectures/Seminar in Selected Readings in Parallel Programming

Mode of Delivery: Lectures and Seminar

Lecturers: Prof. Dr. Gerald Lüttgen, Scientific Staff Praktische Informatik,

insbesondere Softwaretechnik und Programmiersprachen


Contents:

2,00 Weekly Contact

Hours

Module SWT-RPP-M

74

The lectures (Vorlesungen) and seminar talks (Seminare) will be interleaved and

guided by reading and discussing foundational and current literature in the field of

parallel programming. Each student is expected to prepare approx. two specific

topics assigned to them by reading selected chapters in textbooks, research

articles and/or software reference manuals, and to present their essence in the

module meetings to fellow students. Each student is also expected to participate

in the subsequent discussions.

The lectures and seminar talks will motivate concurrent programming in the

context of modern parallel computer architectures, and discuss the underlying

foundations, multi-core CPUs and GPUs, memory models, and operating systems

support. In particular, methods for decomposing program tasks into threads and

for their scheduling and synchronisation will be covered. This will lead to the study

of several state-of-the-art programming libraries, programming interfaces and

language extensions that support concurrent and parallel program development.

Literature:

The literature to be used will be announced at the beginning of the semester.

Some elementary textbooks in the field of Parallel Programming are:

• Andrews, G. R. Foundations of Multithreaded, Parallel, and Distributed

Programming. Addison-Wesley, 2000.

• Rauber, T. and Rünger, G. Multicore: Parallele Programmierung. Springer,

2007. (In German.)

• Hennessy, J. L. and Patterson, D. A. Computer Architecture: A Quantitative

Approach, 4th ed. Morgan Kaufmann, 2006.

Examination



Description:

Assignment (Hausarbeit) consisting of an essay summarizing the seminar

presentations delivered by the student during the lectures/seminar (Vorlesungen/

Seminar).


in the lectures/seminar (Vorlesungen/Seminar), on the basis of the submitted

assignment (Hausarbeit).

Documents

Otto-Friedrich Universität Bamberg Module … SS15 - printed 26.01.2015 Otto-Friedrich Universität Bamberg Module Handbook MSc International Software Systems Science Faculty of Information