The System for Graphic Schemes of Algorithms Verification and Program Code Generation

Authors

  • О. В. Бузовский Национальный технический университет Украины "КПИ"
  • А. В. Алещенко Национальный технический университет Украины "КПИ"

DOI:

https://doi.org/10.18372/2073-4751.2.8937

Keywords:

графические схемы алгоритмов, UML, типизация, верификация, трансляция, генерация программных кодов

Abstract

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

Author Biography

О. В. Бузовский, Национальный технический университет Украины "КПИ"

д.т.н.

References

Гайнуллин Р. Ф. Разработка методов и средств анализа и контроля диаграмматики бизнес-процессов в проектировании автоматизированных систем: дис. кандидата технических наук : 05.13.12 / Гайнуллин Ринат Фаязович. – Ульяновск, 2014. – 189 с.

Вирт Н. Алгоритмы + Структуры данных = Программы / Вирт Н. – М. : Мир, 1985. – 406с.

Роберт У. Себеста. Основные концепции языков программирования / Роберт У. Себеста – М. : Издательский дом “Вильямс”, 2001. – 672.

Downloads

Published

2015-06-10

How to Cite

Бузовский, О. В., & Алещенко, А. В. (2015). The System for Graphic Schemes of Algorithms Verification and Program Code Generation. Problems of Informatization and Management, 2(50), 32–35. https://doi.org/10.18372/2073-4751.2.8937

Issue

Vol. 2 No. 50 (2015)

Section

Статті

License

The scientific journal adheres to the principles of Open Access and provides free, immediate, and permanent access to all published materials without financial, technical, or legal barriers for readers.

All articles are published in Open Access under the Creative Commons Attribution 4.0 International (CC BY 4.0) license.

Copyright

Authors who publish their works in the journal:

  • retain the copyright to their publications;

  • grant the journal the right of first publication of the article;

  • agree to the distribution of their materials under the CC BY 4.0 license;

  • have the right to reuse, archive, and distribute their works (including in institutional and subject repositories), provided that proper reference is made to the original publication in the journal.