Mini-course around Event-B and Rodin, lecture 2
1 896
45.1
Microsoft Research330 тыс
Следующее
17.08.16 – 9248:34Популярные
219 дней – 1 5211:07:34
06.12.22 – 24656:03Опубликовано 17 августа 2016, 2:18
Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code. The Event-B method is implemented in the Rodin tool. This lecture is part of a mini-course on Event-B and Rodin. The mini-course will present several examples: (1) Handling Cars on a Bridge (2) A Mechanical Press Controller (3) A simple File Transfer Protocol (4) A Mobile Phone Routing Protocol Together with each example, principles around Event-B and Rodin are gradually enriched. This lecture will do the ΓÇ£cars of a bridgeΓÇ¥ example.
Свежие видео
6 дней – 3 0170:30
9 дней – 5 8310:31
9 дней – 1 512 12218:28
10 дней – 2 40229:44
Случайные видео
113 дней – 4 871 3400:57
318 дней – 3571:01
05.12.22 – 14 099 7700:59
23.10.22 – 10 1505:19
23.08.19 – 50 25412:38
16 часов – 9680:16
2 дня – 2 0840:16
4 дня – 5 6222:15
7 дней – 546 8803:00
11 дней – 3 2012:12
11 дней – 55 35512:02
3 дня – 5180:45