Donetsk National Technical University
Please use this identifier to cite or link to this item:
https://ea.donntu.edu.ua/jspui/handle/123456789/15394| Title: | Генерация исходного кода базовых алгоритмов на основе высокоуровневых спецификаций |
| Authors: | Кустов, М.Н. Дацун, Н.Н. |
| Keywords: | SADT инвариант генерации исходного кода базовые алгоритмы |
| Issue Date: | 19-Sep-2012 |
| Publisher: | Донецкий национальный технический университет |
| Citation: | Кустов М.Н., Дацун Н.Н. Генерация исходного кода базовых алгоритмов на основе высокоуровневых спецификаций // Информатика и компьютерные технологии – 2012/ Материалы VIII международной научно-технической конференции – Донецк, 18–20 сентября 2012 г. – Донецк: ДонНТУ, 2012. – С. 269-273. |
| Series/Report no.: | Информатика и компьютерные технологии;VIII |
| Abstract: | Обоснован выбор SADT-методологии как основы создания высокоуровневых спецификаций. Расширен набор базовых алгоритмов, для которых выделены инварианты по отношению к структурам данных. Показана возможность создания более сложных алгоритмов на основе базовых. Предложен алгоритм генерации исходного С-кода по спецификации SADT. |
| URI: | http://ea.donntu.edu.ua/handle/123456789/15394 |
| Appears in Collections: | Наукові публікації кафедри комп'ютерної інженерії |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 8_Кустов.pdf | 642,08 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.