你在这里： 主页 › 教学 › 2019/20年冬季学期

2019/20年冬季学期

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

自动机理论（研讨会）

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

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

决策程序（讲座）

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

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

网络物理系统I-离散模型（讲座）

模型检查是一种自动验证硬件或软件系统的技术。给定这样一个系统及其预期行为的规范，模型检查器会找出系统是否满足规范。模型检验自20世纪80年代发明以来取得了巨大进展；如今，验证整个CPU设计是可能的，因此所有主要的微处理器公司都会为此目的使用和开发工具。软件验证比硬件验证更具挑战性，是一个活跃的研究课题（例如，在软件工程主席处进行！）。近年来，在这一领域也取得了令人感兴趣的进展。业界已经开始使用这些技术来检查，例如，安全关键型嵌入式系统和软件库；然而，许多理论和实践研究挑战摆在我们面前。

网络物理系统I-离散模型（讲座）- 阅读更多…

程序分析（Prosminar）

在本次研讨会上，我们将研究一些可被视为主题领域计划分析经典（或基本）的文章。这些文章发表于1938年至2009年间，其中一些作者因其作品获得了公认的图灵奖。我们将从11月初开始每周举行会议（因此不是“整体”计划）。第一节课将介绍可用的主题，以及工作方式（时间表、可交付成果、等级）。

程序分析（Prosminar）- 阅读更多…