Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації
Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій. Рассматриваются раз...
Gespeichert in:
| Datum: | 2009 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2009
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/6578 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862715949620133888 |
|---|---|
| author | Алексеєв, В.А. Терещенко, В.С. |
| author_facet | Алексеєв, В.А. Терещенко, В.С. |
| citation_txt | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. |
| collection | DSpace DC |
| description | Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій.
Рассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций.
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.
|
| first_indexed | 2025-12-07T18:01:32Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-6578 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:01:32Z |
| publishDate | 2009 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Алексеєв, В.А. Терещенко, В.С. 2010-03-09T12:24:45Z 2010-03-09T12:24:45Z 2009 Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/6578 681.3 Розглядаються різні варіанти нотацій представлення алгоритмів прикладних задач у інформаційних системах, що дає змогу до їх програмної реалізації провести верифікацію прийнятих рішень щодо їх побудови, використовуючи для цього різноманітні засоби, притаманні кожній з цих нотацій. Рассматриваются различные варианты нотаций представления алгоритмов прикладных задач в информационных системах, что даёт возможность до их программной реализации провести верификацию принятых решений по их построению, используя для этого разнообразные средства, присущие каждой из этих нотаций. 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 Інститут програмних систем НАН України Методи програмної інженерії Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації Многовариантность нотаций представ-ления алгоритмов функционирования программных средств как путь к их верификации Multivariance of the notations of represen-tation of algorithms of operation of software as path to their verification Article published earlier |
| spellingShingle | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації Алексеєв, В.А. Терещенко, В.С. Методи програмної інженерії |
| title | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_alt | Многовариантность нотаций представ-ления алгоритмов функционирования программных средств как путь к их верификации Multivariance of the notations of represen-tation of algorithms of operation of software as path to their verification |
| title_full | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_fullStr | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_full_unstemmed | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_short | Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| title_sort | багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації |
| topic | Методи програмної інженерії |
| topic_facet | Методи програмної інженерії |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/6578 |
| work_keys_str_mv | AT alekseêvva bagatovaríantnístʹnotacíipredstavlennâalgoritmívfunkcíonuvannâprogramnihzasobívâkšlâhdoíhverifíkacíí AT tereŝenkovs bagatovaríantnístʹnotacíipredstavlennâalgoritmívfunkcíonuvannâprogramnihzasobívâkšlâhdoíhverifíkacíí AT alekseêvva mnogovariantnostʹnotaciipredstavleniâalgoritmovfunkcionirovaniâprogrammnyhsredstvkakputʹkihverifikacii AT tereŝenkovs mnogovariantnostʹnotaciipredstavleniâalgoritmovfunkcionirovaniâprogrammnyhsredstvkakputʹkihverifikacii AT alekseêvva multivarianceofthenotationsofrepresentationofalgorithmsofoperationofsoftwareaspathtotheirverification AT tereŝenkovs multivarianceofthenotationsofrepresentationofalgorithmsofoperationofsoftwareaspathtotheirverification |