Система верифікації графічних схем алгоритмів і генерації програмних кодів

Автор(и)

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

DOI:

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

Ключові слова:

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

Анотація

Обговорюються можливості графічної нотації схем алгоритмів. Розглянуто проблеми опису типів і оголошення змінних (типізація) у разі використання ГСА або UML-діаграми діяльності, а також способи їх верифікації і трансляції. Наведено власний розв’язок даної задачі та його реалізація в системі, що розробляється

Біографія автора

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

д.т.н.

Посилання

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

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

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

##submission.downloads##

Опубліковано

2015-06-10

Як цитувати

Бузовский, О. В., & Алещенко, А. В. (2015). Система верифікації графічних схем алгоритмів і генерації програмних кодів. Проблеми iнформатизацiї та управлiння, 2(50), 32–35. https://doi.org/10.18372/2073-4751.2.8937

Номер

Том 2 № 50 (2015)

Розділ

Статті

Ліцензія

Науковий журнал дотримується принципів відкритого доступу (Open Access) та забезпечує вільний, негайний і постійний доступ до всіх опублікованих матеріалів без фінансових, технічних або юридичних обмежень для читачів.

Усі статті публікуються у відкритому доступі відповідно до ліцензії Creative Commons Attribution 4.0 International (CC BY 4.0).

Авторські права

Автори, які публікують свої роботи в журналі:

  • зберігають за собою авторські права на свої публікації;

  • надають журналу право на перше опублікування статті;

  • погоджуються на поширення матеріалів за ліцензією CC BY 4.0;

  • мають право повторно використовувати, архівувати та поширювати свої роботи (у тому числі в інституційних та тематичних репозитаріях) за умови посилання на первинну публікацію в журналі.