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

2020年夏季学期

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

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

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

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

程序验证（讲座）

计算机通常用于嵌入式、网络化、安全关键型应用程序。失败的代价很高。在本讲座中，我们将介绍自动工具的基础，以确保系统没有不良行为。在讲座中，我们首先简要介绍命题逻辑和一阶推理。然后，我们继续为程序的验证建立一个设置，程序的正确性由一种程序注释指定。在此设置中，程序的正确性降低到逻辑公式的有效性。新一代强大的推理引擎自动证明了该方法的有效性。

程序验证（讲座）- 阅读更多…

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

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

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