1. Університет митної справи та фінансів
  2. Періодичні видання УМСФ
  3. Вісник Академії митної служби України
  4. Системи та технології
  5. 2015/2
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://biblio.umsf.dp.ua/jspui/handle/123456789/1461
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorАкуловський, В. Г.-
dc.contributor.authorКостенко, В. В.-
dc.contributor.authorПоліщук, В. В.-
dc.date.accessioned2016-11-01T11:14:50Z-
dc.date.available2016-11-01T11:14:50Z-
dc.date.issued2016-11-01-
dc.identifier.citation1. Брукс Ф. П. Как проектируются и создаются программные комплексы / Брукс Ф. П. ; пер. с англ. – М. : Наука, 1979. – 150 с. 2. Дейкстра Э. Смиренный программист / Э. Дейкстра ; пер. с англ. // Лекции лауреатов премии Тьюринга за первые двадцать лет. 1966–1985. – М. : Мир, 1993. – 120 с. 3. Йордон Э. Путь камикадзе. Как разработчику программного обеспечения выжить в безнадежном проекте / Йордон Э. ; пер. с англ. – М. : Лори, 2000. – 272 с. 4. Глушков В. М. Перспективы автоматизации проектирования вычислительных машин / В. М. Глушков // Вестн. АН УССР. – 1967. – № 4. – С. 22–36. 5. Глушков В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. E. Цейтлин, Е. Л. Ющенко. – 3-е изд., перераб. и доп. – К. : Наукова думка, 1989. – 376 с. 6. Акуловский В. Г. Алгебра алгоритмов, базирующаяся на данных / В. Г. Акуловский // Кибернетика и системный анализ. – 2012. – № 2. – С. 151–166. 7. Акуловский В. Г. Основы алгебры алгоритмов, базирующейся на данных / В. Г. Акуловский // Проблемы программирования : спец. выпуск по материалам седьмой Международной научно-практической конференции по программированию УкрПРОГ`2010. – 2010.  № 23.  С. 8996. 8. Акуловский В. Г. Основы алгебраического аппарата для описания алгоритмов с данными / В. Г. Акуловский // Математическое и программное обеспечение систем в промышленной и социальной сферах : междунар. сб. науч. трудов. – Магнитогорск : Изд-во Магнитогорск. гос. техн. ун-та им. Носова. – 2011. – Ч. 1. – С. 9–14. 9. Макконнелл С. Совершенный код. Мастер-класс / Макконнелл С. – М. : Издательско-торговый дом “Русская Редакция”; СПб. : Питер, 2005. – 896 с. 10. Поспелов Д. А. Логические методы анализа и синтеза схем : 3-е изд., перераб. и доп. / Поспелов Д. А. – М. : Энергия, 1974. – 368 с. 11. Акуловський В. Г. Тризначна логіка в алгебрі алгоритмів / В. Г. Акуловський, В. В. Костенко // Вісник Академії митної служби України. – 2007.  № 1.  C. 8388. 12. Акуловский В. Г. K-значная логика в расширенной алгебре алгоритмов / В. Г. Акуловский // Проблемы программирования : спец. выпуск по материалам шестой Международной научно-практической конференции по программированию УкрПРОГ` 2008. – 2008.  № 23.  С. 5056.uk_UA
dc.identifier.issn2310-9645-
dc.identifier.urihttp://hdl.handle.net/123456789/1461-
dc.description.abstractДля подолання недостатньої надійності програмного забезпечення розв’язується задача реалізації засобів захищеного програмування. Застосовується спеціальний алгебраїчний апарат (алгебра алгоритмів з даними). У рамках алгебри алгоритмів з даними використано тризначні, k-значні логічні умови, які фіксують, і похідні алгоритмічні конструкції на їх основі для реалізації концепції захищеного програмування. Зокрема, введено обмеження на використання алгоритмічних конструкцій, що перевіряються на етапі розробки алгоритмів, засоби контролю оброблюваних даних і послідовності їх обробки на етапі виконання програми.uk_UA
dc.language.isoukuk_UA
dc.publisherУніверситет митної справи та фінансівuk_UA
dc.relation.ispartofseriesСистеми та технології;2015/2-
dc.subjectалгебра алгоритмівuk_UA
dc.subjectзахищене програмуванняuk_UA
dc.subjectД-операториuk_UA
dc.subjectk-значні логічні умовиuk_UA
dc.subjectалгоритмічні конструкціїuk_UA
dc.subjectлогічні умовиuk_UA
dc.subjectщо фіксуютьuk_UA
dc.subjectalgebraic toolsuk_UA
dc.subjectsecure programming toolsuk_UA
dc.subjectD-operatorsuk_UA
dc.subjectk-valued logic conditionsuk_UA
dc.subjectthree-valued logic conditionsuk_UA
dc.subjectfixing logic conditionsuk_UA
dc.titleРеалізація засад захищеного програмування у рамках алгебраїчного апаратуuk_UA
dc.title.alternativeImplementation the foundations of a secure programming in the framework of the algebraic apparatusuk_UA
dc.typeArticleuk_UA
Розташовується у зібраннях:2015/2

Файли цього матеріалу:
Файл Опис РозмірФормат 
7.pdfЕлектронне видання411,16 kBAdobe PDFПереглянути/Відкрити
Показати базовий опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.