快速链接：新闻-福尔马利亚-计划-链接和文献
新闻
- 2012-03-14：笔试初步结果：
| 1 |
1.3
|
1.7
|
2
|
2.3
|
2.7
|
3
|
3.3
|
3.7
|
4
|
| [88,78] |
(78,73]
|
(73,68]
|
(68,63]
|
(63,58]
|
(58,53]
|
（53，48]
|
(48,43]
|
(43,38]
|
(38,33]
|
| 1 |
0
|
三
|
0
|
1
|
1
|
1
|
2
|
2
|
1
|
考试回顾（“Klausureinsicht”）将于3月22日星期四14:00至16:00
- 2012-02-15：太糟糕了，我忘了广告块:
- 2012年夏季学期：实时系统讲座
- 如果你想在与讲座相关的领域（正式方法、定义正式语义、用语法和语义设计自己的DSL等）进行主团队项目或硕士论文，请随时联系我。
- 2012-02-15：第20讲的带注释幻灯片已经更新，以包含今天的新注释
- 2012-02-13：练习表07中的输入错误：图1给出了C_0而非C_3的状态机。
- 2012年2月9日：更新了练习表07（添加了奖金任务替代说明）！如果名称是不练习-20120209-2.pdf，那么你有旧的。
- 2012-02-01：Achtung:Lect的PDF中有今天的LSC幻灯片。17
- 2012-01-18：有关Rhapsody的技术问题，如果您遇到困难，请联系Evis
- 2012-01-18：讲座中的Rhapsody项目不起作用，因为我们使用了一个空心菱形，我们打算使用填充菱形（构图）-可供下载的项目应该已经修复了这个问题，并支持两个通信对象。
- 2012-01-16：更新练习表05（提交日期错误）！如果名称是不exercise-20120116-1.pdf，那么你有旧的。
- 2011-12-07：练习表03已更新！如果名称是不exercise-20111207-1.pdf，您有一个旧的（任务4是关于状态机的）。
- 2011-12-07：嗯，似乎我们在休息前丢失了最好的录音，休息后也没有录音，这是很遗憾的，因为讨论很热烈
- 2011-12-06：考试日期固定-见下文
- 2011-11-21：讲座继续，讲师不再生病
- 2011-11-14：Rhapsody访问应该可用-请试用
- 2011-11-09：要访问Rhapsody工具（练习表2），请在2011年11月11日星期五13:27之前邮寄您的游泳池帐户名称[刚刚意识到：11:11将是一个有趣得多的截止时间；-）]
- 2011-10-27：首次联机录制
- 2011-10-24：担任学生职务
福尔马利亚
参加期末考试的前提条件、期末考试的形式以及一切将在第一堂课上宣布。
入学标准
总额的50%录取（或：善意）分数在练习中考试录取.（例如，练习表1的完美解决方案，3、5和7，没有2、4和6的解决方案可以满足这一要求要求；每次练习中50%的分数也是如此）。 练习提交方案
练习表提前在线，以便您在听课时了解任务。按照即将宣布的模式，将有一个提前/定期提交计划。
注：练习将按两个等级进行评分：入口处（鉴于您在教程之前的知识，您的建议有多明智；“善意评级”、“上限”）以及考试分数（鉴于对您的提案和教程，你的建议在一个笔试；“邪恶评级”、“下限”）。
考试
对于主程序，将会有
- 一笔试长度为90分钟-除非候选人人数低于某个阈值
- 日期/时间：2012年9月9日星期五10:00
- 房间：SR 101-01-009/13
对于学士课程，将会有
- 口试长度为30分钟。
- 日期/时间：2012年2月24日，星期五-请向考场查询时间
注：模块结果（成绩，“注”）完全由考试决定。
资源
幻灯片、练习和录音
注：以下计划是实验性的在这个意义上主题到日期的更改取决于演讲。表格（讲座或教程）的日期分配为固定的。幻灯片通常只在讲座结束后提供。
注：TechSmith屏幕捕获编解码器似乎需要播放选举门户网站上提供的录音。
- Di，25.10.：VL 01“介绍"
动机、概述、形式。
(幻灯片（带注释），2个以上,6个以上,记录)
- 米，26.10.：VL 02“语义模型"+练习表1联机
为什么使用UML？数学基础：特征，结构，系统状态。
(幻灯片（带注释），2个以上,6个以上,记录)
- 米，1.11.：VL 03“OCL公司"
OCL（有趣的片段）的语法和系统状态的形式语义。
(幻灯片（无注释），2个以上,6个以上,记录)
- Di，8.11.：教程1
- 米，9.11.：VL 04“对象关系图"+练习表2联机
OCL的一致性概念；关联系统状态和对象图。
(幻灯片（带注释），2个以上,6个以上,记录)
- Di，22.11.：VL 05“类图I"
将类图映射到（扩展）签名。
(幻灯片（带注释），2个以上,6个以上,记录)
- 米，23.11.：VL 06“类型系统和可见性"
一种简单的OCL类型系统；解释可见性影响的扩展。
(幻灯片（带注释），2个以上,6个以上，录制）
- Di，29.11：教程2
- 米，30.11.：VL 07“类图II"+练习表3联机
关联（语法、系统状态）。
(幻灯片（带注释），2个以上,6个以上,记录)
- Di，6.12.：VL 08“类图III"
协会继续（协会和OCL）。
(幻灯片（带注释），2个以上,6个以上,记录)
- 米，7.12.：VL 09“类图IV"
关联已完成。
类图什么时候是好的类图？
(幻灯片（带注释），2个以上,6个以上,记录)
- Di，13.12：教程3
- 米，14.12.：VL 10“核心状态机I"+练习表4联机
基本UML状态机（语法、以太、信号事件）
(幻灯片（带注释），2个以上,6个以上,记录)
- Di，20.12.：VL 11“核心状态机II"
基本UML状态机（续）（系统配置、变压器、创建的重用语义）
(幻灯片（带注释），2个以上,6个以上,记录)
- 米，21.12.：VL 12“核心状态机III"
基本UML状态机（续）(运行到完成：丢弃、分派、开始）.对行为的反思性描述和建设性描述之间的差异。
(幻灯片（带注释），2个以上,6个以上,记录)
- 狄，10。1.：教程4
- 米，11岁。1.：VL 13“层次状态机I"+练习表5联机
基本UML状态机已完成(环境交互，错误)初始状态、模型语义；通用（分层）UML状态机；中期（naja）评估
(幻灯片（带注释），2个以上,6个以上,记录)
- 狄，17。1.：VL 14“层次状态机II"
层次状态机（续）：复合状态和剩余的伪状态
(幻灯片（带注释），2个以上,6个以上,记录)
- 米，18岁。1.：行程15“延迟事件、被动对象、方法"
历史和其他遗留伪事件;狂想曲演示
(幻灯片（带注释），2个以上,6个以上,狂想曲-项目,记录)
- 狄，24。1.：教程5
- 米，25岁。1.：VL 16“方法，实时序列图I"+练习表6联机
动态反射描述、交互、序列图、LSC语法
(幻灯片（带注释），2个以上,6个以上,记录)
- 狄，31。1.：VL 17“实时序列图II"
基于符号Büchi自动机的语义
(幻灯片（带注释），2个以上,6个以上,记录)
- 米，1。2.：行程18“实时序列图III，继承I"
LSC语义已完成；继承的语法
(幻灯片（带注释），2个以上,6个以上,记录)
- 第7章。2.：教程6
- 米，8岁。2.：行程19“继承II，元建模"+练习表7联机
D类继承的esired语义：Liskov替换原则、域包含观和上行链路语义；如何阅读UML标准文档
(幻灯片（带注释），2个以上,6个以上,记录)
- 第14页。2.：VL 20“继承III"
充分阐述域包含和上行链路语义、思想和原则
(幻灯片（带注释），2个以上,6个以上，录制）
- 米，15岁。2.：教程7+“总结+问题"
(幻灯片（带注释），2个以上,6个以上,记录)
链接和文献
- 标准
- OCL公司
- 状态机
- 序列图
- 方法
- 教科书
- 其他
