Библиотека материалов по теме выпускной работы
- Повышение эффективности
алгоритмов генерации программного кода по методологии SADT
Авторы: Кустов М.Н.
Описание: В данной статье рассматриваются вопросы повышения эффективности алгоритмов автоматической генерации программного кода, практическое применение SADT–методологии.
Источник:
Информационные интеллектуальные системы
/ Материалы XVI международного молодежного форумаРадиоэлектроника и молодежь в XXI веке
. — Харьков, ХНУРЭ — 2012, Том 6, с. 228–229. - Application of
SADT
for source code generation in learning the programming fundamentals
(принят в публикацию)
Авторы: Кустов М.Н., Губань Б.И., Дацун Н.Н.
Описание: Статья иллюстрирует применение методологии SADT для генерации программного кода.
Источник: SYRCoSE (Spring/Summer Young Researchers' Colloquium on Software Engineering)
- Подготовка управляющих
программ
для станков с ЧПУ
Авторы: Жарихина М.А.
Описание: Рассматривается применение SADT–методологии для написание управляющей программы для станков с ЧПУ.
Источник: Учебно–научно–производственный журнал
Автоматизация и управление в машиностроении
/ Выпуск №21, — Москва, — 2003
http://magazine.stankin.ru/arch/n_21/11/index.htm - Современные методологии
структурного
анализа и проектирования систем обработки информации
Авторы: Анисимов Б.П., Котов В.В.
Описание: Предлагается решение проблем автоматизации процессов создание систем обработки информации с использованием CASE–технологий.
Источник: Журнал
Программные продукты и системы
/ Выпуск №2, — Москва, — 1997
http://swsys.ru/index.php?page=article&id=1025 - Автоматическая генерация
программ
с явным выделением состояний
Авторы: Канжелев С.Ю., Шалыто А.А.
Описание: В работе рассматривается подход к автоматической генерации кода программ с явным выделение состояний на любом априори заданном языке программирования по графам переходов автоматов программ.
Источник:
Software Engineering Conference
/ Материалы конференцииSoftware Engineering Conference (Russia) – 2006
, — Санкт–Петербург, — 2006, с.60–63
http://is.ifmo.ru/science/SECR_MetaAuto%5B1%5D.pdf - Structural analysis and
methods
for development of software tool for design and energy simulation of
PV–hybrid power supply systems in poultry farms
Авторы: Gabrovska K., Smrikarov A.
Описание: В статье приводится описание базовых уровней разработки программного продукта RES для проектирования и моделирования энергетических потоков в фотоэлектрических гибридных установках как вспомогательных систем электроснабжения для птицефабрик.
Источник: International Conference on Computer Systems and Technologies / CompSysTech, — 2005
http://ecet.ecs.ru.acad.bg/cst05/Docs/cp/sV/V.9.pdf - Framework for Collaborative
Structural Analysis Software Development
Авторы: Jun Peng and Kincho H. Law
Описание: В статье описана среда, служащая ядром для совместной разработки программного обеспечения через Интернет.
Источник: Advanced Technology in Structural Engineering / ASCE Conf. Proc., Section: 8, Chapter: 3, — 2004, с. 1-8
http://ascelibrary.org/proceedings/... - Algorithmic Invariant Theory
Авторы: Kemper G.
Описание: Основной целью данной работы является обзор алгоритмов в теории инвариантов. Также в статье описан алгоритм для вычисления инвариантных колец.
Источник: Журнал Qualitative Theory of Dynamical Systems / Выпуск №11, — 2012
http://www.issac-conference.org/2010/assets/AbstractKemper.pdf - Completeness in Formal
Specification Language Design for Process-Control Systems
Авторы: Leveson N.
Описание: В статье рассматривается вопрос универсальности разрабатываемого языка спецификаций, описывается созданный язык SpecTRM (Specification Tools and Requirements Methdology)–Requirements Language.
Источник: FMSP '00 Proceedings of the third workshop on Formal methods in software practice / Association for Computing Machinery, — New York, NY, USA — 2012
http://sunnyday.mit.edu/papers/completeness.pdf - Руководство
по языку спецификаций PROforma:
достижения и перспективы
Авторы: Bury, J., Fox, J., Sutton, D.
Автор перевода: Кустов М.Н.Описание: Эта статья описывает основные особенности языка PROforma. Этот язык используется в системе принятия решений медицинской направленности.
Источник (англ.): The PROforma guideline specification language: progress and prospects