Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность
Здесь показаны различия между двумя версиями данной страницы.
Предыдущая версия справа и слева Предыдущая версия | Последняя версия Следующая версия справа и слева | ||
grafit-floks [2012/04/30 12:21] Владислав Жаринов [ГРАФИТ-ФЛОКС] |
grafit-floks [2012/06/12 21:18] Владислав Жаринов |
||
---|---|---|---|
Строка 13: | Строка 13: | ||
===== Авторская оценка ===== | ===== Авторская оценка ===== | ||
- | Данная технология полностью отвечает потребностям организации-разработчика (НПЦ АП). Разделение формализации и принятые техпроцессы обеспечивают требуемый уровень взаимодействия специалистов-комплексников (т.е. предметников и аналитиков-постановщиков задач) с программистами. Достижение требуемой гарантоспособности в процессе разработки обеспечивается за счёт удобства "мозговой проверки" человекочитаемого описания и однозначности генерации ПО по нему. | + | Данная технология полностью отвечает потребностям организации-разработчика (НПЦ АП). Разделение формализации и принятые техпроцессы обеспечивают требуемый уровень взаимодействия специалистов-комплексников (т.е. предметников и аналитиков-постановщиков задач) с программистами. 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|этой работе]] как "базис трёх абстракций"). | ||