Огромное расширение использования программного обеспечения во всех сферах жизни приводит к тому, что установка и разработка многоразового, надежного, надежного, гибкого, адаптивного программного обеспечения значительно ускоряется. По мере роста этих требований сложность процессов, которыми управляет программное обеспечение, возрастает вместе с потребностью в интеграции процессов из различных областей. В результате программы становятся все более объемными и сложными. Одной из проблем для разработчиков программного обеспечения является проверка соответствия между реализацией и спецификацией, особенно в компонентной программной инженерии. В этой книге мы предложим метод проверки этого соответствия.