Перегляд за автором "Горбенко, А.В."

Результати 1-3 з 3

Інноваційна освіта та наука в галузі інформаційних технологій: досвід Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"

Кривцов, В.С.; Горбенко, А.В.; Харченко, В.С. (Наука та інновації, 2015)

Інформаційні технології є однією з перспективних галузей світової та вітчизняної індустрії, яка розвивається стрімкими темпами. В статті автори діляться досвідом Національного аерокосмічного університету «ХАІ» з підготовки ...
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A

Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. (Математичні машини і системи, 2010)

Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности ...
Насколько формальны формальные методы?

Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С. (Математичні машини і системи, 2011)

В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и ...

Результати 1-3 з 3

Пошук

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

Перегляд

Вся бібліотека

Перегляд за автором "Горбенко, А.В."

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

Перегляд за автором "Горбенко, А.В."

Пошук

Перегляд

Вся бібліотека

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