你在这里： 主页 › 教学 › 2016年夏季学期

2016年夏季学期

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

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

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

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

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

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

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

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。

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

网络物理系统-混合模型（讲座）

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

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

软件技术/软件工程（讲座）

软件工程是“工程在软件中的应用”（IEEE 610.12）。本课程的目标是对软件工程的挑战以及克服这些挑战的技术和工具进行全面概述。为此，我们将讨论软件开发的主要活动（特别是项目管理、需求工程、设计、测试、形式验证），重点是形式化方法。我们将研究过程模型、（软件度量）、需求规范和分析方法、（正式）建模和分析技术、设计和架构（architecture）模式、测试和程序验证。

软件技术/软件工程（讲座）- 阅读更多…