Генерация исходного кода базовых алгоритмов на основе высокоуровневых спецификаций
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Генерация исходного кода базовых алгоритмов на основе высокоуровневых спецификаций
|
|
| Creator |
Кустов, М.Н.
Дацун, Н.Н. |
|
| Subject |
SADT
инвариант генерации исходного кода базовые алгоритмы |
|
| Description |
Обоснован выбор SADT-методологии как основы создания высокоуровневых спецификаций. Расширен набор базовых алгоритмов, для которых выделены инварианты по отношению к структурам данных. Показана возможность создания более сложных алгоритмов на основе базовых. Предложен алгоритм генерации исходного С-кода по спецификации SADT.
|
|
| Date |
2012-10-13T14:34:54Z
2012-10-13T14:34:54Z 2012-09-19 |
|
| Type |
Article
|
|
| Identifier |
Кустов М.Н., Дацун Н.Н. Генерация исходного кода базовых алгоритмов на основе высокоуровневых спецификаций // Информатика и компьютерные технологии – 2012/ Материалы VIII международной научно-технической конференции – Донецк, 18–20 сентября 2012 г. – Донецк: ДонНТУ, 2012. – С. 269-273.
http://ea.donntu.edu.ua/handle/123456789/15394 |
|
| Relation |
Информатика и компьютерные технологии;VIII
|
|
| Publisher |
Донецкий национальный технический университет
|
|