你在这里： 主页 › 教学 › 2015/16年冬季学期

2015/16年冬季学期

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

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

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

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

决策程序（讲座）

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

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

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

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

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

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理学学士）- 阅读更多…

UML中的软件设计、建模和分析（讲座）

软件和系统开发的模型驱动方法旨在解决开发过程中的质量和复杂性问题。建模语言的使用不仅用于文档编制，而且用于自动分析、测试生成和代码生成，尤其是在（安全）关键软件开发的环境中，这种使用势头越来越大。必要的先决条件是建立在语义基础上的建模语言以及用于分析的方法和工具。我们将以统一建模语言（UML）为例，演示如何根据官方标准文档为相关子语言（有时称为可执行核心）配备精确的含义。为了补充这些讨论，我们提供了对当代UML建模工具的访问，并将其用于一些练习。

UML中的软件设计、建模和分析（讲座）- 阅读更多…