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

dc.contributor.author	Алексеєв, В.А.
dc.contributor.author	Терещенко, В.С.
dc.date.accessioned	2010-03-09T12:24:45Z
dc.date.available	2010-03-09T12:24:45Z
dc.date.issued	2009
dc.identifier.citation	Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/6578
dc.description.abstract	Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій.	uk_UA
dc.description.abstract	Рассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций.	uk_UA
dc.description.abstract	The 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.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.subject	Методи програмної інженерії	uk_UA
dc.title	Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації	uk_UA
dc.title.alternative	Многовариантность нотаций представ-ления алгоритмов функционирования программных средств как путь к их верификации	uk_UA
dc.title.alternative	Multivariance of the notations of represen-tation of algorithms of operation of software as path to their verification	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.3