A enorme expansao na utilizacao de software em todos os campos da vida faz com que a instalacao e o desenvolvimento de sistemas de software reutilizaveis, robustos, fiaveis, flexiveis e adaptaveis se tornem muito mais rapidos. Como estas exigencias sao cada vez mais fortes, a complexidade dos processos que o software gere esta a aumentar juntamente com a procura da integracao de processos de diferentes areas. Como resultado, os programas de software estao a tornar-se cada vez maiores e complexos. Um dos desafios para os criadores de software e como verificar a conformidade entre a implementacao e a especificacao, especialmente na engenharia de software baseada em componentes. Neste livro, iremos propor um metodo para verificar essa conformidade.