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

2019年夏季学期

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

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）模式、测试和程序验证。

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