Содержание

Библиотека

1)

форум "Публикации по языку ДРАКОН (статьи и тезисы)"

1. Литература

Страница на стадии исправления и переработки. Приносим извинения

1.1. Книги

Йодан Э. Структурное проектирование и конструирование программ. – М.: Мир, 1979. – 415 с.
ПРИОРИТЕТНЫЕ НАПРАВЛЕНИЯ РАЗВИТИЯ СОВРЕМЕННОЙ НАУКИ: ОТ ТЕОРИИ К ПРАКТИКЕ. Сборник. Фадеев А.Ю. КОГНИТИВНО-ЭРГОНОМИЧЕСКИЕ ТЕХНОЛОГИИ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЯ

1.1.1.
Паронджанов В.Д.Учись писать, читать и понимать алгоритмы. Алгоритмы для правильного мышления. Основы алгоритмизации. – М.: ДМК Пресс, 2012. – 520 с.: ил. 272 ISBN: 978-5-94074-800-7 (содержание; о заказе электронной версии) выдержки:
Часть 6. 393-424 Конструктор алгоритмов и формальное описание
Часть 7. 425-472 Теоретические основы языка Дракон
Глава 36. Визуальный структурный подход к алгоритмам и программам
Паронджанов В.Д.Как улучшить работу ума. Алгоритмы без программистов — это очень просто! М.: Дело, 2001 (монолитный doc2))
Паронджанов В.Д.Язык Дракон. Краткое описание (монолитный pdf)
Паронджанов В.Д.Занимательная информатика М.: РОСМЭМ, 2000
Паронджанов В.Д. Дружелюбные алгоритмы, понятные каждому. Как улучшить работу ума без лишних хлопот. – М.: ДМК Пресс, 2010. – 464 с. (описание; часть 7: Теоретические основы языка ДРАКОН)
1.1.2. Других авторов, включающие ДРАКОН
Тюгашев А.А.Графические языки программирования и их применение в системах управления реального времени. — Самара : Изд-во Самар. науч. центра РАН, 2009. 3)
Пышкин Е.В.Структурное проектирование: основание и развитие методов. С примерами на языке C++ : Учебное пособие. - С-Пб: Изд-во Политех. ун-та, 2005 4)
1.1.3. По формализации, эргономике, гарантоспособности
Леонтьев А.Н.Автоматизация и человек.//в кн.: Хрестоматия по инженерной психологии: Учеб. пособие. - М.:Высшая школа, 1991. 5)
Карпов Ю.Г.Model Checkng. Верификация параллельных и распределённых программных систем. – СПб.: БХВ-Петербург, 2010. 6)(выдержка по тематике сайта)
Мейер Б.Почувствуй класс. - М.: ИНТУИТ, Бином. Лаборатория знаний, 2011. 7)(выдержка по тематике сайта)
1.1.4. По методам и средствам гибридного программирования, визуализации
Кауфман В.Ш.Языки программирования. Концепции и принципы. - М.: ДМК-Пресс, 2010. 8)(выдержка по тематике сайта)
Касьянов В.Н., Евстигнеев В.А.Графы в программировании: обработка, визуализация и применение. - С-Пб: БХВ-Петербург, 2003 9)
Свердлов С.З.Языки программирования и методы трансляции: Учебное пособие (+ CD-ROM). - С-Пб: Питер, 2007 10)(выдержка по тематике сайта)
Вирт Н., Гуткнехт Ю.Разработка операционной системы и компилятора. Проект Оберон. - М.: ДМК Пресс, 2012 11)12)(выдержка по тематике сайта)
Поликарпова Н.И., Шалыто А.А.Автоматное программирование. - СПб.: Питер, 2010. - п. 2.1.2. 13)(выдержка по тематике сайта)
Nickerson, Jeffrey V.Visual Programming (1994). - Ph.D. Dissertation. New York University. (UMI# 9514409). 14)(перечень публикаций автора)
Морозов Ф.М.Схемы как средство описания деятельности. - ИФРАН, 2012. 15)(выдержка по тематике сайта)

Статья "Управление требованиями"

1.2. Статьи, выступления

1.2.1. Основоположника ДРАКОН-визуализации
Паронджанов В.Д. Учебник XXI века: он может быть эффективнее в 8 000 раз
Паронджанов В.Д.О возможностях визуализации и схематизации по эффективному использованию пространства документа: Выступление в ТВ-передаче «Мир без бумаги» цикла «Программа на будущее». - ТВ РФ:ВГТРК-Моя планета, 2012.(1-й эфир - Россия2, 16.03.2012) 16)
Паронджанов В.Д.Визуальный язык ДРАКОН и его применение в ракетно-космической отрасли, медицине и других областях
1.2.2. Других авторов, включающие ДРАКОН
Ермаков И.Е., Жигуненко Н.А.Двумерное структурное программирование; класс устремлённых графов. (Теоретические изыскания из опыта языка «ДРАКОН»). - М.:, Изд-во МГУ, 2010. Ролик выступления 17)
Шамардина Е.И., Манюнин П.А.Язык алгоритмических чертежей «Дракон», его математическая модель и редактор. — М.: МГИЭМ (ТУ), 2009. — С. 279, 280. 18)
Гуленков Г.А.Схемокурс — эффективное средство представления текстовой информации. // Доклад на конференции ИТО-2000, секция II, подсекция 4.
1.2.3. По формализации, эргономике, гарантоспособности
Ермаков И.Е.От ремесла — к инженерии, от мастерской — к заводу программных систем. // Доклад на конференции. Судак, 2010. 19)
Гегечкори А.Проблемы обучения информатике. // Информатика и образование - 1988. - №4. 20)
1.2.4. По методам и средствам гибридного программирования, визуализации
Теслер Л.Г.Языки программирования: В мире науки, 1984. - В сб. «Современный компьютер». - М.: Мир, 1986. - С. 76-89. 21)(выдержка по тематике сайта - «Современный компьютер», С. 78)
Steven P. ReissVisual Representations of Executing Programs: J. Vis. Lang. Comput. 18(2): 126-148 (2007). 22)(перечень публикаций автора; Рейсс активно работает в области представления программ и спецификаций)

1.3. Рецензии, сообщения

1.3.1. Официальные
Безель Я.Б.Можно ли улучшить работу ума? Новый взгляд на проблему.
(Рецензия на книгу «Паронджанов В.Д. Как улучшить работу ума: Алгоритмы без программистов — это очень просто!)
1.3.2. Общественные
Усов А.С.О создании языков (сообщение). - Екатеринбург, 26.01.2012. 23)
Донской А. Эргономика информационных представлений
Дагаев Дм.Алаверды ДРАКОНу
Жаринов В.Н. Занимательная информатика, или Матроскин в гостях у Мурзика (Рецензия на книгу «Паронджанов В.Д. Занимательная информатика. Мурзик в гостях у ДРАКОНа.)24)

2. Официальные документы

1)
Выдержки из изданий публикуются правомерно - с согласия их авторов и/или в соответствии с положениями части четвёртой ГК РФ (Ст. 1270, 1274).
2)
переформатированный на А4, одним файлом, с работающим оглавлением, возможностью поиска по всему тексту
3)
Монография; в этом сообщении автор (как TAU) повторил вывод книги.
4)
Наряду с другими графическими нотациями рассмотрен ДРАКОН. Выдержка - с оф. сайта вуза (без Гл. 4,5,8).
5)
Определение процесса формализации знаний, условий его эргономизации. Критика технократического подхода к взаимодействию человека с искусственными системами.
6)
Проблемы и пути повышения гарантоспособности, текстовые языки формализации техзаданий, перспективные для гибридизации. В Гл. 8 дан пример графического языка спецификации систем процессов.
7)
Программная инженерия для гарантоспособности ПО, требования к языкам спецификации и программирования (на базе авторского языка Эйффель/Eiffel). Показана реализация графического синтаксиса для структуры объектной программы (в среде EiffelStudio); дана критика блок-схем с авторских позиций. ISBN 978-5-9963-0573-5
8)
Анализ прогязыков как средства формализации и коммуникации.
9)
Рассмотрены задачи рисования графов и визуальной обработки графовых моделей. ISBN 5-94157-184-4
10)
Дан сравнительный анализ языков программирования и рассмотрено конструирование компиляторов. Большое внимание уделяется Оберону. Впервые публикуется его спецификация на русском языке. ISBN 978-5-469-00378-6, 5-469-00378-7
11)
В книге описан проект полной программной среды для современной рабочей станции. В дополнение к основной системе во всех деталях описан компилятор языка Оберон и графическая подсистема. ISBN 978-5-94074-672-0, 0-201-54428-8
13)
Подход к графическому специфицированию и программированию на базе автоматных диаграмм состояний.
14)
This dissertation addresses the question of whether we should be diagramming rather than coding, as well as the broader question of how the visual can be used in the process of programming. Содержит обзор способов гибридного представления программ и их реализаций.
15)
Исследование осуществлено с позиции одного из центральных направлений неклассической рациональности - деятельностного подхода. Сформулированы основные черты нового типа мышления - «схематизационного мышления».
16)
Начало выступления в записи - 8'00«, продолжительность - 0'43». Выступление подготовлено по инициативе ВГТРК.
17)
Публикация - в: Сборник трудов V Международной конференции «Инновационные информационно-педагогические технологии в системе ИТ-образования», Москва, 8-10 ноября 2010. — С. 452—461.
18)
Публикация - в сб.: Новые информационные технологии. Тезисы докладов ХVII Международной студенческой конференции-школы-семинара. ISBN 978-5-94506-223-8
19)
Определение процесса профессионального программирования, условий его гарантоспособности; упоминаются ДРАКОН и ГРАФИТ-ФЛОКС как примеры.
20)
О проблемах представления алгоритмов в информатике. Критически рассматриваются некоторые принципы прогязыков высокого уровня, показывается необходимость их приведения к закономерностям мышления человека.
21)
Обзор распространённых на момент написания языков программирования и принципов их реализации; упоминается система гибридного Паскаль-графического программирования ПЕКАН, показан её операторский интерфейс.
22)
This paper looks at the evolution of on-line visual repre- sentations of executing programs, showing how they have moved from concrete representations of relatively small programs to abstract representations of larger systems. Based on this examination, we describe the challenges implicit in future execution visualizations and methodologies that can meet these challenges.
23)
Автор размышляет о закономерностях формирования ЯПЗ и возможных подходах к переходу на графическую основу представления знаний.
24)
Отзыв автора на рецензию можно найти в этом сообщении.