您在这里： 主页 › 教学 › 2017/18冬季学期

2017/18冬季学期

在此页面上，您可以找到软件工程主席在2017/2018冬季学期提供的所有课程，以及相应的幻灯片和随附练习。

自动机理论（研讨会、散文会）

在理论计算机科学的讲座中，你已经看到了有限自动机、下推自动机和图灵机器。它们三个都是对有限单词进行操作的。然而，还有其他的自动机模型和自动机，它们不是对有限单词进行操作，而是对无限单词、嵌套单词、树等进行操作。在本次研讨会中，我们将了解一些您在理论计算机科学讲座中没有见过的自动机模型。

自动机理论（研讨会、散文会）- 阅读更多…

程序分析和软件测试（研讨会）

程序分析是研究计算机程序自动分析的研究领域。在这一研究领域开发的方法，例如，帮助程序员理解复杂的程序，允许编译器优化其代码，并使计算机能够检查程序的正确性。在这个研讨会上，每个学生将学习一篇研究论文，并做一次演讲，在演讲中他/她将对论文进行总结。

程序分析和软件测试（研讨会）- 阅读更多…

Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）

在diesem Praktikum soll ein Softwareentwicklungsprozess中，开始于Anforderungserhebungüber Entwurfsphase bis hin zur Implementierung，是Arbeit innerhalb einer Gruppe und der Umgang mit komplexen Systemen erlernt werden的组织。在《格鲁朋与缪森》中，蒂尔内默·沃登·冯·登·贝特鲁恩（Die Teilnehmer werden von den Betreuern）表现最为出色。Hierzu müssen sie sich selbst organieren，die Anforderungen definieren，Arbeit geschickt auf Gruppenmitglieder verteilen und neue Technologien selbstständig erlen。

Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）- 阅读更多…

网络物理系统I-离散模型（讲座）

模型检查是一种自动验证硬件或软件系统的技术。给定这样一个系统及其预期行为的规范，模型检查器会找出系统是否满足规范。模型检验自20世纪80年代发明以来取得了巨大进展；如今，验证整个CPU设计是可能的，因此所有主要的微处理器公司都会为此目的使用和开发工具。软件验证比硬件验证更具挑战性，是一个活跃的研究课题（例如，在软件工程主席处进行！）。近年来，这一领域也取得了令人感兴趣的进展。业界已经开始使用这些技术来检查，例如，安全关键型嵌入式系统和软件库；然而，许多理论和实践研究挑战摆在我们面前。

网络物理系统I-离散模型（讲座）- 阅读更多…

Informatik III（讲座）

Die Vorlesung gibt eine Einführung在Die Theoretische Informatik中。Sie führt in die Themen Endliche Automaten，Formale Sprachen und Grammatiken ein und liefert mehrereäquivalent präzise Fassungen des Berechenbarkeits begrifs。Es schließt sich eine Einführung in die Komplexitätstheorie，speziell die Theorye der NP-Vollständigkeit，an.Behandelt werden abstrakte Modelle von Maschinen und Sprachen und mit ihrer Hilfe werden Komplexitätsma \223]e wie Schritzahl（Laufzeit）und Speicherbedarf von Algorithmen präzise definitiert。

Informatik III（讲座）- 阅读更多…

实时系统（讲座）

实时系统需要在给定的时间范围内对某些输入刺激作出反应。例如，汽车中的安全气囊在碰撞中必须在300毫秒内展开。有许多嵌入式安全关键型应用程序，每个应用程序都需要实时规范技术。我们将研究并应用其中一些基于逻辑和自动机的技术，最突出的是时间自动机。

实时系统（讲座）- 阅读更多…