Em relação às assertivas abaixo, relacionadas à programação orientada a objetos,

I. Uma classe abstrata deve necessariamente possuir ao menos um método abstrato.

II. As hierarquias de generalização/especialização agrupam características comuns a várias classes em classes mais gerais, conhecidas como superclasses.

III. Em Java, o modificador final pode ser utilizado para indicar classes folha na hierarquia de generalização/especialização, isto é, classes que não podem ter subclasses herdando delas.

IV. Em Java, o modificador static é utilizado para representar objetos que devem ser armazenados em disco rígido.

verifica-se que