您在这里： 主页 › 教学 › 2013年夏季学期

2013年夏季学期

在本页上，您可以找到软件工程主席在2013年夏季学期提供的所有课程，以及相应的幻灯片和附带练习。

自动机理论研讨会

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

自动机理论研讨会- 阅读更多…

决策程序（讲座）

决策过程是程序验证的基础：程序验证的任务是提供程序符合其规范的正式证明。这相当于确定逻辑公式的真值。决策过程是一种算法，它可以针对特定类型的公式来判断公式是真是假。我们将研究不同逻辑的决策程序。从命题逻辑开始，我们将研究具有整数、实数、递归结构（列表和树）、数组等的逻辑的决策过程。

决策程序（讲座）- 阅读更多…

Softwarepraktikum（Nur 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。

软件实践（Nur für信息学学士和ESE科学学士）- 阅读更多…

需求工程高级专题研讨会

研讨会将涵盖需求工程的不同方面以及相应的最新技术。

需求工程高级专题研讨会- 阅读更多…

软件工程高级专题研讨会

研讨会将涵盖软件设计和工程的不同方面。

软件工程高级专题研讨会- 阅读更多…

网络物理系统-混合模型

在本讲座中，我们将研究用于建模和分析网络物理系统的不同方法和算法。我们将使用混合自动机的形式主义来解释网络物理系统行为的离散和连续方面。

网络物理系统-混合模型- 阅读更多…

混合动力系统研讨会

网络物理系统（CPS）的发展被认为是下一次计算革命。网络物理系统是与物理世界交互的网络计算系统。此类系统的示例包括自动汽车、机器人、智能节能建筑、嵌入式医疗设备等。此类系统需要离散行为和连续行为之间的紧密联系。由于CPS的复杂性、安全性要求和实时性，CPS的设计面临许多挑战。因此，为了在CPS领域取得进展，需要不同学科人员之间以及学术界和行业之间的合作。在这个研讨会中，我们将讨论CPS建模最强大的形式之一——混合自动机的不同方面。

混合动力系统研讨会- 阅读更多…

实时系统（讲座）

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

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

软件工程课程

研讨会将涵盖软件设计和工程的不同方面。

软件工程课程- 阅读更多…