abstract: Публикация посвящена построению модели системы клиент-сервер на основе расширенного автомата. В модель введены дополнительные свойства, позволяющие выделить особенности системы клиент-сервер.
keywords: модель, расширенный автомат, качество программного обеспечения, автоматизированное тестирование