Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ea.donntu.edu.ua/jspui/handle/123456789/14509
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorKustov, M.-
dc.contributor.authorGuban, B.-
dc.contributor.authorDatsun, N.-
dc.creatorKustov, M.-
dc.creatorGuban, B.-
dc.creatorDatsun, N.-
dc.date.accessioned2012-07-11T16:11:33Z-
dc.date.available2012-07-11T16:11:33Z-
dc.date.issued2012-07-11-
dc.identifier.isbn978-5-91474-019-8-
dc.identifier.urihttp://ea.donntu.edu.ua/handle/123456789/14509-
dc.descriptionKustov 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.-
dc.description.abstractApproach 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.en_US
dc.language.isoenen_US
dc.relation.ispartofseriesProceedings 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.;-
dc.subjectprogramming fundamentalsen_US
dc.subjectSADTen_US
dc.subjectalgorithmsen_US
dc.subjectinvariantsen_US
dc.subjectdata structuresen_US
dc.subjectgenerating source codeen_US
dc.titleApplication of SADT for source code generation in learning the programming fundamentalsen_US
dc.title.alternativeApplication of SADT for source code generation in learning the programming fundamentals-
dc.typeArticleen_US
Розташовується у зібраннях:Публікації у збірниках праць конференцій

Файли цього матеріалу:
Файл Опис РозмірФормат 
kustov-guban-datsun.pdf383,96 kBAdobe PDFПереглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.