快速链接：新闻-福尔马利亚-计划-链接和文献
新闻
- 2018年9月21日：对于考试复习时间，我们假设：请最迟在17:30到达-我们想在美国标准时间18:00关门。
- 2018-09-12：2018年9月28日星期五14:00-18:00的考试复习（“Klausureinsicht”）（见以下程序）
- 2018-07-26：发现了另一个错误-勘误表文件已相应更新，谢谢您的提示。
- 2018-07-16：发现了另一个错误-勘误表文件已相应更新
- 2018-07-09：现在可以使用完整的练习表6了
- 2018-07-05：练习表6的第一部分（黑盒测试）已经提供给那些想提前开始的人；剩余的任务将在下周一添加（一如既往）
- 2018-07-01：啊哈，发现了第一个错误-请考虑勘误表文件用于修正；感谢您报告这个问题。
- 2018-06-04：所有从其他来源学习的人（比如上一季的德语录音）：考试（当然）将基于下面的幻灯片，特别是LSC理论的“2018版”
- 2018-05-18：考试有日期和时间，房间分配后会公布
- 2018-05-16：哎哟，有人忘了上传最后的录音了，给你，谢谢你的提示。
- 2018-04-20：分配ILIAS组
- 2018-04-04：ILIAS在线(在此处连接ILIAS模块)
- 2018-04-02：主页在线
福尔马利亚
参加期末考试的前提条件、期末考试的形式以及一切将是在第一堂课上宣布。
录取标准
总数的50%（=120）录取（或：善意）分数在练习中，0-3和4-6（即上半场50%，下半场50%）足以考试录取.演习提交方案
练习表提前在线，以便您在听课时了解任务。按照即将宣布的模式，将有一个提前/定期提交计划。请通过提交解决方案ILIAS公司（使用RZ帐户登录，而不是使用TF池帐户登录）。
注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（根据对您的提案和教程，你的建议在一个笔试；“不良评级”、“下限”）。
考试
将进行笔试：
- 90分钟，从下午14:00开始。
- 房间：待定。
- 考试允许：
最多1张纸，最大尺寸A4，最大质量200g/qm，可使用所有面（书写/打印/涂漆/…）。
注：模块结果（成绩，“注”）完全由考试决定。
考试复习（Klausureinsicht）：2018年9月28日，星期五，14:00-18:00，52-0-020室；
我们最多允许3人同时进入房间，所以请选择您的复习时间随机因此，如果每个人都在14:00到达，人们可能会排队——相信随机性的力量，随机选择应该为所有人带来可接受的平均等待时间。；-）
如果星期五对您来说不太可能，请尽早告知我们（包括您的选择/愿望），然后我们将看看是否可以找到一个对我们大家都方便的替代约会。
资源
幻灯片、练习和录音
注：以下计划是实验性的，也就是说，主题的日期分配可能会发生轻微的变化。表格（讲座或教程）的日期分配为固定的。我们会在上课前提供幻灯片。
- 勘误表课程幻灯片（最新更新时间：2018-07-01）
- 周一，16.4.：VL 01“介绍“-练习表0联机（通过ILIAS提交）
软件工程等的定义。；课程内容概述；正式的。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 周四，19.4.：VL 02“软件度量"-练习表1联机，其他文件（通过ILIAS提交）
软件度量；第页有用指标的属性；k个天平指数；例如：LOC和McCabe。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 周一，23.4.：VL 03“更多指标和成本估算"
主观指标，目标-问题-计量方法；成本和截止日期、专家和算法成本估算。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 周四，26.4：教程1
- 周一，30.4.：VL 04“软件项目管理“-练习表2联机（通过提交ILIAS公司)
开发项目；活动、角色、艺术品；从过程到过程和过程模式.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，3.5：VL 05“程序和过程模型"
瀑布和螺旋；基于原型；进化、增量、迭代；V型XT；敏捷流程；过程度量CMM（I）和SPICE。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 周一，7.5.：VL 06“需求工程"
需求工程基础：RE问题、软件人们对需求的看法；要求的质量标准和他们的（自然语言）文档
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，10.5.：公共假日（提升日）
- 周一，14.5.：VL 07“需求工程的形式化方法"
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，17.5：教程2-练习表3联机（通过ILIAS提交）
需求规范文件、字典、自然语言模式；DT语法和语义。
- 周一，21.5：whitsun断裂
- 星期四，24.5：惠特森·布雷克
- 周一，28.5.：VL 08“决策表"
需求及其使用的形式化表示法的一个示例：决策表格（DT）; 完整性、一致性、，决定论等。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，31.5：公共假日（科珀斯克里斯蒂）
- 周一，4.6.：VL 09“用例和情节，实时序列图"
情节以及用于需求分析的反场景；符号用户故事，使用用例、用例图、序列图的前半部分（摘要语法、剪切和firedset）；“序列图”故事的后半部分（TBA结构）。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 星期四，7.6.：教程3
- 周一，11.6.：VL 10“实时序列图和RE总结”-练习表4联机（通过ILIAS提交）
LSCs和软件；需求工程（Engineering）总结。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，14.6.：VL 11“结构软件建模"
软件体系结构；V（V）视图和观点；类图。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 周一，18.6.：VL 12“结构软件建模II"
对象图；原OCL.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，21.6：教程4
- 周一，25.6.：VL 13“模块化和设计模式"-练习表5联机（下载其他材料并通过ILIAS提交）
软件设计原理：模块化、信息隐藏、数据封装等。；架构模式（层、管道、MVC）；设计模式.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，28.6.：VL 14“行为软件建模"
通信有限自动机；Uppaal演示；Uppaal查询语言.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 周一，2.7.：VL 15“UML状态机与软件质量保证"
CFA“工作中”；MBSE/MDSE；实施CFA；UML状态机展望；T型测试用例、测试套件、通过/失败、真/假阳性和阴性.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流,
自动售货机型号(vm.xml（虚拟机.xml）,虚拟机。q个)来自演示） - 星期四，5.7.：教程5
- 周一，9.7.：VL 16“测试"-练习表6联机（下载其他材料并通过ILIAS提交）
覆盖措施，基于模型的测试.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 周四，12.7.：VL 17“软件验证"
正确性概念；软件的形式验证：霍尔演算；软件模型检查、VCC演示.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 周一，16.7.：VL 18“总结与问题"
运行时验证; 评审；课堂回顾和提问时间。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 星期四，19.7：教程6
链接和文献
- 软件工程教科书
- 介绍
- 项目管理、过程模型、度量
- 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的表面。
- 其他
