Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Математичні машини і системи за автором "Харченко, В.С."

Репозиторій DSpace/Manakin

Перегляд Математичні машини і системи за автором "Харченко, В.С."

Сортувати за: Порядок: Результатів:

  • Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A 
    Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. (Математичні машини і системи, 2010)
    Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности ...
  • Насколько формальны формальные методы? 
    Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. (Математичні машини і системи, 2011)
    В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и ...
  • Опыт взаимодействия университетов и промышленности в сфере трансфера ИТ-технологий в Западной Европе 
    Литвинов, В.В.; Харченко, В.С. (Математичні машини і системи, 2015)
    В статье рассматриваются вопросы взаимодействия университетов и ИТ-компаний, современное состояние ИТ-индустрии в Украине, современное состояние университетов в Украине, зарубежный опыт решения проблемы взаимодействия ...
  • Реализация процесса верификации для разработки надежного программного обеспечения 
    Скляр, В.В.; Харченко, В.С. (Математичні машини і системи, 2006)
    Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод ...
  • Учет вторичных дефектов в моделях надежности программных средств 
    Одарущенко, О.Н.; Руденко, А.А.; Харченко, В.С. (Математичні машини і системи, 2010)
    Анализируются допущения, принятые в моделях оценки надежности программных средств, на предмет внесения новых (вторичных) дефектов в процессе устранения обнаруженных ранее дефектов. Изложен порядок нахождения параметров ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис