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

A alternativa correta é "I". 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. 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. 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. IV. O encapsulamento em linguagens de programação orientadas a objetos é um efeito positivo do uso de TDA. A afirmativa II está incorreta, pois a composição e a herança são mecanismos utilizáveis na implementação de um objeto, não de um TDA. As afirmativas III e IV também estão incorretas, pois não se referem diretamente ao conceito de TDA.