|
eaDonNTU, Donetsk >
Факультет компьютерных наук и технологий (до 2021) >
Кафедра прикладной математики и информатики >
Научные издания кафедры ПМИ >
Публікації у збірниках праць конференцій >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/14509
|
| Название: | Application of SADT for source code generation in learning the programming fundamentals |
| Другие названия: | Application of SADT for source code generation
in learning the programming fundamentals |
| Авторы: | Kustov, M.
Guban, B.
Datsun, N. |
| Ключевые слова: | programming fundamentals
SADT
algorithms
invariants
data structures
generating source code |
| Дата публикации: | 11-Июл-2012 |
| Серия/номер: | Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012), May 30-31, 2012/Eds. Alexander Kamkin, Alexander Petrenko, Andrey Terekhov. – Perm, Russia. - 320p.; |
| Аннотация: | Approach to generating source code from the SADT (Structured Analysis and Design Technique) specification of the program is offered. Invariants are allocated in basic algorithms. Algorithm of generating source code on the basis of templates is ormulated. Data structures used for implementation of
algorithm are considered. Internal representation of the SADT specification can be used to analyze the properties of the generated program. |
| Описание: | Kustov M., Guban B., Datsun N. Application of SADT for source code generation in learning the programming fundamentals/ Труды 6-ого весеннего/летнего коллоквиума молодых исследователей в области программной инженерии (SYRCoSE 2012), 30-31 мая 2012 г. – Пермь, Россия. - с.28-33. |
| URI: | http://ea.donntu.edu.ua/handle/123456789/14509 |
| ISBN: | 978-5-91474-019-8 |
| Располагается в коллекциях: | Публікації у збірниках праць конференцій
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
