Verifying Specifications with Proof Scores in CafeOBJ | Kokichi Futatsugi | Лекториум
527
25.1
Лекториум193 тыс
Следующее
24.07.13 – 561:27:24Популярные
Опубликовано 24 июля 2013, 20:21
Verifying Specifications with Proof Scores in CafeOBJ | Курс: Computer Science семинар (Весна 2012) | Лектор: Kokichi Futatsugi | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13698
Verifying specifications is still one of the most important undeveloped topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed/verified only for justifying models of problems in real world. In this talk, a survey of our research activities in verifying specifications is given. After explaining fundamental issues and importance of verifying specifications, the proof score approach in CafeOBJ and its applications to several areas are described.
Страница лекции на сайте Computer Science клуба: compsciclub.ru/node/1819
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13698
Verifying specifications is still one of the most important undeveloped topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed/verified only for justifying models of problems in real world. In this talk, a survey of our research activities in verifying specifications is given. After explaining fundamental issues and importance of verifying specifications, the proof score approach in CafeOBJ and its applications to several areas are described.
Страница лекции на сайте Computer Science клуба: compsciclub.ru/node/1819
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
5 дней – 18 6091:41
8 дней – 13 8281:07
9 дней – 1 0560:16
14 дней – 88 24250:51
14 дней – 46 0101:47:29Случайные видео
284 дня – 4 18159:12
09.01.23 – 9 5380:45
04.06.22 – 17 3752:27
26.02.22 – 8 9427:28
19.01.20 – 8 7172:57
21.06.15 – 12 8432:18
3 дня – 8 60620:32
4 дня – 19 5931:21
4 дня – 17 4460:42
6 дней – 5 5555:09
7 дней – 3 9651:07:05
8 дней – 79140:34
8 дней – 13 09754:15
3 дня – 9 61139:31