Верификация программного обеспечения в эпоху искусственного интеллекта
Перевод доклада Бертрана Мейера (Eiffel Software, Recognyze AI) с ACM Technology Talk, 7 мая 2026 г. Отредактированная стенограмма и раздаточный материал. Более структурированное изложение — в статье «От вероятного к доказуемому» (Communications of the ACM, июнь 2026) и в готовящейся книге «Понимание искусственного интеллекта: триумф эмпиризма».От переводчика. Это перевод митап-доклада Бертрана Мейера — создателя языка Eiffel и концепции «проектирования по контракту», автора классического «Object-Oriented Software Construction». Доклад показался мне прямым продолжением (
Проектирование Информационных систем. Часть 8. Разработка логической структуры данных. 8.1. UML Class diagram
Содержание курсаВВЕДЕНИЕВведение в процесс формирования требованийИнфраструктура (ландшафт) для организации проектной деятельностиУправление целями заинтересованных лицФормализация потребностей заказчикаВыявление функции системы. 1.Теория системВыявление функции системы. 2. Моделирование сервисов
Проектирование Информационных систем. Часть 3. Инфраструктура (ландшафт) для организации проектной деятельности
Содержание курсаВВЕДЕНИЕВведение в процесс формирования требований Инфраструктура (ландшафт) для организации проектной деятельности Управление целями заинтересованных лиц Формализация потребностей заказчика Выявление функции системы и управления границами проекта Инжиниринг бизнес-процессов заказчика Разработка логической структуры данных целевой Информационной системы(ИС)
