| |
Перевірка коректності потреб до програмних систем, поданих атрибутними транзиційними системами [Текст] / С. М. Баранов, В. А. Волков, О. Б. Годлевський [et al.]
// Кибернетика и системный анализ. – 2003. – № 6. – 3-11.
Запропоновано підхід до перевірки потреб або специфікацій програмних систем |
