Новость: CNews.ru: Компьютер подтвердил: пятый цвет не нужен
(Категория: Разработка)
Добавил Roman I Khimov
Пятница, 22 Апрель 2005, 11:25
Новая технология контроля логики, удостоверившая корректность компьютерного доказательства математической теоремы, осуществленного еще в 1976 году, позволит повысить эффективность выявления ошибок в коде программных продуктов на ранних этапах их разработки.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.2281 )
(Категория: Разработка)
Добавил Roman I Khimov
Пятница, 22 Апрель 2005, 11:25
Новая технология контроля логики, удостоверившая корректность компьютерного доказательства математической теоремы, осуществленного еще в 1976 году, позволит повысить эффективность выявления ошибок в коде программных продуктов на ранних этапах их разработки.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.2281 )