快速链接：新闻-在线输入-福尔马利亚-计划-链接和文献
新闻
- 2021-10-11: 考试复习于10月15日（星期五）进行（参见在下面)
- 2021-09-17:已更新勘误表/DE和勘误表/EN（另请参见在这里)-简短通知：此修复不会影响考试任务。.
- 2021-08-03：已更新勘误表/DE和勘误表/EN（另请参见在这里).
- 2021-06-23：考试日期已引起我们的注意-请参阅福尔马利亚如下所示。
- 2021-06-22：改变计划：简单地遵循2019年和2018年的数字可能是最容易混淆的方法，但这需要付出代价，即DE和EN轨道在内容上按部分顺序选择不同的路线。DE曲目将在即将到来的讲座中进行（A，B，C），然后进行（D，E，F），而EN曲目将进行（A、D，B），然后再进行（C，E，F）。所有这些对练习都没有害处，最终，我们都会再次同步（参见即将到来的讲座板块的论坛帖子）。
- 2021-04-22：教程组将很快发布。
- 2021-04-22年：如果您错过了练习表0的提交截止日期，但仍想被分配到辅导组，请考虑在明天中午之前提交ILIAS中的“模拟练习”，以表达被分配的愿望。
- 2021-04-19：在线讲座1和练习表0(参见下面的平面图).
- 2021-04-13：噢，问题很快就解决了，所以：ILIAS公司在这里。加入模块的常规方法是通过耦合HISinOne过程（或者有了这个直接访问链接如果一切都失败了）。
- 2021-04-13年：主页在线，ILIAS还没有（似乎HIS/ILIAS耦合存在技术问题）。
在线输入
本季软件技术/软件工程课程的“在线学习”是围绕我们所称的“仿佛”原则构建的：“仿佛”我们按照通常的讲课、练习和教程节奏进行课堂教学，但不幸的是，这些课程不是在课堂上进行的。
含义：
- 我们有一个讲课日及其计划主题的时间表，由于我们无法进行课堂讲课，我们将使用课堂录音从更早的季节开始。
因此，如果您在讲座日期和时间访问此主页（或ILIAS模块）（根据日程安排下面），您将发现一个新的录音和带有注释的幻灯片的PDF。（实际上，我们将为一个练习表上传两到四节课和PDF文件（参见相关性图示与小组的第一堂课同时进行。然后，您可以自行选择最适合您的学习时间表，可以是“每堂课一节课”，也可以是“我们在课堂上上课，但您无法到达教室”，或者更多或更少。）
问题请到ILIAS论坛。
- 讲座配有照常锻炼，每两到四节课有一个练习表。在大多数情况下，第一个练习可以通过第一堂课的输入完成（参见下面的依赖关系说明）。所以：你会发现你的时间表（和上课时一样）。
- 这些练习伴随着辅导课程。大约每隔一周（只有公共假日和休息时间才会打扰），我们会实时在线教程会话在每个指导小组的视频会议中（可通过ILIAS访问）。
教程讨论了软件工程在人与人交互方面的重要作用（例如，客户与开发人员交互，程序员与设计人员交互，需求工程师团队等；参见[Ludewig，Lichter，2008]）这就是我们在指导课程中的实践和经验：使用专业术语与（其他）软件工程专业人员就软件工程问题和解决方案进行有效沟通。
将会有一个固定、统一的演习提交截止日期对于所有的辅导小组，辅导课程的确切日期/时间可能会经过一些协商（在线辅导至少有一个积极的方面：我们不受物理房间可用性的限制）。
- 每隔一周关于练习解决方案的书面反馈 像往常一样也就是说，友好的导师将针对个别错误、错误或误解提供反馈，这些错误、错误和误解没有在指导课程中讨论。换言之：如果没有辅导课的投入，反馈可能并不总是全面的（这与2020年紧急在线季的情况不同，当时的努力从现场/在线转向了全面的书面反馈，代价是牺牲了很多“终身”方面的内容）。
- 注：在提交练习表0（最迟4月19日星期一可用）后，将成立指导小组，之后我们将有修复了教程组。在整个教学期间，直到考试日，你的导师都可以回答问题和担忧。
- 总的来说，本课程涵盖了四个基本独立的主题领域（如第1讲（录音）中的详细解释）。因此，如果你可能需要跳过一些讲座或练习（无论是由于流行病还是其他原因），很有可能在下一个主题区域开始时重新加入课程，稍后再补习错过的内容。
下图（点击放大）显示了练习表和讲座之间的依赖关系，可能对您的日程安排很有用。原则上，人们希望看到每个主题领域都以相应的辅导课程结束，但公共假日形式的障碍并不总是允许这样的明确划分：
你关于在线学习这门课程的问题没有得到回答吗？请通过邮件或ILIAS论坛与我们联系。
福尔马利亚
入学考试的先决条件、期末考试的形式以及一切都将在这里和ILIAS论坛上公布。
录取标准
总数的50%（120）录取（或：善意）分数就足够了。
演习提交方案
练习表提前在线，以便您在听课时了解任务。按照即将宣布的模式，将有一个提前/定期提交计划。
请通过提交解决方案ILIAS公司（使用RZ帐户登录，而不是使用TF池帐户登录）。
注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（考虑到对你的提案和教程的评论所提供的额外知识，你的提案在笔试中至少值得多少分；“不良评级”，“下限”）。
考试
将进行笔试：
- 90分钟。
- 101号楼
- 考试允许：
最多1张纸，最大尺寸A4，最大质量200g/qm，可使用所有面（书写/打印/涂漆/…）。
- 囊性纤维变性。克劳斯普兰-这是所有参与者（理学学士、理学硕士……，所有人）的一次考试。
注：模块结果（等级/分数，“备注”）完全由考试决定。
考试复习（Klausureinsicht）：
考试复习时间为10月15日星期五在51号楼03-026室.
时间段：
- 姓氏以开头A类到G公司:14:00到14:30
- 姓氏以开头H（H）到N个:14:30到15:00
- 姓氏以开头O（运行）到Z轴:15:00到15:30
你需要提供一份“3G”证书，证明你已经接种疫苗、痊愈或检测呈阴性。
幻灯片、练习和录音
注：以下计划是实验性的，也就是说，事件和主题的日期分配可能会发生（如果可能的话：轻微的）变化。
- 勘误表/DE（展位2021-08-03），勘误表/EN（展位2021-08-03）。
- 周二，20.4.：VL 01“介绍“-练习表0联机（通过提交ILIAS公司)
软件工程等的定义。；课程内容概述；福尔马利亚
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期四，22.4：VL 02 "软件度量"-练习表1联机,附加文件（通过ILIAS提交）
软件度量；第页有用指标的属性；k个天平指数；示例：LOC和McCabe
(幻灯片（附有2019年的注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期二，27.4。：在线直播教程1
- 周四，29.4.：VL 03a“更多指标和成本估算"-练习表2联机
主观指标，目标-问题-计量方法；成本和截止日期、专家和算法成本估算
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期二，4.5：VL 03b“软件项目管理"
开发项目；活动、角色、艺术品；从过程到过程和过程模式
（请参阅论坛消息ILIAS下载+流).
- 星期四，6.5.： VL 04“程序和过程模型"
瀑布和螺旋；基于原型；进化、增量、迭代；V型XT；敏捷流程；过程度量CMM（I）和SPICE
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 周二11.5：在线直播教程2
- 星期四，13.5：公共假日（提升日）
- 周二，18.5.：VL 05“需求工程"-练习表3联机
需求工程基础：RE问题，软件人员对需求的看法；需求及其（自然语言）文档的质量标准
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期四，20.5：VL 06“需求工程的形式化方法"
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期二，25.5：whitsun断裂
- 星期四，27.5：whitsun断裂
- 周二，1.6.：VL 07“决策表"
requireme形式化表示法的一个示例nts及其用途：决策表（DT）; 完整性、一致性、确定性等的形式化定义。
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期四，3.6.：公共假日（科珀斯克里斯蒂）
- 周二，8.6.：在线直播教程3
- 周四，10.6.：VL 08“用例和情节，实时序列图"-练习表4联机
需求分析的场景和反场景；符号用户故事、用例、用例图、序列图的前半部分（抽象语法、切分和firedset）；“序列图”故事的后半部分（待定）
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期二，15.6.：VL 09“实时序列图（续）和重新总结“-在线练习表4（通过ILIAS提交）
LSCs和软件；需求工程总结
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期四，17.6.：VL 10“结构软件建模I"
软件体系结构；观点和观点；类别图
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期二，22.6。：在线直播教程4
- 星期四，24.6： VL 11“结构软件建模II"-练习表5联机（下载其他材料并通过ILIAS提交）
部分与完整对象图，原型OCL
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 周二，29.6.：VL 12“行为软件建模"
通信有限自动机；Uppaal演示；Uppaal查询语言
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期四，1.7.： VL 13“UML状态机、MBSE/MDSE、设计原则”
CFA“工作中”；MBSE/MDSE；实施CFA；UML状态机展望； 软件设计原则：模块化、信息隐藏、数据封装等。
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 周二，6.7.：在线直播教程5
- 周四，8.7.：VL 14“架构和设计模式、软件质量保证“-练习表6联机（下载其他材料并通过ILIAS提交）
架构模式（层、管道、MVC）；设计模式；T型测试用例、测试套件、通过/失败、真/假阳性和阴性
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 周二，13.7.：VL 15“测试"
覆盖措施，基于模型的测试
(幻灯片（附有2019年的注释），2个以上,6个以上，录制：ILIAS下载+流).
- 星期四，15.7.：VL 16“软件验证"
正确性概念；软件的形式验证：霍尔演算；软件模型检查、VCC演示
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
- 周二，20.7。：在线直播教程6
- 周四，22.7.：VL 17“总结与问题"
运行时验证; 评审；课堂回顾和提问时间
(幻灯片（附2019年注释），2个以上,6个以上，录制：ILIAS下载+流).
链接和文献
- 软件工程教科书
- 介绍
- 项目管理、过程模型、度量
- Brooks，F.P.（1996）。神话人物月-软件工程随笔，周年纪念版。艾迪森·韦斯利。
有人说“如果你只想读一本关于软件开发项目管理的书，就这样吧”（不要是作者或出版商赞助的其他人）。1974年第1版电子图书免费提供在这里.
- 道格拉斯，B.P.（1999）。艰难时刻艾迪森·韦斯利。
使用正式建模和分析的螺旋形开发过程，特别是针对（安全）关键、反应性、定时系统。
- Wheeler，D.A.（2006）。Linux内核：它值得更多！
COCOMO对Linux内核2.6工作量的评估。文章包含一个指向所用工具SLOCCount的链接。
- Karn，J.S.和Cowling，A.J.（2005）。中断对软件工程团队绩效的影响研究《第四届经验软件工程国际研讨会论文集》（ISESE 2005）。
- Behfar，K.J.、Peterson，R.S.、Mannix，E.A.、Trochim，W.M.（2008）。团队冲突解决的关键作用：仔细研究冲突类型、冲突管理策略和团队结果之间的联系应用心理学杂志。；93(1):170-88. doi:10.1037/0021-9010.93.1.170。
- V-Modell XT作者（2006）。V型XT第1.4版。
V-Modell XT参考文件（德语）；V-Modell XT 1.3版的英文文档位于同一主页上。有支持裁剪的工具在这里.
(2.0版（德语）；可能不是讲座的主题，因为到目前为止似乎还没有英文翻译。）
- CMMI产品团队（2010）。CMMI开发第1.3版。
CMMI-DEV过程度量的定义。提供德语翻译在这里.评估程序介绍可用在这里.
- 需求工程（Engineering）、实时序列图
- 建筑与设计、建模
- Jacobson，I.（1992年）。面向对象的软件工程：用例方法。艾迪森·韦斯利。
由用例和用例图的发明者和早期倡导者创建，这些后来被包含在UML中。20年的历史，奇怪的符号，但基本信息仍然有效。
- Kastens，U.，Kleine Büning，H.（2014）。Modellierung-Grundlagen und formale方法Zweite Auflage、Carl Hanser Verlag。
建模的一般讨论，不关注UML，但也考虑普通的集合理论、图、Petri网及其在建模任务中的使用。
- Buschman，F.、Beunier，R.、Rohnert，H.、Sommerlad，P.、Stal，M.（1996）。面向模式的软件体系结构，第1卷，模式系统。威利。
实际上，与第14讲的内容相比，更接近于（更著名的）设计模式标准教科书（Gamma等人）。具体的例子可能会引发怀旧情绪（“这听起来像上世纪90年代初的事”），但基本信息仍然有效。通过UB以电子书形式提供.
- 统一建模语言
- 正式验证
- Apt，K.R.，Olderog，E.-R.（1994）。程序验证。斯普林格·弗拉格。
第15讲的正式验证部分是在这本（高度推荐）书中的详细介绍之后进行的。也可在中获得英语.
- (2015)VCC手册。
将成为VCC手册的草稿文件。对于练习，不必过多地复述本文档，讲座的内容应该足够了。
- Cohen，E.，Hillebrand，A.，Tobies，S.，Moskal，M.，Schulte，W.（2015）。验证C程序：VCC教程。技术报告。
VCC教程，随VCC分发来源再次强调：对于练习，你不需要比讲座中讨论的更多的东西。我们只触及VCC的表面。
- 其他
