|
eaDonNTU, Donetsk >
Факультет интеллектуальных систем и программирования (ФИСП) >
Кафедра компьютерной инженерии >
Научные публикации кафедры компьютерной инженерии >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/15394
|
| Название: | Генерация исходного кода базовых алгоритмов на основе высокоуровневых спецификаций |
| Авторы: | Кустов, М.Н.
Дацун, Н.Н. |
| Ключевые слова: | SADT
инвариант
генерации исходного кода
базовые алгоритмы |
| Дата публикации: | 19-Сен-2012 |
| Издатель: | Донецкий национальный технический университет |
| Библиографическое описание: | Кустов М.Н., Дацун Н.Н. Генерация исходного кода базовых алгоритмов на основе высокоуровневых спецификаций // Информатика и компьютерные технологии – 2012/ Материалы VIII международной научно-технической конференции – Донецк, 18–20 сентября 2012 г. – Донецк: ДонНТУ, 2012. – С. 269-273. |
| Серия/номер: | Информатика и компьютерные технологии;VIII |
| Аннотация: | Обоснован выбор SADT-методологии как основы создания высокоуровневых спецификаций. Расширен набор базовых алгоритмов, для которых выделены инварианты по отношению к структурам данных. Показана возможность создания более сложных алгоритмов на основе базовых. Предложен алгоритм генерации исходного С-кода по спецификации SADT. |
| URI: | http://ea.donntu.edu.ua/handle/123456789/15394 |
| Располагается в коллекциях: | Научные публикации кафедры компьютерной инженерии
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
