ЛекториумМедиатека
Поиск
Личный кабинет

Verifying Specifications with Proof Scores in CafeOBJ

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 клуба

Лекции курса

8
  1. Verifying Specifications with Proof Scores in CafeOBJ▶ Вы тут
  2. Обнаружение текста на изображенияхНаталья Васильева
  3. Технологии формирования, обработки и визуализации стереоскопических «3D» изображенийАлексей Колесов
  4. Адаптация алгоритма решения задачи квадратичного программирования применительно к моделированию клепочного процесса деталейСергей Якунин
  5. Моделирование динамики в компьютерных играх, приложениях виртуальной реальности и тренажерахАндрей Морозов
  6. Faculty of informatics university of Lugano, SwitzerlandCesare Pautasso
  7. Service Oriented Computing with Resource Oriented ArchitecturesCesare Pautasso
  8. Local proof transformations for flexible interpolation and proof reductionНаталья Шарыгина

Онлайн-курсы по программированию

3