Просмотр собрания по группе - Тема инженерия программного обеспечения
Результаты 1 по 2 из 2
Дата выпуска | Название | Автор(ы) |
---|---|---|
2008 | Возможность применения аппарата сетей Петри для валидации анализа бизнес-процессов | Ивашко, А. Г.; Коломиец, И. И.; Ivashko, A. G.; Kolomiets, I. I. |
2008 | Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения | Ивашко, А. Г.; Григорьев, Μ. В.; Ivashko, A. G.; Grigorev, Μ. V. |