你在这里： 主页 › 教学 › 2021/22年冬季学期

2021/22年冬季学期

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

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

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

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

Softwarepraktikum软件

在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软件- 阅读更多…

程序分析（Prosminar）

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

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