As razões de cardinalidade possíveis para os tipos de relacionamento binário são: 1:1, 1:N e N:1. A razão de cardinalidade possível para o tipo de relacionamento ternário é de M:N.

Em alguns casos, diversos atributos juntos formam uma chave, significando que a combinação dos valores dos atributos deve ser distinta para cada entidade. Nesse caso, esse atributo-chave pode inclusive conter atributos supérfluos.

O atributo de um tipo de entidade cujos valores são distintos para cada uma das entidades do conjunto de entidade é chamado atributo-chave.

Define-se tipo de entidade um conjunto de entidades que possuem os mesmos atributos. De acordo com a notação original de Chen, a representação de um tipo de entidade, nos diagramas ER, é de duas elipses concêntricas.

Cada entidade tem atributos que são propriedades particulares que a descrevem. Diversos tipos de atributos ocorrem no modelo ER, entre eles, os atributos simples e os compostos. Os atributos simples têm valor único para cada entidade, já os atributos compostos possuem um conjunto de valores para a mesma entidade.

Uma entidade pode ser um objeto com existência física ou um objeto com existência conceitual.

As especificações formais de sistemas devem ser precisas e isentas de ambigüidade, permitindo, assim, eliminar dúvidas em uma especificação e evitar problemas de má interpretação de linguagem.

Entre as atividades de processo de engenharia de requisitos, destacam-se: o estudo da viabilidade do sistema; a obtenção e a análise de requisitos; a especificação de requisitos e sua documentação; e a evolução dos requisitos.

Constituem, normalmente, estágios de um processo de teste de software: teste de unidade, teste de módulo, teste de subsistema, teste de sistema e teste de aceitação. No teste de unidade, verificam-se os componentes individuais, para garantir sua operação correta.

Um processo de software é constituído por um conjunto de atividades e resultados associados que geram um produto software. Entre essas atividades, destacam-se: especificação, desenvolvimento, validação e evolução do software, que são comuns a todos os processos de software.