你在这里： 主页 › 教学 › 2013/2014年冬季学期

2013/2014年冬季学期

软件工程主席在2013/2014年冬季学期提供的课程。

Softwarepraktikum（Nicht 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（Nicht für理学学士、信息学学士和ESE理学学士）- 阅读更多…

网络物理系统的设计与分析（研讨会）

网络物理系统（CPS）的发展被认为是下一次计算革命。网络物理系统是与物理世界交互的网络计算系统。此类系统的示例包括自动汽车、机器人、智能节能建筑、嵌入式医疗设备等。此类系统需要离散行为和连续行为之间的紧密联系。由于CPS的复杂性、安全性要求和实时性，CPS的设计面临许多挑战。因此，为了在CPS领域取得进展，需要不同学科人员之间以及学术界和行业之间的合作。

网络物理系统的设计与分析（研讨会）- 阅读更多…

计算机支持的建模和推理

本讲座是关于使用逻辑进行系统（例如程序或芯片）开发和分析。为了使用计算机支持验证属性，可以使用逻辑形式化系统行为和所需的系统属性。本讲座面向对人工智能、逻辑、硬件和软件验证感兴趣的人。讲座大致分为四个部分。在第一部分中，我们将介绍各种逻辑系统，包括命题逻辑、一阶逻辑和（朴素）集合论。我们将看到如何使用纸和笔以及交互式定理证明程序Isabelle进行这些系统中的证明。在第二部分中，我们将尝试了解幕后发生的事情：我们将研究元逻辑，它是一种通用理论，允许我们使用单一工具实现各种逻辑系统。在第3部分中，我们将了解如何在此框架中建模数学和编程语言的重要部分，包括算术、数据类型和递归等概念。第4部分将是一个来自函数式或命令式编程或规范语言领域的案例研究。

计算机支持的建模和推理- 阅读更多…

信息技术III

Die Vorlesung gibt eine Einführung在Die Theoretische Informatik中。Sie führt in die Themen Endliche Automaten，Formale Sprachen und Grammatiken ein und liefert mehrereäquivalent präzise Fassungen des Berechenbarkeits begrifs。Es schließt sich eine Einführung in die Komplexitätstheorie，speziell die Theorye der NP-Vollständigkeit，an.Behandelt werden abstrakte Modelle von Maschinen und Sprachen und mit ihrer Hilfe werden Komplexitätsma \223]e wie Schritzahl（Laufzeit）und Speicherbedarf von Algorithmen präzise definitiert。

信息技术III- 阅读更多…

光伏

光伏- 阅读更多…

静态代码分析（研讨会）

在经典意义上，静态分析技术用于提取有关程序可能行为的信息，而无需实际运行程序。然后，这个静态提取的信息用于揭示错误或优化代码。

静态代码分析（研讨会）- 阅读更多…

UML中的软件设计、建模和分析（讲座）

软件和系统开发的模型驱动方法旨在解决开发过程中的质量和复杂性问题。建模语言的使用不仅用于文档编制，而且用于自动分析、测试生成和代码生成，尤其是在（安全）关键软件开发的环境中，这种使用势头越来越大。必要的先决条件是建立在语义基础上的建模语言以及用于分析的方法和工具。我们将以统一建模语言（UML）为例，演示如何根据官方标准文档为相关子语言（有时称为可执行核心）配备精确的含义。为了补充这些讨论，我们提供了对当代UML建模工具的访问，并将其用于一些练习。

UML中的软件设计、建模和分析（讲座）- 阅读更多…

软件测试（研讨会）

本研讨会涵盖了自动化黑盒和白盒测试领域的重要成就。

软件测试（研讨会）- 阅读更多…