Please use this identifier to cite or link to this item:
https://ea.donntu.edu.ua/jspui/handle/123456789/14509
Title: | Application of SADT for source code generation in learning the programming fundamentals |
Other Titles: | Application of SADT for source code generation in learning the programming fundamentals |
Authors: | Kustov, M. Guban, B. Datsun, N. |
Keywords: | programming fundamentals SADT algorithms invariants data structures generating source code |
Issue Date: | 11-Jul-2012 |
Series/Report no.: | 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.; |
Abstract: | 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. |
Description: | 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 |
Appears in Collections: | Публікації у збірниках праць конференцій |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
kustov-guban-datsun.pdf | 383,96 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.