График выхода изданий
-
№2 Июнь 2024
-
№3 Сентябрь 2024
-
№4 Декабрь 2024
Статьи по ключевому слову "формализация"
Логико-лингвистическое моделирование процесса индивидуального принятия инвестиционного решения
- Год: 2008
- Выпуск: 6
- 0
- 5238
- Страницы: 183-186
Синтез простых структур и наборов импульсных управляющих воздействий
- Год: 2008
- Выпуск: 5
- 0
- 5290
- Страницы: 134-138
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 5008
- Страницы: 191-195
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 5074
- Страницы: 236-241
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
- Год: 2011
- Выпуск: 3
- 0
- 5101
- Страницы: 180-184
Формирование оценки изменений программного обеспечения АСУП
- Год: 2011
- Выпуск: 1
- 0
- 5047
- Страницы: 65-71