Система верифікації графічних схем алгоритмів і генерації програмних кодів
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Система верифікації графічних схем алгоритмів і генерації програмних кодів
Система верификации графических схем алгоритмов и генерации программных кодов The System for Graphic Schemes of Algorithms Verification and Program Code Generation |
|
| Creator |
Бузовский, О. В.; Национальный технический университет Украины "КПИ"
Алещенко, А. В.; Национальный технический университет Украины "КПИ" |
|
| Subject |
графические схемы алгоритмов; UML; типизация; верификация; трансляция; генерация программных кодов
УДК 004.4'242 — УДК 004.4'242 — UDC 004.4'242 |
|
| Description |
Обговорюються можливості графічної нотації схем алгоритмів. Розглянуто проблеми опису типів і оголошення змінних (типізація) у разі використання ГСА або UML-діаграми діяльності, а також способи їх верифікації і трансляції. Наведено власний розв’язок даної задачі та його реалізація в системі, що розробляється
Обсуждаются возможности графической нотации схем алгоритмов. Рассмотрены проблемы описания типов и объявления переменных (типизация) в случае использования ГСА или UML-диаграммы деятельности, а также способы их верификации и трансляции. Приведено собственное решение данной задачи и его реализация в разрабатываемой системе 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 |
|
| Publisher |
Національний авіаційний університет
|
|
| Contributor |
—
— — |
|
| Date |
2015-10-02
|
|
| Type |
—
|
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/PIU/article/view/8937
|
|
| Source |
Проблемы информатизации и управления; Том 2, № 50 (2015); 32-35
Проблеми iнформатизацiї та управлiння; Том 2, № 50 (2015); 32-35 Problems of Informatization and Management; Том 2, № 50 (2015); 32-35 |
|
| Language |
uk
|
|