Визуальный язык ДРАКОН

Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность

Инструменты пользователя

Инструменты сайта


grafit-floks

Различия

Здесь показаны различия между двумя версиями данной страницы.

Ссылка на это сравнение

Предыдущая версия справа и слева Предыдущая версия
Следующая версия
Предыдущая версия
grafit-floks [2012/04/30 12:21]
Владислав Жаринов [ГРАФИТ-ФЛОКС]
grafit-floks [2012/06/12 21:25]
Владислав Жаринов [ГРАФИТ-ФЛОКС]
Строка 8: Строка 8:
  
 Технология обсуждалась в [[http://​forum.oberoncore.ru/​viewtopic.php?​f=62&​t=1091|специализированной теме]] форумов проекта. Технология обсуждалась в [[http://​forum.oberoncore.ru/​viewtopic.php?​f=62&​t=1091|специализированной теме]] форумов проекта.
 +
 +Также доступен пример схемы процедуры с обсуждением в другой теме (начиная с [[http://​forum.oberoncore.ru/​viewtopic.php?​p=43805#​p43805|этого сообщения]]).
  
 Сущность технологии - в разделении формализации для человека-участника и для технического исполнителя. Участники выступают в ролях специалиста в предметной области,​ аналитика-постановщика задач (объединяемых в роли т.н. комплексника),​ программиста. Это выражается как в выделении этапов разработки (формализации профессиональных знаний,​ кодирования и генерации),​ так и в разграничении содержания описаний на уровни - управленческий,​ алгоритмический,​ программный. Техническим исполнителем в ГРАФИТ-ФЛОКС принят ряд БЦВК "​Бисер"​ (собственной разработки НПЦ АП), встроенный в объект управления (ракету-носитель или разгонный блок сторонней разработки). Сущность технологии - в разделении формализации для человека-участника и для технического исполнителя. Участники выступают в ролях специалиста в предметной области,​ аналитика-постановщика задач (объединяемых в роли т.н. комплексника),​ программиста. Это выражается как в выделении этапов разработки (формализации профессиональных знаний,​ кодирования и генерации),​ так и в разграничении содержания описаний на уровни - управленческий,​ алгоритмический,​ программный. Техническим исполнителем в ГРАФИТ-ФЛОКС принят ряд БЦВК "​Бисер"​ (собственной разработки НПЦ АП), встроенный в объект управления (ракету-носитель или разгонный блок сторонней разработки).
Строка 13: Строка 15:
 ===== Авторская оценка ===== ===== Авторская оценка =====
  
-Данная технология полностью отвечает потребностям организации-разработчика (НПЦ АП). Разделение формализации и принятые техпроцессы обеспечивают требуемый уровень взаимодействия специалистов-комплексников (т.е. предметников и аналитиков-постановщиков задач) с программистами. ​Достижение требуемой гарантоспособности в процессе разработки ​обеспечивается за счёт удобства "​мозговой проверки" человекочитаемого описания и однозначности генерации ПО по нему.+Данная технология полностью отвечает потребностям организации-разработчика (НПЦ АП). Разделение формализации и принятые техпроцессы обеспечивают требуемый уровень взаимодействия специалистов-комплексников (т.е. предметников и аналитиков-постановщиков задач) с программистами. ​C 1996 года ГРАФИТ-ФЛОКС официально применяется в НПЦ АП (см. выдержку из Распоряжения №3 [[http://​forum.oberoncore.ru/​viewtopic.php?​p=21325&​sid=10f33a54173890b82a63499a897933ae#​p21325|здесь]]). По сообщению Паронджанова, в связи со стабильно высокими результатами первых проектов было принято решение использовать ​технологию в последующих разработках.
  
 ===== Независимые оценки ===== ===== Независимые оценки =====
  
 Технология создавалась для собственного пользования организации-разработчика,​ поэтому распространение и поддержка не предполагались. Технология создавалась для собственного пользования организации-разработчика,​ поэтому распространение и поддержка не предполагались.
-C 1996 года ГРАФИТ-ФЛОКС официально применяется в НПЦ АП (см. выдержку из Распоряжения №3 [[http://​forum.oberoncore.ru/​viewtopic.php?​p=21325&​sid=10f33a54173890b82a63499a897933ae#​p21325|здесь]]). По сообщению Паронджанова, в связи со стабильно высокими результатами первых проектов было принято решение использовать ​технологию в последующих разработках.+ 
 +Достижение требуемой гарантоспособности в процессе разработки ​обеспечивается за счёт удобства "​мозговой проверки" человекочитаемого описания и однозначности генерации ПО по нему.
  
 Технология рассчитана на отделение императивной компоненты формализованного знания от декларативной и связующей компонент (в смысле подразделения,​ вводимого в [[http://​forum.oberoncore.ru/​download/​file.php?​id=3072|этой работе]] как "​базис трёх абстракций"​). Технология рассчитана на отделение императивной компоненты формализованного знания от декларативной и связующей компонент (в смысле подразделения,​ вводимого в [[http://​forum.oberoncore.ru/​download/​file.php?​id=3072|этой работе]] как "​базис трёх абстракций"​).
  
grafit-floks.txt · Последние изменения: 2012/06/12 21:25 — Владислав Жаринов