SoftCraft
разноликое программирование

Top.Mail.Ru

Ранее выложенная информация

2007

21.10.2007 К. Джордж. The RAISE Method Group: Алгебраическое проектирование класса
22.09.2007 В. Шахов. Программно-аппаратная декомпозиция реактивных параллельных систем
02.07.2007 Б.П. Кузнецов Настраиваемые автоматные программы
20.03.2007 Эдвард А. Ли. Проблемы с потоками
22.02.2007 В.Е. Зюбин. Программирование информационно-управляющих систем на основе конечных автоматов: учебное пособие

2006

15.11.2006 А.И.Орехов. Проект "Логика"
22.10.2006 В. Шахов. Моделирование программно-аппаратных "реактивных" систем раскрашенными сетями Петри
21.10.2006 Б.П. Кузнецов. Диагностика неисправностей модулей дискретного ввода-вывода
17.10.2006 В.С. Любченко. К проблеме создания модели параллельных вычислений
18.09.2006 Р.Ю. Пузиков. Немного философии о простых числах
10.09.2006 В.Е. Зюбин. Гиперавтомат - математическая модель сложных алгоритмов управления
20.08.2006 А.Г. Пискунов, С.М. Петренко. Graphviz и Sed: построение схемы иерархии наследования
20.08.2006 А.Г. Пискунов, А.С. Горбань. Doxygen и Graphviz: документирование проектов на C#
08.05.2006 Выложена программа В.С. Любченко, моделирующая асинхронное суммирования данных с использованием КА-технологии.
10.03.2006 А.И. Легалов. Использование асинхронных списков в потоковой модели вычислений
30.01.2006 В. Зюбин. Программирование ПЛК: языки МЭК 61131-3 и возможные альтернативы
04.01.2006 Борис Мурташин, Александр Артюшин. Способ организации персистентной кэш памяти для многозадачных, в том числе симметричных, многопроцессорных компьютерных систем
04.01.2006 Борис Мурташин, Александр Артюшин. К вопросу о кодогенерации для архитектур с ILP (с параллелизмом на уровне команд)

2005

15.11.2005 Владимир Зюбин. Язык Рефлекс - диалект Си для программируемых логических контроллеров
15.11.2005 Антон Орехов. Языки программирования – эволюция?
23.10.2005 Борис Муратшин. Еще раз об оптимальной генерации кода
19.10.2005 Ю.Г. Медведев. Некоторые применения трехмерной клеточно–автоматной модели потока вязкой жидкости RD-I
28.09.2005 О.Л. Бандман. Клеточно-автоматные модели пространственной динамики
22.09.2005 Некоторые вопросы защиты информации на компьютере (c точки зрения профессионального установщика охранных систем на автомобили)
25.07.2005 Добавлен документ, описывающий использование O2M из командной строки
25.07.2005 На странице загрузки, посвященной ППП, размещены исходные тексты утилит, используемых при программировании на языке O2M:
22.07.2005 Любченко В.С. Открой свое созвездие или тест на воображение
16.07.2005 На странице загрузки, посвященной ППП, размещена новая версия системы O2M для Windows с библиотекой, содержащей модули для работы с консолью Windows и графическими приложениями под Windows.

Для демонстрации возможностей добавлены новые примеры программ на О2М::

28.05.2005 Кузнецов Б.П. Моделирование дискретных и непрерывных автоматов средствами электронных таблиц
04.04.2005 Кузнецов Б.П. Аналоговые триггеры
28.03.2005 Орехов А.И. Логическое программирование в Mozart
25.03.2005 Памяти Виктора Ильича Варшавского
23.03.2005 Кузнецов Б.П. Цветное программирование
26.02.2005 Орехов А.И. Приемы параллельного программирования в Mozart 1.3.1
21.02.2005 Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UML. SWITCH-технология. Eclipse

2004

28.12.2004 Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. State Machine - расширение языка Java для эффективной реализации автоматов
18.12.2004 Беляев А. В., Суясов Д. И., Шалыто А. А. Компьютерная игра "Космонавт". Проектирование и реализация
17.11.2004 Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. Паттерн State Machine. Внедрение. Сравнение с другими подходами
05.11.2004 Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. State Machine — новый паттерн объектно-ориентированного проектирования
25.10.2004 Корнеев Г. А., Шамгунов Н. Н., Шалыто А.А. Обход деревьев на основе автоматного подхода
20.10.2004 Легалов А.И., Привалихин Д.В. Эволюционное расширение программ в языке "Пифагор"
20.10.2004 Обновленная версия инструментальной системы, поддерживающей программирование на языке "Пифагор"
20.10.2004 Обновленная версия инструментальных ссредств для программирования на языке O2M
12.10.2004 Левченко В.Д. Асинхронные параллельные алгоритмы как способ достижения 100% эффективности вычислений
10.10.2004 Шалыто А.А. ИТ-образование. Поговорим о главном
05.10.2004 Шопырин Д.Г., Шалыто А.А. Синхронное программирование
15.09.2004 Зюбин В.Е. Исследование условий применимости языка параллельного программирования СПАРМ для задач построения надежных управляющих программ
03.09.2004 Легалов А.И. Построение алгоритмов за счет ограничений, накладываемых на максимальный параллелизм (на примере задачи сортировки одномерного массива)
02.09.2004 Зюбин В.Е., Петухов А.Д. Распределение вычислительных ресурсов в средах с многопоточной реализацией гипер-автомата
25.08.2004 Ваганов С.А. FloraWare – ускорить разработку приложений (подробный обзор среды программирования)
12.08.2004 Со страницы загрузки, отведенной для ППП, можно скачать обновленную версию системы программирования на языке О2М

Добавлены новые примеры программ на О2М::

  • обработка динамических структур данных
  • использование эволюционного расширения мультиметодов и монометодов
12.08.2004 Легалов А. И., Швец Д.А. Языковая поддержка эволюционного расширения процедурных программ
03.08.2004 Розенблюм Л.Я. Отзыв на работу А.В. Немченко "Параллельные цифровые автоматы"
22.06.2004 Берлинский К. Набор серебряных пуль (справочник удачных проектных решений при разработке ПО)
26.05.2004 Кузнецов Б.П. Зигзаг в трансляции логических выражений
23.05.2004 Информационные сообщения о семинарах:
16.05.2004 Наумов Л.А., Шалыто А.А. "Цветные" клеточные автоматы, или клонирование Мона Лизы
29.12.2003 Декларативное программирование перевалило за цифру семь:
08.04.2004 Кузнецов Б. П. Конечные автоматы в виде булевых формул и их оптимизация
24.03.2004 Мазин М.А., Шалыто А.А. Macromedia Flash и автоматы
01.03.2004 М.А. Казаков, Г.А. Корнеев, А.А. Шалыто. Разработка логики визуализаторов алгоритмов на основе конечных автоматов
21.02.2004 Декларативное программирование. Еще два подраздела в "Логическом программировании"
13.02.2004 Сформирован отдельный раздел по процедурно-параметрическому программированию.
Добавлены: описание языка О2М, система программирования, примеры.
12.02.2004 А.А. Штучкин, А.А. Шалыто. Совместное использование теории построения компиляторов и SWITCH-технологии (на примере построения калькулятора)
07.02.2004 А.А. Шалыто. Алгоритмизация и программирование задач логического управления (увесистый документ в 55 страниц)
05.02.2004 Б.П. Кузнецов. Экспоненциальные автоматы (новый взгляд на RS-триггер?)
31.01.2004 А.А. Шалыто. Зачем писать...? (беллетристика)
18.01.2004 Параллельные цифровые автоматы:
1. Основные понятия
 2. Подготовка к синтезу
 3. Синтез
 4. Собственно параллелизм
05.01.2004 Тестовое программирование (новый взгляд на синтез тестов, позволяющий описать алгоритм реализуемой задачи)
05.01.2004 Об автоматизации "стиральных машин" (легкое чтиво об автоматном программировании)

2003

29.12.2003 Декларативное программирование. Продолжение следует, но в другом ракурсе.
13.12.2003 Реализация рекурсивных алгоритмов на основе автоматного подхода или еще раз об эквивалентных преобразованиях между разными парадигмами
13.12.2003 Построение автономного виртуального робота на основе автоматного подхода (о соревнующихся программируемых системах)
05.11.2003 Графические и текстовые формы спецификации сложных управляющих алгоритмов: непримиримая оппозиция или кооперация?
28.10.2003 Технология автоматного программирования и ее возможности (А.А. Шалыто)
17.10.2003 Декларативное программирование. В продолжение главы:
15.10.2003 О движении "За открытую документацию" (А.А. Шалыто)
03.10.2003 И все-таки: почему никто не использует функциональные языки?
03.10.2003 Декларативное программирование. Еще одна часть:
03.10.2003 RS - триггер... Ох, нам бы его проблемы!!!
16.09.2003 Наумов Л.А., Шалыто А.А. Клеточные автоматы. Реализация и эксперименты
16.09.2003 Любченко В.С. Автоматная реализация магазинных автоматов
23.08.2003 Глебов А. Н. Параллельное программирование в функциональном стиле. Еще один подход к построению параллельных программ
27.08.2003 Продолжается публикация разделов "Декларативного программирования":
23.08.2003 Кузнецов Б.П. Орграфы и булевы формулы
21.07.2003 Шалыто А.А., Туккель Н.И. АВТОМАТЫ И ТАНКИ. Объектно-ориентированное программирование с явным выделением состояний
21.07.2003 Любченко В.С. Решение задачи о преступниках с использования КА-технологии.
04.07.2003 Еще один комплект "Декларативного программирования" от И. Дехтяренко:
21.06.2003 Любченко В.С. Решение задачи о стрелках с использования КА-технологии.
13.06.2003 Подборка новых демонстрационных материалов от В.С. Любченко:
  1. Обновляенная версия библиотеки FSA, используемые для моделирования параллельной работы автоматов.
  2. Упрощенный вариант решения задачи стрелков Майхилла. Создан для сравнения с аналогичным решением А.А. Шалыто.
  3. Модель RS-триггера в инерпретации автора.
04.06.2003 Изменено описание функционального языка параллельного программирования "Пифагор", выложена новая версия транслятора с интерпретирующей средой. "Достучаться" до всего можно отсюда.
28.05.2003 Дехтяренко И. Декларативное программирование. Часть 4: Программы как теории
29.03.2003 Информационные сообщения о семинарах:
10.02.2003 Задача о ходе коня (оптимизированный алгоритм в автоматной обертке)
04.02.2003 Декларативное программирование (первые три части от И. Дехтяренко)
  1. Программирование в повествовательном наклонении
  2. История
  3. Инструменты

2002

30.12.2002 Автоматные схемы программ
( С исторической ремаркой автора )
20.12.2002 Повторы в разных ракурсах... (брюзжание о рекуррентностях)
13.12.2002 В лабиринтах Ханойских башен (в продолжение дискуссий о методах и стилях программирования)
13.12.2002 О борьбе с рекурсией (война стилей продолжается:)
07.12.2002 Четыре танкиста и компьютер (еще раз об игре Robocode)
07.12.2002 Преобразование итеративных алгоритмов в автоматные (а когда-то мы так разрабатывали железо :)
30.11.2002 Еще раз об эволюционном расширении программ в двух статьях:
24.11.2002 Как добиться успеха в безнадежных проектах (RUP применительно к местным условиям)
23.09.2002 Сильные стороны функционального программирования (чего пока нет в других парадигмах)
19.09.2002 О программировании за 1 минуту (из рассылки от 19.10.2002)
19.09.2002 Программирование за... 1 (одну) минуту (использование еще одной инструментальной надстройки над switch-технологией)
19.09.2002 Брюзжалки: новый раздел на сайте
30.09.2002 Крылья, ноги и хвосты (или о разнообразии методов программирования на примере простой задачи)
17.09.2002 Головешин А. Использование конвертора Visio2SWITCH (генерация текста автоматной программы по диаграммам, построенным в MS Visio)
13.09.2002 Обедающие философы Дейкстры (об автоматной модели параллельных процессов в итерпретации В. Любченко)
11.09.2002 Ханойские башни и автоматы
10.09.2002 Сформирован новый раздел "Нейроинформатика", в котором размещены:.
23.08.2002 Добавлены воспоминания Л.Я. Розенблюма об участниках Гавриловских школ по теории автоматов .
04.07.2002 Когда-то и мы были сильны и независимы! По этому поводу начаты публикации воспоминаний участников Гавриловских школ по теории автоматов. В настоящий момент выложены:
17.05.2002 Реализация автоматов при программировании событийных систем
06.05.2002 Эволюция мультиметодов при процедурном подходе
06.05.2002 Автоматное объектно-ориентированное проектирование типовых алгоритмов логического управления
06.05.2002 Структура и сложность модулей циклических программ
06.05.2002 Еще одна рецензия на работы по автоматному программированию и SWITCH-технологии
15.04.2002 ООП, мультиметоды и пирамидальная эволюция
05.04.2002 Стратегии управления в вычислительных системах и языках программирования
22.03.2002 Гипноз RS-триггера
20.03.2002 Система управления дизель-генератором (фрагмент). Программирование с явным выделением состояний
01.03.2002 От тьюрингова программирования к автоматному
01.03.2002 Система управления танком для игры Robocode. Объектно-ориентированное программирование с явным выделением состояний
28.02.2002 Искусство программирования ... RS-триггера?! Часть 3. Тест на синхронную работу
28.02.2002 Искусство программирования ... RS-триггера?! Часть 2. Программирование
21.02.2002 Искусство программирования ... RS-триггера?! Часть 1. Электронная схема и формальные модели
31.01.2002 Функционально-потоковое параллельное программирование: модель вычислений, язык, среда

2001

29.11.2001 Библиотеки и примеры программ В.С. Любченко, раскрывающие его понимание автоматного программирования
18.11.2001 Постскриптум к размерности программного пространства и модели триггера
09.11.2001 Программирование с явным выделением состояний
09.11.2001 Рецензии на работы по автоматному программированию и SWITCH-технологии
18.09.2001 Размерность программного пространства и модель триггера
21.06.2001 Распределенные конечные автоматы
09.06.2001 Последовательно-событийные автоматы
02.06.2001 Процедурно-параметрическое программирование
16.05.2001 Конечно-автоматная технология программирования
11.05.2001 Использование SWITCH-технологии при разработке программ в среде "FLORA/C+" (модель технологического процесса в цехе холодной прокатки)
07.05.2001 Разнорукое программирование (эволюционное кодирование и разные парадигмы)
17.04.2001 Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 2
16.04.2001 Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 1
18.03.2001 Интервью с Бьерном Страуструпом. Будущее за мультипарадигматическим программированием
12.03.2001 Психология автоматного программирования (автоматные модели в простых программах)
09.03.2001 Алгоритмизация и программирование для систем логического управления и "реактивных" систем
25.02.2001 Реализация алгоритмов логического управления программами на языке функциональных блоков
19.02.2001 Добавился пример программной документации на подсистему управления печатью к статье SWITCH-технология: автоматный подход к созданию программного обеспечения "РЕАКТИВНЫХ" систем (в формате pdf)
17.02.2001 Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления
13.02.2001 Могут ли процессы заменить классы?
01.02.2001 Образцы и программное обеспечение: основные понятия и определения (введение, истоки, немного истории)
07.01.2001 SWITCH-технология: автоматный подход к созданию программного обеспечения "РЕАКТИВНЫХ" систем

2000

15.12.2000 Объектно-ориентированный подход действительно лучше структурного
01.12.2000 Лекции по трансляторам. Тема 8
27.11.2000 Дописана многострадальная пятая тема в курсе лекций по трансляторам
14.11.2000 Как внешние функции улучшают инкапсуляцию классов
05.11.2000 Как разделить окно на части
05.11.2000 Обертка для автоматизации
05.11.2000 Оболочка из классов для OLE
05.11.2000 Дефекты OLE
04.11.2000 Оболочка из классов для COM
04.11.2000 Практическое использование потоков
03.11.2000 Классовая оболочка для потоков
31.10.2000 Перья и кисти внутри классов
30.10.2000 Обертка для контекста устройств
29.10.2000 Использование фабрики классов для окон диалога
27.10.2000 Использование "Контроллера" в диалоге
26.10.2000 Седьмая тема в курсе лекций по трансляторам
20.10.2000 Шестая тема в курсе лекций по трансляторам
14.10.2000 Классовая обертка для элементов управления
13.10.2000 Windows и "Модель-Вид-Контроллер"
12.10.2000 Четвертая тема в курсе лекций по трансляторам
08.10.2000. Открытие сайта. На нем выложены: