O conceito de Tipo de Dados Abstrato (TDA) é popular em linguagens de programação. Nesse contexto, analise as afirmativas a seguir. I. A especifica...

A alternativa correta é a letra D) I e II. I. A especificação de um TDA é composta das operações aplicáveis a ele, da sua representação interna, e das implementações das operações. Essa afirmação está correta, pois a especificação de um TDA é composta desses elementos. II. Dois mecanismos utilizáveis na implementação de um TDA em programas orientados a objetos são a composição e a herança. Essa afirmação também está correta, pois a composição e a herança são mecanismos utilizados na implementação de um TDA em programas orientados a objetos. III. Se S é um subtipo de outro T, então entidades do tipo S em um programa podem ser substituídas por entidades do tipo T, sem alterar a corretude desse programa. Essa afirmação não está correta, pois a substituição de entidades do tipo S por entidades do tipo T pode alterar a corretude do programa. IV. O encapsulamento em linguagens de programação orientadas a objetos é um efeito positivo do uso de TDA. Essa afirmação também não está correta, pois o encapsulamento é uma característica da programação orientada a objetos, mas não é um efeito positivo do uso de TDA. Portanto, apenas as afirmativas I e II estão corretas.