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

2024年夏季学期

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

Automatentheorie（普罗塞米纳）

本研讨会首次介绍了计算机科学学科的科学工作。本次研讨会的重点是以演讲者和参与者的身份进行演讲。与会学生将详细介绍自动机理论的基本概念。

Automatentheorie（普罗塞米纳）- 阅读更多…

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

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

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

程序验证（讲座）

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

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