Mini-course around Event-B and Rodin
7 508
30.9
Microsoft Research330 тыс
Следующее
17.08.16 – 3191:04:56Популярные
123 дня – 1 6875:12
Опубликовано 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.
Свежие видео
3 дня – 8 2180:44
3 дня – 99 81017:03
4 дня – 21 26731:16
6 дней – 1 5290:24
8 дней – 7724:17
9 дней – 1 512 12218:28Случайные видео
101 день – 3652:47
148 дней – 8120:11
208 дней – 2 2540:28
06.10.22 – 6 0012:23
03.05.22 – 54 6286:32
04.07.12 – 57 0468:10
2 дня – 6730:21
3 дня – 8040:50
6 дней – 80 95814:12
6 дней – 1 9090:27
10 дней – 5900:27
10 дней – 73 98823:59
15 дней – 5191:07
1 день – 8970:25