快速链接：新闻-福尔马利亚-计划-链接和文献
新闻
- 2020-03-09:考试再复习：2020年3月18日星期三，14:00-16:00，52-0-020。
如果您无法使用此日期/时间，请给我们发送一封邮件，建议使用两到三个日期/时间对供我们选择。请通过HISinOne传播消息-通知这些天似乎不可用。
- 2019-09-26：考试复习：10月2日和16日-见ILIAS论坛帖子。
- 2019-04-18：ILIAS模块在线，加入此处：ILIAS入院.
- 2019-04-04：主页在线
福尔马利亚
参加期末考试的前提条件、期末考试的形式以及一切将在第一堂课上宣布。
入学标准
总数的50%（=120）录取（或：善意）分数在练习中，0-3和4-6（即上半场50%，下半场50%）足以考试录取.演习提交方案
练习表提前在线，以便您在听课时了解任务。按照即将宣布的模式，将有一个提前/定期提交计划。
请通过提交解决方案ILIAS公司（使用RZ帐户登录，而不是使用TF池帐户登录）。
注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（根据对您的提案和教程，你的建议在一个笔试；“不良评级”、“下限”）。
考试
将进行笔试：
- 日期和时间：2019年9月17日星期二10:00。
- 90分钟。
- 房间：101-0-26/-36/-10/-14-请及时在休息室集合
- 考试允许：
最多1张纸，最大尺寸A4，最大质量200g/qm，可使用所有面（书写/打印/涂漆/…）。
注：模块结果（成绩，“注”）完全由考试决定。
考试复习（Klausureinsicht）：2019年10月2日星期三和2019年11月16日星期三-见ILIAS论坛帖子
（我们最多允许3人同时进入房间，因此请选择您的复习时间随机因此，如果每个人都在14:00到达，人们可能会排队——相信随机性的力量，随机选择应该为所有人带来可接受的平均等待时间。；-）如果您无法确定上述日期，请尽早告知我们（包括您的选择/愿望），然后我们将看看是否可以找到一个对我们所有人都方便的替代预约。）
资源
幻灯片、练习和录音
注：以下计划是实验性的，也就是说，主题的日期分配可能会发生轻微的变化。表格（讲座或教程）的日期分配为固定的。我们会在上课前提供幻灯片。
- 周一，22.4：公共假日（复活节星期一）
- 星期四，25.4.：VL 01“介绍“-练习表0联机（通过提交ILIAS公司)
软件工程等的定义。；课程内容概述；正式的。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，DE），ILIAS流（2019年，DE），
2018赛季的英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语）
- 周一，29.4.：VL 02“软件度量和成本估算"-练习表1联机，其他文件我的快速排序.java（通过ILIAS在您的指导小组中提交-指导小组将在2019-05-02，12:00之前提供）
软件度量；第页有用指标的属性；k个天平指数；例如：LOC和McCabe；主观指标，目标-问题-计量方法；成本和截止日期、专家和算法成本估算.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载1/2,2/2（2018，EN），ILIAS-Stream1/2,2/2（2018，英语）
- 周四，2.5：VL 03“软件项目管理"
开发项目；活动、角色、艺术品；从过程到过程和过程模式.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 周一，6.5.：VL 04“程序和过程模型"
进化、增量、迭代；基于原型；瀑布与螺旋；V型XT；敏捷流程；过程度量CMM（I）和SPICE。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 星期四，9.5.：教程1
- 星期一，13.5:VL 05“需求工程“-练习表2联机（通过提交ILIAS公司)
需求工程基础：RE问题、软件人们对需求的看法；要求的质量标准和他们的（自然语言）文档.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 星期四，16.5.：VL 06“需求工程的形式化方法"
需求规范文件、字典、自然语言模式；DT语法和语义。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，DE），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 周一，20.5.：VL 07“决策表"
需求及其使用的形式化表示法的一个示例：决策表格（DT）; 完整性、一致性、，决定论等。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 星期四，23.5：教程2
- 周一，27.5.：VL 08“用例和情节，实时序列图“-练习表3联机（通过提交ILIAS公司)
情节以及用于需求分析的反场景；符号用户故事，使用用例、用例图、序列图的前半部分（摘要语法、剪切和激发集）.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 星期四，30.5：公共假日（提升日）
- 星期一，3.6.：VL 09“实时序列图和RE总结"
“序列图”故事的后半部分（待定）；LSCs和软件；需求工程（Engineering）总结。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，DE），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 星期四，6.6.：教程3
- 星期一，10.6：whitsun断裂
- 星期四，13.6：whitsun断裂
- 周一，17.6.：VL 10“结构软件建模”-练习表4联机（通过ILIAS提交）
软件体系结构；V（V）视图和观点；类图；对象图。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 星期四，20.6：公共假日（科珀斯克里斯蒂）
- 周一，24.6.：VL 11“结构软件建模II"
对象图（续）；原OCL.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语）
- 星期四，27.6：教程4
- 周一，1.7.：VL 12“行为软件建模"-练习表5联机（下载其他材料并通过ILIAS提交）
通信有限自动机；Uppaal演示(迷你示例.xml); Uppaal查询语言(自动售货机.xml).
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英文录音：ILIAS下载（2018年，EN），ILIAS流（2018，英语） - 周四，4.7.：VL 13“UML状态机、UML、MBSE/MDSE、设计原则"
CFA“工作中”；UML状态机展望；UML的简史；MBSE/MDSE；软件设计原理：模块化、信息隐藏、数据封装等。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018年，英文）
- 周一，8.7.：VL 14“架构和设计模式&软件质量保证"
架构模式（层、管道、MVC）；设计模式；T型测试用例、测试套件、通过/失败、真/假阳性/阴性.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语）
- 星期四，11.7：教程5
- 周一，15.7.：VL 15“测试"-练习表6联机（下载其他材料并通过ILIAS提交）
覆盖措施，基于模型的测试.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 周四，18.7.：VL 16“程序验证"
正确性概念；程序的形式验证：霍尔演算；软件模型检查、VCC演示.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，DE），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语）
- 周一，22.7.：VL 17“总结与问题"
运行时验证; 评审；课堂回顾和提问时间。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载（2019年，德国），ILIAS流（2019年，德国），
2018年英语录音：ILIAS下载（2018，英语），ILIAS流（2018，英语） - 星期四，25.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的表面。
- 其他
