快速链接：新闻-福尔马利亚-计划-链接和文献
新闻
- 2017-02-15：该勘误表文件已更新（再次），感谢您的通知。
- 2017-02-14：该勘误表文件已（再次）更新，感谢您指出问题。
- 2017-02-02：考试规则已确定，见下文。
- 2017-01-25：练习表7.乙（网店评论）已更新，提交时间为星期四2.2 18:00。
- 2017-01-24:延长截止日期用于WebShop练习(6.乙)是星期四，26.1，12:00.
- 2017-01-20：该勘误表文件已（再次）更新，感谢您指出错误。
- 2017-01-17：该勘误表文件已更新。
- 2017-01-17:计划更新-2月9日没有讲座，而是在2月6日星期一8:00-10:00（见下表）。
- 2016-12-15：不好，练习表上的内容有点混乱：练习3应该指练习2的乙醚（而不是1）。
- 2016-12-15：有一个新勘误表文件，感谢您指出错误。
- 2016-12-08：注意今天讲座幻灯片14的后期更改-信号的atr映射从s_0延续到s（感谢您指出这一点）
- 2016-12-08：请作为团队提交在ILIAS中使提交管理对我们来说更容易一些-今天晚些时候将有ILIAS论坛上的帖子更多关于如何作为团队提交的信息。
- 2016-11-29：2017年17月17日笔试，详情如下。
- 2016-11-24：全部交换生需要在常规日期之前进行考试（见下文），请尽快与我联系，以便我们协商口试的日期/时间。
- 2016-11-24：该定期考试的候选人日期（这将是笔试）是2017年17月17日星期五。
- 2016-11-10：注册以访问主机上的Rhapsody建模工具阿奇托-更多信息请参阅ILIAS论坛。
- 2016年10月20日：练习表1已更新-早期版本中出现了两个错误：定期提交（当然）之前在教程中，即周二8:00，在练习2中，我们希望属性't'的类型为Execise*。
- 2016年10月4日：主页在线
福尔马利亚
参加期末考试的前提条件、期末考试的形式以及一切将是在第一堂课上宣布。
录取标准
总额的50%录取（或：善意）分数在练习中考试录取.（例如，练习表1的完美解决方案，3、5和7，没有2、4和6的解决方案可以满足这一要求要求；每次练习中50%的分数也是如此）。 演习提交方案
练习表提前在线，以便您在听课时了解任务。按照即将宣布的模式，将有一个提前/定期提交计划。
注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（根据对您的提案和教程，你的建议在一个笔试；“不良评级”、“下限”）。
考试
考试的类型（口试或笔试）取决于考生的数量：许多考生/笔试，少数考生/口试。
- 笔试
- 2017年2月17日星期五
- 上午10:00，90分钟（请在上午10:00到达）
- HS 101-0-026标准
- 允许的考试辅助工具：一张A4纸（最多200g/m^3），正面和背面有手写笔记
- 伊拉斯谟学生（仅限伊拉斯谟学生）：如有必要，我们可以安排单独的日期/时间进行（然后是口试）-请尽快与我们联系。
注：模块结果（成绩，“注”）完全由考试决定。资源
幻灯片、练习和录音
注：以下计划是实验性的
在这个意义上主题到日期的更改取决于演讲。表格（讲座或教程）的日期分配为固定的。
- Di，18.10.：VL 01“介绍"+练习表1联机（通过ILIAS提交）
动机、内容、形式。
(幻灯片（带注释；没有注释，但引用恰当),2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，20.10.：VL 02“语义模型"
数学基础：特征、结构、系统状态.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，25.10：教程1
- 同上，27.10.：VL 03“对象约束语言"+练习表2联机（通过ILIAS提交）
OCL（有趣的片段）的语法。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 第1.11.段：-（整个圣日）
- 同上，3.11.：VL 04“OCL语义"
F类规范语义OCL（有趣的片段）的超过系统状态。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，8.11：教程2
- 同上，10.11.：VL 05“对象关系图"+练习表3联机（通过ILIAS提交）
关联系统状态和对象图；一OCL一致性的概念。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，15.11.：VL 06“类图I"
将类图映射到（扩展）签名。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，17.11.：VL 07“类图二"
狂想曲演示；v（v）可见性和OCL；走向协会.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - Di，22.11.：教程3
- 同上，24.11.：VL 08“类图III“+练习表4联机（通过ILIAS提交）-狂想曲-模型
协会(语法，系统状态、OCL).
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，29.11.：VL 09“类图IV"
协会（续）；图表中的注释; UML图样式的元素.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，1.12.：VL 10“建模行为"
UML中的行为模型；b条asic UML状态机（语法，基本因果模型);狂想曲演示II(CandD示例：UML状态机）。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，6.12.：教程4
- 同上，8.12.：VL 11“核心状态机I“+练习表5联机（通过ILIAS提交）
E类疗法，系统配置.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- Di，13.12.：VL 12“核心状态机II"
基本UML状态机（续）(动作语言、变换器、转换关系)
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 同上，15.12.：VL 13“核心状态机III"
基本UML状态机已完成; 天伊芙根斯，我初始状态，模型语义； 更多Rhapsody演示。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流.
Rhapsody动画的CandD示例：C和D-sim.tgz）
- Di，20.12：教程5
- 同上，22.12.：VL 14“层次状态机I"+练习表6.A联机（通过ILIAS提交）
C类创建和销毁行为；通用（分层）UML状态机状态（状态/系统配置).
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 狄，10。1.：VL 15“层次状态机II“+练习表6.B联机+网络商店.tgz（通过ILIAS提交）
通用（分层）UML状态机（转换/步骤）续.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 做，12。1.：VL 16“分层状态机三"
我初始状态和最终状态；基于模型的测试工具和技术; 更多狂想曲演示；其他伪状态。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 狄，17。1.：教程6
- 做，19。1.：VL 17“现场序列图I"+练习表7.A联机（通过ILIAS提交）
被动被动物体；行为特征；代码生成.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 狄，24。1.:VL 18“实时序列图II"
C类对行为的建设性描述与反思性描述；相互作用；LSC抽象语法.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 做，26。1.：VL 19“实时序列图III“+练习表7.B联机（通过ILIAS提交）
切割、火灾；S公司基于符号Büchi自动机的语义；象征性的Büchi Automata。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 狄，31。1.：教程7
- 做，2。2.：VL 20“实时序列图IV"
L（左）模型的痛苦；信号和属性表达式.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流)
- 莫，6岁。2.，8-10，普通房间：VL 21“基于模型的软件工程"
LSC休息，即预图表、禁止场景；基于模型/驱动的软件工程；米基于模型的测试和测试生成。
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 第7章。2.：VL 22“ 继承&元建模-总结与问题"
继承语法；D类电子感应加热继承的语义：李斯科夫替换原则；D类用于继承的域包含和上行链路语义；如何阅读UML标准文件.
(幻灯片（带注释），2个以上,6个以上，录制：ILIAS下载,ILIAS流) - 做，9.2.：无讲座（移至6.2）
链接和文献
- 标准
- OCL公司
- 状态机
- 序列图
- 方法
- 教科书
- 其他
