Зведений каталог бібліотек Миколаєва
681.03Лавріщева, К. М. Формалізми об'єктного проектування і тестування розподілених програмних систем [Текст] / К.М. Лавріщева, А.Ю. Стеняшин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 25-34.
- Ключові слова:
- Анотація:
Розглядається підхід до проектування розподілених програмних систем формальним поданням об'єктів функціонального і інтерфейсного типів.
- Є складовою частиною документів:
- Теми документа