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

О. В. Бузовский, А. В. Алещенко

Анотація


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

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


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

Посилання


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

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

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


Повний текст: PDF

Посилання

  • Поки немає зовнішніх посилань.


Ліцензія Creative Commons
Цей твір ліцензовано за ліцензією Creative Commons Із зазначенням авторства - Некомерційна - Без похідних творів 3.0 Неадаптована

ISSN 2073-4751