Разработка и обоснование алгоритмов на основе семантических свойств
Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма....
Збережено в:
Дата: | 2014 |
---|---|
Автори: | Крывый, С.Л., Максимец, А.Н. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут програмних систем НАН України
2014
|
Назва видання: | Проблеми програмування |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/113226 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Разработка и обоснование алгоритмов на основе семантических свойств / С.Л. Крывый, А.Н. Максимец // Проблеми програмування. — 2014. — № 2-3. — С. 151-159. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
за авторством: Яценко, Е.А.
Опубліковано: (2012) -
Инструментальные средства трансформации схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2006) -
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2008) -
Алгебра для описания данных в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2012) -
Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)