Движение за открытую проектную документацию презентация

технологий, механики и оптики

по стандартам
Дополнительная – по требованию заказчика
Остальные
По требованию заказчика
Некоммерческие проекты
Образовательные
Качественная
Остальные
По желанию разработчика

проектируют одни люди, а изготавливают другие
Документация на аппаратуру
Проектная документация
Основные проектные решения
Результаты приемки
Руководство пользователя

Программное обеспечение проектируют и изготавливают одни и те же люди
Документация на программное обеспечение
Руководство пользователя
Руководство разработчика
Исходный код (для проектов с открытым исходным кодом)

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

доступна для дальнейшего использования
Движение за открытую проектную документацию – свободное, однако находится в другой плоскости по сравнению с Движением за свободное программное обеспечение (Free Software Foundation) или Движением за открытые исходные коды (Open Source Foundation)
Результаты и идеи Движения за открытую проектную документацию могут быть применены не только к свободному программному обеспечению, но и к коммерческому, секретному и другим видам программного обеспечения

без проектной документации не бывает
На www.sourceforge.net – не 76000 проектов, а значительно меньше
Код должен основываться на проектной документации, а не наоборот
Документация должна описывать не только конечный продукт, но и процесс его создания

явном выделении состояний
Проектирование, управляемое моделями
Область использования – системы со сложным поведением
Может использоваться на различных аппаратных платформах
Программируемых логических контроллерах
Микроконтроллерах
Микропроцессорах

программирование с явным выделением состояний
Классические вычислительные алгоритмы

= Входные воздействия
Состояния + Входные воздействия = Автоматы без выхода
Автоматы без выхода + Выходные воздействия = Автоматы

Многозначное кодирование состояний
Наблюдаемость по состояниям
Система взаимосвязанных автоматов
Протоколирование
Проектная документация

в исходный код
Программа работает и протоколируется в терминах автоматов

студенты со всей России
Медалисты международных олимпиад по информатике
Медалисты чемпионата мира по программированию

экзамены
2001-2002 Обычное образование 2
Лекции, курсовые работы и экзамены
2002-2003 Экспериментальное обучение
Лекции и проекты
Создание подробной проектной документации
Более 40 полностью выполненных проектов
Эксперимент продолжается

60 часов)
Описание задачи
Описание интерфейса пользователя
Принятые проектные решения
Описания автоматов и классов
Схемы автоматов и классов
Протоколы проверки
Список литературы
Исходный код (не менее 20 часов)
Анатолий Шалыто тратит около 10–15 часов на проект

другое

программирование
Технология разработки визуализаторов
Объектно-ориентированная визуализация вычислительных алгоритмов

автоматов
Словесное описание автоматов
Схема связей автомата (интерфейс)
Графы переходов
Изоморфное построение исходного кода
Проверочные протоколы

{
int y_old = dg->y0;
switch(dg->y0) {
case 0:
A8(e, dg);
if (x220(dg)) dg->y0 = 4;
else if (dg->y7 == 2) dg->y0 = 7;
else if (dg->y8 == 2) dg->y0 = 1;
break;
case 1:
A4(e, dg); A3(e, dg); A1(e, dg);
if (dg->y4 != 0) dg->y0 = 6;
else if (dg->y7 == 2 || dg->y7 == 4) dg->y0 = 8;
else if (dg->y3 != 0) dg->y0 = 5;
else if (dg->y1 == 0) dg->y0 = 0;
else if (dg->y1 == 3) dg->y0 = 7;
…

1.20
Cynical
GlowBlow
Cynical_3

классов)
Диаграмма классов
Все этапы из плана реализации проекта дизель-генератора

по XML–описанию
Вид
Интерфейс пользователя, основанный на библиотеке Vizi
Контроллер
Библиотека Vizi

литературы
Глава 2. Описание алгоритма
Глава 3. Реализация алгоритма
Глава 4. Описание модели данных
Глава 5. Преобразование реализации
Глава 6. Описание интерфейса

Описание конфигурации
Заключение
Список литературы
Приложения
Реализация алгоритма
Преобразованная реализация
XML–описание визуализатора
Сгенерированные исходные коды
Код интерфейса пользователя

дерево путей
Алгоритмы на 2–3 деревьев
Битоническая задача коммивояжера
Алгоритм Укконена
Алгоритм Прима
Алгоритм построения простых строк и циклов де Брюина

– Проект UniMod (на английском)