Verificao da Conformidade

A enorme expanso na utilizao de software em todos os campos da vida faz com que a instalao e o desenvolvimento de sistemas de software reutilizveis, robustos, fiveis, flexveis e adaptveis se tornem muito mais rpidos. Como estas exigncias so cada vez mais fortes, a complexidade dos processos que o software gere est a aumentar juntamente com a procura da integrao de processos de diferentes reas. Como resultado, os programas de software esto a tornar-se cada vez maiores e complexos. Um dos desafios para os criadores de software como verificar a conformidade entre a implementao e a especificao, especialmente na engenharia de software baseada em componentes. Neste livro, iremos propor um mtodo para verificar essa conformidade.