Актуальные темы
BYTE/Россия
IT Channel News
Intelligent Enterprise/RE
itWeek
Бестселлеры ИТ-рынка

Спецпредложения

Копилка желаний от Dahua!

Покупай ассортимент Dahua, участвующий в акции, и получай бонус за каждую единицу согласно бонусной сетке. Копи бонусы и обменивай их на подарочные сертификаты Озон. Минимальный порог закупки для получения сертификата – 30 000 рублей. (суммарно за период акции). Чтобы получить приз ...
Подарок за покупку от Dahua!
Покупай с выгодой!
Бонусы от Buro!
OpenYard: новая точка входа

Бонус на компьютеры

Уважаемые партнеры! Приглашаем вас принять участие в маркетинговой акции «Шестизначный бонус – реален!». Закупайте ноутбуки, неттопы и моноблоки Digma и Digma Pro в период действия акции и получите бонус 9 000 руб. за каждые 300 000 руб. отгрузок. Период действия акции: 01 февраля – 31 ...
Звучит выгодно!
Подключаем бонусы
Распродажа демо-оборудования TSC со склада PROWAY
InFocus: выходи за рамки!

Бонус на компьютеры

Уважаемые партнеры! Приглашаем вас принять участие в маркетинговой акции «Шестизначный бонус – реален!». Закупайте ноутбуки, неттопы и моноблоки Digma и Digma Pro в период действия акции и получите бонус 9 000 руб. за каждые 300 000 руб. отгрузок. Период действия акции: 01 февраля – 31 ...
Осторожно, не обожгитесь
Подключаем бонусы
Печатай четко с Pantum
Вкусные условия

Секретный ингредиент – бонус!

Уважаемые партнеры! Приглашаем вас принять участие в маркетинговой акции «Секретный ингредиент – бонус!». Закупая в Merlion посуду для кухни премиального бренда Rondell, вы гарантированно получите бонус до 10%. Выплата бонусов осуществляется в виде перевода денежных средств на баланс ...
Оборот и динамика — твой билет в тропики!
Рокот космодрома!
КОМПЛИМЕНТ!
Бонусы под елкой!

Улётная поездка!

С 12 января по 31 марта покупайте мониторы PHILIPS-AOC и получите возможность отправиться в увлекательное путешествие! Ваучеры на путешествие получат 10 партнеров, сделавших наибольший объем закупок за период проведения программы
Рокот космодрома!
Важней всего - товары в доме.
Бонус на связи!
Кешбэк 5% за покупку новых мониторов CBR
12345Все

Как писать софт без ошибок

21.11.2008  Новости, Идеи и практики автоматизации

В рамках проекта Tokeneer, подразумевающего автоматизацию контроля доступа в помещения на основе биометрической информации, агентство национальной безопасности США (АНБ) отрабатывало процесс создания надежных программных систем. Главная цель этого проекта заключалась не столько в создании такого комплекса, сколько в совершенствовании технологий разработки математически верифицированного ПО, не содержащего ошибок и выполняющего только заданные функции. Удивительно, но при создании Tokeneer был почти достигнут абсолютный уровень качества — всего одна ошибка на десять тысяч строк исходных текстов. В исполнители проекта была выбрана компания Praxis High Integrity Systems, в первую очередь за счет применяемой ею методологии разработки Correctness-by-Construction (CbyC). Она была создана в рамках инициативы National Cyber Security Partnership, предложенной Белым домом США в 2003 г. для реализации национальной стратегии по безопасности киберпространства. Эта инициатива, в частности, нацеливалась на противодействие растущим хакерским угрозам, которые часто используют ошибки в софте, и выработку эффективных методик создания ПО, обеспечивающих минимальное число ошибок. Играл роль и экономический фактор: в 2002 г., по оценкам национального института стандартов и технологий США NIST, потери от низкокачественного софта в США составили 60 млрд. долл., при этом лишь четверть ИТ-проектов завершалась успехом. При разработке CbyC ставились цели обойти по коммерческой эффективности ... читать далее.

Рекомендовано к прочтению


Как агентный ИИ изменит будущее авиаперевозок
Авиационная отрасль уже внедряет решения на основе искусственного интеллекта, но это лишь верхушка айсберга тех преимуществ, которые может принести ИИ, пишут на портале BigDataWire Али Пуршахид, главный инженер Solace, и Алам Хан, главный архитектор Solace. Отрасль обременена разрозненными ...

Тренды развития Process Mining в России
Подготовленное порталом ProcessMi независимое исследование рынка Process Mining позволяет говорить, что в 2025 году российский рынок процессной аналитики переходит в фазу структурной зрелости и рассматривается как инструмент точечного анализа и всё чаще используется как элемент операционного и ...

ERP в 2026 году: агентный подход
Агентный искусственный интеллект превращает системы планирования ресурсов предприятия (ERP) в интеллектуальную рабочую силу. Привлекайте поставщиков на ранних этапах, продумайте, как люди и агенты будут работать вместе, и создайте систему снижения рисков, советует CIO на портале InformationWeek ...

От цифровизации к интеллекту: как ИИ меняет корпоративные рабочие процессы
То, что десятилетия назад начиналось как оцифровка документов и автоматизация простых процессов, превратилось в крупномасштабные системы на основе искусственного интеллекта, которые интегрируют данные, принятие решений и операции от начала до конца, пишет на портале BigDATAwire Скотт Фрэнсис ...

Вышел новый релиз платформы Goodt WFM
Компания Goodt (входит в ИТ-холдинг LANSOFT) представила обновленную версию своей WFM-системы, комплексного продукта для автоматизации управления линейным персоналом. Интеллектуальное решение помогает компаниям правильно планировать ресурсы, избегать простоев и переработок и повышать операционную ...
     
Почти треть опрошенных жителей России задумывались о покупке готового бизнеса за последний год
Эксперты агентского канала Авито и Авито Бизнес 360 провели опрос среди более чем двух тысяч жителей России, чтобы выяснить, задумывались ли они о покупке готового бизнеса. Исследование показало, что за последний год такую возможность рассматривали 28% участников опроса. Чаще всего потенциальные ...

6 из 10 рекрутеров не готовы сделать офер без очной встречи даже кандидату, идеально прошедшему онлайн-собеседование
Онлайн-собеседование — финальный барьер или формальность? SuperJob изучил готовность работодателей к дистанционному найму. В опросе приняли участие представители 500 компаний и 1600 офисных сотрудников из всех округов страны. 61% HR-специалистов пока принципиально не готовы нанять без очной встречи ...

Холдинг промышленного ПО «Экспанта» за 2025 год вырос в два раза
Холдинг разработчиков промышленного ПО «Экспанта» подвел итоги 2025 года. Совокупная выручка компаний, входящих сегодня в холдинг, составила 418 млн рублей (в 2024 г. — 202 млн). Наибольший вклад в выручку холдинга — у компании «Датана»: 153 млн рублей, «Алгоритм 1»: 110 млн, и «Датабриз»: 83 млн ...

«Газпром нефть» и российские компании призвали консолидировать заказ на роботов для промышленности
Ассоциация «Индустриальные инновации», в состав которой входят «Газпром нефть», Газпромбанк и «Севергрупп», провела исследование трендов внедрения человекоподобных машин на производстве. Аналитики проанализировали отрасли с повышенным спросом, основных заказчиков и стратегию развития, которая ...

Выгорание: что делать? Часть II
Продолжение. Начало здесь Мы попросили комментарии руководителей компаний или HR-руководителей по поводу того, что можно предпринять, чтобы снизить риски выгорания сотрудников. В опросе приняли участие: Александра Курчанова, заместитель директора по персоналу OCS Сергей Матусевич, директор ...

Лидеры читательского рейтинга

Подборка по дате

Февраль 2026
ПнВтСрЧтПтСбВс
      1
2345678
9101112131415
16171819202122
232425262728 

© 1991–2026 ITRN (Российская служба ИТ-новостей). 109147 г. Москва, ул. Марксистская, 34, строение 10. Телефон: +7 495 974-22-60. Факс: +7 495 974-22-63. Электропочта: itrn@itrn.ru.
Версия 21.0.  Создание сайта — студия iMake.