快速链接：新闻-福尔马利亚-计划-链接和文献
新闻
- 2016-03-30：Klausureinsicht Nachklausur:Freitag，1.4.2016，10:00，或2016年4月4日星期一，按安排（10:00最早）；52号楼00-020室。
- 2015-09-24：这显然不是极端需求（但随着时间的推移，这是一个很好的、均匀的分配），因此我们特此声明“克劳修里希特“（以及整个事件）结束。
记住广告版面：如果讲座提出您需要深入研究与软件工程、形式化方法、可视化形式主义、验证等广泛相关的主题，那么当您寻找BSc/Msc项目或论文主题时，请不要犹豫与我们联系（邮件、顺路……）！
- 2015-09-23：现在可以通过HIS-in-One获得初步结果。 "克劳修里希特“：9月24日，星期四，14:00-18:00，52-00-020房间（如果另一个房间太小，则为52-02-017）。注意：我们一次最多允许5人首次入住房间。
首先看一下初步结果：3x 1.0、16x（！）1.3、10x 1.7、11x 2.0、19x 2.3、7x 2.7、6x 3.0、3x 3.3、1x 3.7、2x 5.0。
- 2015-09-22：关于考试修正的一些更新：如果一切顺利，那么明天早上就可以拿到初步成绩。 然后"克劳修里希特“将于9月24日星期四14:00-18:00（房间待定）进行，如果出现极端需求，也可能是周五下午。
- 2015-09-11:由于参与者人数众多，并且有各种可用性问题，需要帮助进行纠正（导师也有考试……），我们希望结果和“克劳修里希特“不会早于9月23日星期三，但最迟9月25日星期五。日期/时间将在此处公布。
- 2015-09-07:勘误表更新两次（最近的文件是errata-20150907-2.pdf）-感谢您的错误报告。
- 2015-08-21:勘误表已更新。
- 2015-08-21：仅供参考，实际考试的工作量（工作量、任务数……）将比示例考试少25%左右。
- 2015-08-18:安勘误表 为课程添加了幻灯片。每次发现并纠正错误时，都会对其进行更新。
- 2015-07-31：该示例考试可通过ILIAS获得。如果您对讲座、练习、更正或（示例）考试有疑问，请立即联系您的导师（默认情况下，是您上次提交的更正者，例如通过ILIAS联系）或塞尔焦。欢迎以“这将是我的答案；我对这个和那个部分有疑问；应该这样解决还是那样解决？”的形式提出考试问题。
- 2015-07-31：如果您是交换生例如，在ERASMUS计划中，如果您无法用于官方考试数据，请请尽快联系我们安排替代方案！
- 2015-07-10: 链接和文献更新（UML、模式、形式验证、VCC）。
- 2015年7月10日：更新练习表6。现在有奖励任务
- 2015-06-30：更新了第13讲中的幻灯片“内容和目标”
- 2015-06-25：练习表5已更新：练习1的类图已更正为包含基数。
- 2015-06-22:更新了暂定计划-教程5将于周一开始同样，这样就有更多的时间来完成任务；第8课和第9课重新处理
- 2015-06-17：第10讲的带注释的幻灯片现在又像往常一样进行了后期处理-9和8将很快跟进。
- 2015-06-10:完善的初步计划
- 2015-06-08:目前，所有覆盖图都包含在带注释的幻灯片中，因为删除页面似乎会破坏PDF，我们正在尝试解决这个问题。
- 2015-05-26：第一次中级课程评估的结果和对提出的主题的一些简短讨论如下可在ILIAS论坛上获得
- 2015-05-22：一些经过后期处理的演讲幻灯片PDF显示出字体问题（一些至少显示在Acrobat Reader中，一些甚至没有）-我们试图修复（并重新加载）03和04课的幻灯片，请报告剩余的问题
- 2015-05-21:Presseschau/新闻评论-课程中报告的一些软件问题（自由练习：课程中的哪些技术可以用来避免将来出现特定问题？）
- 2015-05-11:链接和文献通过团队绩效与中断、V-Modell XT、CMMI、SLOCCount进行扩展。
- 2015-05-07：的首次课程评估在ILIAS上在线进行-如果你愿意的话，请告诉我们你对这门课的感受。
- 2015-04-27：好的，初步幻灯片今天14:08就可以上线了，但有人忘了按“保存”。。。
- 2015-04-21：文献更新（教科书和简介）
- 2015-03-24：主页，基本信息在线-计划和文献正在建设中
福尔马利亚
参加期末考试的前提条件、期末考试的形式以及一切将在第一堂课上宣布。
入学标准
总额的50%录取（或：善意）分数在练习中考试录取.（例如，练习表1的完美解决方案，3、5和7，没有2、4和6的解决方案可以满足这一要求要求；每次锻炼中50%的善意得分也是如此）。演习提交方案
练习表提前在线，以便您在听课时了解任务。按照即将宣布的模式，将有一个提前/定期提交计划。请通过提交解决方案ILIAS公司（使用RZ帐户登录，而不是使用TF池帐户登录）。
注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（根据对您的提案和教程，你的建议在一个笔试；“不良评级”、“下限”）。
考试
将进行笔试：
- 日期和时间：2015年9月11日星期五上午9:00。
- 90分钟，从9:00 c.t.开始。
- 房间：101栋026+036
- 考试允许：一张A4纸，所有面，准备好笔记（打印、手写、绘画……）。
注：模块结果（成绩，“注”）完全由考试决定。资源
幻灯片、练习和录音
注：以下计划是实验性的
在这个意义上主题到日期的更改取决于演讲。表格（讲座或教程）的日期分配为固定的。我们会在上课前提供幻灯片。
- 钼，20.4.：VL 01“介绍“-练习表1联机（通过提交ILIAS公司)
软件工程等的定义。；课程内容概述；正式的。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Do，23.4.：教程1
- 钼，27.4.：VL 02“项目管理、成本估算"-练习表2联机（通过提交ILIAS公司)
开发项目；活动、角色、成本和截止日期；项目管理；专家和算法成本估算。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 同上，30.4.：VL 03“程序和过程模型"
从过程到过程和过程模式；远足：建模；基于原型
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 钼，4.5.：VL 04“更多过程建模和软件度量"
渐进式、增量式、迭代式、螺旋式；天平的种类；测度和度量的性质；示例软件度量。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - Do，7.5.：教程2
- 钼，11.5.：VL 05“流程模型示例和度量“-练习表3联机（通过提交ILIAS公司)
V型XT；敏捷流程；过程度量CMM（I）和SPICE
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 同上，14.5.：公共假日（提升日）
- 钼，18.5.：VL 06“需求工程"
需求工程基础：RE问题，软件人员对需求的看法；需求及其（自然语言）文档的质量标准
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 同上，21.5.：VL 07“需求工程的形式化方法"
需求形式化表示法的一个示例：决策表（DT）；完整性、一致性、确定性等的形式化定义。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 莫，25.5.：whitsun断裂
- 同上，28.5.：whitsun断裂
- 莫，1.6.：教程3
- 执行4.6.：公共假日（科珀斯克里斯蒂）
- 钼，8.6.：VL 08“场景和用例。"-练习表4联机（通过提交ILIAS公司)
需求分析的场景和反场景；符号用户故事、用例、用例图、序列图的前半部分（抽象语法、TBA、剪切和firedset）。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 同上，11.6.：VL 09“实时序列图"
“序列图”故事的后半部分（TBA结构）。
(幻灯片（带注释）,2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 钼，15.6.：VL 10“实时序列图II"
LSC语义，预先图表）；需求工程总结。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - Do，18.6.：教程4
- 钼，22.6.：VL 11“建筑与设计：基本原则“-练习表5联机（下载其他材料并通过提交ILIAS公司)
模块化、信息隐藏、数据封装等。; 观点和观点；UML历史
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流,
模块_示例.tgz) - 同上，25.6.：VL 12“结构软件建模"
类图；对象图；OCL展望
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 钼，29.6.：VL 13“行为软件建模"
通信有限自动机；Uppaal演示
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流**请注意，由于技术问题，uppaal演示没有可用的视频录制，只有音频**，
示例模型(演示.xml,演示。q个)和自动售货机型号(vm.xml（虚拟机.xml）,虚拟机。q个)来自演示） - 同上，2.7.：VL 14“架构和设计模式"
状态机展望；狂想曲演示; 架构模式（层、管道、MVC）；设计模式
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 莫，6.7.：教程5
- Do，9.7英寸：VL 15英寸软件质量保证“-练习表6联机（下载其他材料和通过ILIAS提交)
正确性概念；词汇；软件的形式验证：霍尔演算
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 钼，13.7.：VL 16“测试和审查"
软件模型检查、VCC演示；也许 吧：抽象解释（？）；T型测试（概念、覆盖度量等）
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 同上，16.7.：VL 17“受邀会谈"
“无线火灾报警系统：通过正式验证确保符合工业标准”（S.Feo Arenis）；“Salomo项目：中小企业软件开发合同”（D.Dietsch）；“终极软件模型检查器”（J.Hoenicke）。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 莫，20.7：教程6
- 做，23。7.：VL 18“总结+问题"
基于模型的测试; 运行时验证； 代码审查；可靠性和总体概述，以及问题。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 课程幻灯片的勘误表.
链接和文献
- 软件工程教科书
- 介绍
- 项目管理、过程模型、度量
- Brooks，F.P.（1996）。神话人物月-软件工程随笔，周年纪念版。艾迪森·韦斯利。
有人说“如果你只想读一本关于软件开发项目管理的书，就这样吧”（不要是作者或出版商赞助的其他人）。
- 道格拉斯，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版的英文文档可在此获得主页。提供了支持裁剪的工具在这里. - CMMI产品团队（2010）。CMMI开发第1.3版。
CMMI-DEV过程度量的定义。介绍了体系结构-20150710-1.pdfe评估程序在这里.
- 需求工程（Engineering）、实时序列图
- Rupp，Ch.，die SOPHISTen（2014）。需求工程与管理汉瑟。
对需求工程的各个方面进行了广泛而全面的讨论，从正式的符号、超质量标准、自然语言要求的建议，到人类感知和客户之间的冲突等心理方面，这可能会出现在需求工程中。本书的内容基于主要作者作为总经理的经验SOPHIST股份有限公司，一家提供需求工程的公司。不幸的是，只有德语版本。 - Damm，W.，Harel，D.（2001）。LSC：给消息序列图注入活力。FMSD；19（1）：45-80，克鲁沃学术出版社。
生命序列图的原创作品。 - Klose，J.（2003）：实时序列图-一种用于规范通信行为的图形形式主义卡尔·冯·奥斯西茨基奥尔登堡大学博士论文。
讲座中使用的LSC的TBA语义的原始工作。
- 打字直播序列图：lsc.sty公司CTAN上（包括在TeX Live中）。
- 建筑与设计、建模
- 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年代初的事”），但基本信息仍然有效。
- 统一建模语言
- 正式验证
- 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的表面。
- 其他
