NAU Harvester System
The System for Graphic Schemes of Algorithms Verification and Program Code Generation
Наукові журнали Національного Авіаційного Університету
View Archive Info| Field | Value | |
| Title |
The System for Graphic Schemes of Algorithms Verification and Program Code Generation
Система верификации графических схем алгоритмов и генерации программных кодов Система верифікації графічних схем алгоритмів і генерації програмних кодів |
|
| Creator |
Бузовский, О. В.; Национальный технический университет Украины "КПИ"
Алещенко, А. В.; Национальный технический университет Украины "КПИ" |
|
| Subject |
—
UDC 004.4'242 — УДК 004.4'242 графические схемы алгоритмов; UML; типизация; верификация; трансляция; генерация программных кодов УДК 004.4'242 |
|
| Description |
The paper discusses the possibilities of graphical notation schemes algorithms. The problems of describing the types of variable declarations (typing) in the case of GSA or UML-diagrams of activities are reviewed, as well as methods for their verification and translation. The proper solution of this problem and its realization in the system being developed is given
Обсуждаются возможности графической нотации схем алгоритмов. Рассмотрены проблемы описания типов и объявления переменных (типизация) в случае использования ГСА или UML-диаграммы деятельности, а также способы их верификации и трансляции. Приведено собственное решение данной задачи и его реализация в разрабатываемой системе Обговорюються можливості графічної нотації схем алгоритмів. Розглянуто проблеми опису типів і оголошення змінних (типізація) у разі використання ГСА або UML-діаграми діяльності, а також способи їх верифікації і трансляції. Наведено власний розв’язок даної задачі та його реалізація в системі, що розробляється |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2015-10-02
|
|
| Type |
—
|
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/PIU/article/view/8937
10.18372/2073-4751.2.8937 |
|
| Source |
Problems of Informatization and Management; Том 2, № 50 (2015); 32-35
Проблемы информатизации и управления; Том 2, № 50 (2015); 32-35 Проблеми iнформатизацiї та управлiння; Том 2, № 50 (2015); 32-35 |
|
| Language |
uk
|
|
| Rights |
Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).
|
|