Verificação da Conformidade

A enorme expansão na utilização de software em todos os campos da vida faz com que a instalação e o desenvolvimento de sistemas de software reutilizáveis, robustos, fiáveis, flexíveis e adaptáveis se tornem muito mais rápidos. Como estas exigências são cada vez mais fortes, a complexidade dos processos que o software gere está a aumentar juntamente com a procura da integração de processos de diferentes áreas. Como resultado, os programas de software estão a tornar-se cada vez maiores e complexos. Um dos desafios para os criadores de software é como verificar a conformidade entre a implementação e a especificação, especialmente na engenharia de software baseada em componentes. Neste livro, iremos propor um método para verificar essa conformidade.