ДонНТУ   Портал магистров

Ссылки по теме выпускной работы

    Материалы магистров ДонНТУ

  1. Магистерская работа Губаня Б.И.

    Руководитель: к.ф–т.н., Дацун Н.Н.

  2. Методология функционального моделирования SADT

    Автор: Григорьев А.В.
    Описание: Краткий обзор методологии функционального моделирования SADT

  3. Генерация кода

    Описание: Статья, посвященная генерации кода. Основные понятия. Основные этапы.

  4. Сафин Т. Компиляторы.

    Описание: Попытка классификации и обзора наиболее широко распространенных языков программирования и средств автоматизации разработки компиляторов.

    5. Перечень ссылок по автоматической генерации программного кода

  5. Automatic programming

    Описание: Статья об отстранении человека от процесса написания программного кода.

  6. Autocode

    Описание: Статья о подвиде языков программирования, которые были разработаны в 1950–х годах.

  7. Automatic Code Generation (Model–based Implementation)

    Авторы: Dr.–Ing. Ingo Stürmer

    Описание: Общие сведения об автоматической генерации программного кода.

  8. Генерация кода

    Описание: Рассмотрены различные подходы к генерации кода.

  9. Jenerator — Generative Programming for Java

    Авторы: Vaolter M., Gaartner A.

    Описание: Cтатья представляет инструмент под названием Jenerator, расширяемый генератор кода для Java.

  10. Generative Programming

    Авторы: Czarnecki K. 

    Описание: Рассмотрение техники порождающего программирования как всеобъемлющей модели развития разработки программного обеспечения.

  11. Порождающее программирование и язык XSLT

    Описание: Рассмотрены способы генерации кода и использование языка XSLT.

  12. Структурно–параметрический синтез

    Описание: Рассмотрение принципов cтруктурно–параметрического синтеза.

  13. Автоматическая генерация кода

    Описание: Сведения о веб–инструменте для генерации кода под названием Gii.

  14. Compiler

    Описание: Статья посвящена компиляторам, различным принципам компиляции.

  15. Полуавтоматическая конвертация лени в код

    Описание: Статья об автоматической генерации кода C#.

  16. Вставляем генератор кода в сборку qmake

    Описание: Статья о том, как максимально автоматизировать процесс написания программного кода с помощью qmake — утилиты из состава Qt.

  17. Автоматическая генерация программного кода с помощью встроенного UML в Borland Developer Studio 2006 (BDS)

    Описание: Статья посвящена вопросам автоматизированного проектирования объектно-ориентированных программных систем.

    Перечень ссылок по теории инвариантов

  18. Invariant theory

    Описание: Общие сведения о теории инвариантов как о разделе абстрактой алгебры.

  19. Algorithmic Invariant Theory

    Авторы: Kemper G.

    Описание: Описание теории инвариантов с математической точки зрения.

  20. Инварианты

    Описание: Значение слова Инварианты в Большой Советской Энциклопедии.

  21. Инварианты в задачах по математике и программированию

    Описание: Множество задач, демонстрирующих применения свойств инвариантности на практике.

  22. Invariant (computer science)

    Описание: Раскрытие понятия инварианта с точки зрения программирования.

  23. Инварианты и симметрии в генетических алгоритмах

    Авторы: Богатырев М.Ю.

    Описание: Выделение инвариантов алгоритмов, и применение в генерации алгоритма.

  24. Visual Invariants in Sorting Algorithms

    Авторы: Braynen W., Posadas R.

    Описание: Приложение иллюстрирует работу ряда алгоритмов сортировки и понятие инвариантов.

  25. Построение цикла с помощью инварианта

    Авторы: Борисенко В.В.

    Описание: Рассматривается схема построения цикла пока с помощью инварианта.

    Перечень ссылок по спецификации

  1. Framework for Collaborative Structural Analysis Software Development

    Авторы: Jun Peng and Kincho H. Law

    Описание: Эта статья описывает прототип реализации для иллюстрации среды для структурного анализа и разработки программного обеспечения через Интернет.

  2. Применение методологии структурного анализа и проектирования SADT/IDEF0 как инструмента менеджмента качества

    Авторы: Герман М.В., Галактионов Е.А.

    Описание: Статья описывает применение методологии структурного анализа и проектирования в науке управления.

  3. Методология функционального моделирования SADT

    Описание: Приводится описание основных элементов методологии структурного анализа и проектирования.

  4. Structured Analysis and Design Technique

    Описание: Краткое изложения принципов и главных концепций методологии SADT.

  5. Specification language

    Описание: Раскрытие значения термина язык спецификаций, описание наиболее популярных языков спецификаций.

  6. IDEF0 and SADT: a modeler's guide book

    Авторы: Marca D.A., McGowan C.L.

    Описание: Книга, посвященная детальному анализу и описанию методологии SADT.

  7. Управление процессами

    Описание: Управление бизнес–процессами с помощью структурного анализа.

  8. An Examination of Requirements Specification Languages

    Авторы: Tse T.H. and Pong L.

    Описание: Сравнение различных языков спецификации.

  9. Основы визуального моделирования

    Авторы: Кознов Д.В.

    Описание: Учебное пособие по построению визуальных спецификаций.

  10. Распознавание и спецификация структур данных

    Авторы: Бабичев А.В.

    Описание: В работе представлен аппарат, позволяющий автоматизировать процесс анализа и верификации структур данных, организованных в виде множества ссылающихся друг на друга объектов.

  11. Технология построения языков спецификаций классов задач, ориентированных на пользователей

    Авторы: Москвитин А.А.

    Описание: В диссертации рассматриваются различные методики построения спецификаций.

  12. Интегративная модель

    Описание: Рассмотрение применения интегративной модели в спецификации.

  13. Спецификация программы и преобразователь предикатов

    Описание: Описание спецификации программ с использованием предикатов.

  14. Formal specification

    Описание: Раскрытие понятия формальная спецификация с точки зрения информатики, описание главных принципов.

    15. Техническая и справочная литература

  15. Национальная библиотека Украины имени Вернадского В.И.

    Крупнейшая библиотека Украины, главный научно-информационный центр государства. Входит в число десяти крупнейших национальных библиотек мира.

  16. Большая Советская Энциклопедия (БСЭ)

    Одна из самых обширных энциклопедий выпущенных в мире. Содержит около 100 тысяч статей и около 35 тысяч иллюстраций. Все это богатство информации умещается в 30 томах.

    17. Специализированные сайты и порталы

  17. CIT–форум

    Крупнейший архив научной и практической информации по всем направлениям компьютерных наук

  18. Википедия

    Свободная общедоступная мультиязычная универсальная интернет-энциклопедия.

  19. Хабрахабр

    Многофункциональный сайт, представляющий собой смешение новостного сайта и коллективного блога, созданный для публикации новостей, аналитических статей, мыслей, связанных с информационными технологиями, бизнесом и Интернетом.

  20. Интуит

    Интернет Университет Информационных Технологий — бесплатное дистанционное образование компьютерным дисциплинам.

  21. История компьютера

    Сайт об истории развития компьютеров и сферах их применения. Содержит большое количество статаей о развитии программного обеспечения.

  22. Портал искусственного интеллекта

    Статьи и файлы по основным направлениям исследований в области искусственного интеллекта.

    23. Другие ссылки

  23. Шесть советов по написанию более понятного программного кода

    Описание: Советы о том, как писать программный код таким, чтобы он был понятным, не создавал сложностей при последующем сопровождении.

  24. Эффективность алгоритмов

    Описание: Статья о написании оптимальных алгоритмов без лишних переменных, структур и т.п.

  25. Повышение эффективности алгоритмов компрессии цифровых аудиоданных на основе учета временной маскировки

    Авторы: Зырянов М.В.

    Описание: В диссертации проводится исследование и разработка метода повышения эффективности алгоритмов кодирования звуковых сигналов с компрессией цифровых аудиоданных путем учета временной маскировки и оценка достигаемого при этом выигрыша в скорости цифрового потока.

  26. Повышение эффективности классического генетического алгоритма

    Описание: В статье рассматриваются различные подходы к повышению эффективности генетического алгоритма.

  27. Функциональная эффективность нечетко специфицированных алгоритмов

    Авторы: Шинкаренко В.И.

    Описание: Определено понятие нечетко специфицированного алгоритма. Рассмотрены особенности спецификации таких алгоритмов. Выделена одна из их эксплуатационных характеристик — функциональная эффективность. Предложены статистические показатели оценки функциональной эффективности.

  28. Зависимость временной эффективности вычислительных программ от архитектуры суперскалярных процессоров

    Авторы: Шинкаренко В.И.

    Описание: Исследуется влияние архитектуры процессора на временную эффективность вычислительных программ. Предлагается критерий оценки эффективности параллельного выполнения команд процессором применительно к конкретным программным средствам. Представлены обоснование и методика для вычисления предложенного показателя эффективности.

  29. CASE–технологии. Современные методы и средства проектирования информационных систем

    Авторы: Вендров А.М.

    Описание: Обзор особенностей современных методов и средств проектирования информационных систем, основанных на использовании CASE–технологии.