Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації

Скорочена інформація про документ
dc.contributor.authorАлексеєв, В.А.
dc.contributor.authorТерещенко, В.С.
dc.date.accessioned2010-03-09T12:24:45Z
dc.date.available2010-03-09T12:24:45Z
dc.date.issued2009
dc.description.abstractРозглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій.uk_UA
dc.description.abstractРассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций.uk_UA
dc.description.abstractThe various variants of the notations of representation of algorithms of the application tasks in information systems are considered, that enables before their program implementation to lead(carry out) verification of the accepted solutions on their construction, using for this purpose various tools, inherent by each of these notations.uk_UA
dc.identifier.citationБагатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр.uk_UA
dc.identifier.issn1727-4907
dc.identifier.udc681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/6578
dc.language.isoukuk_UA
dc.publisherІнститут програмних систем НАН Україниuk_UA
dc.statuspublished earlieruk_UA
dc.subjectМетоди програмної інженеріїuk_UA
dc.titleБагатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікаціїuk_UA
dc.title.alternativeМноговариантность нотаций представ-ления алгоритмов функционирования программных средств как путь к их верификацииuk_UA
dc.title.alternativeMultivariance of the notations of represen-tation of algorithms of operation of software as path to their verificationuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
alekseev_33_48.pdf
Розмір:
291.94 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.81 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2009, № 4