Diagrama de fluxo de dados: é uma representação gráfica do "fluxo" de dados através de um sistema de informação, modelando seus aspectos de processo. Ele fornece apenas uma visão do sistema, a visão estruturada das funções, ou seja, o fluxo dos dados.
FONTE: WIKIPÉDIA
Diagrama de hierarquia modular: mostram relações hierárquicas de cima à baixo. Diagramas de hierarquia são geralmente utilizados para representar o negócio e a estrutura corporativa. Normalmente, o Diagrama de Hierarquia começa com um nó superior (o proprietário, o CEO, etc.) e depois continua com uma árvore até atingir os níveis mais baixos dentro de uma organização. NÃO é adequada à descrição dos requisitos de um sistema de informação
FONTE: https://www.edrawsoft.com/pt/hierarchy-diagram.html
Diagrama de transição de estados: Em engenharia de software e eletrônica digital, um Diagrama de Transição de Estados, ou Diagrama de Máquina de Estados, é uma representação do estado ou situação em que um objeto pode se encontrar no decorrer da execução de processos de um sistema.
FONTE: WIKIPÉDIA
Tabela de decisão: A Tabela de decisão é uma maneira de expressar, em forma de tabela, qual o conjunto de condições que é necessário ocorrer para que um determinado conjunto de ações deva ser executado.
FONTE: WIKIPÉDIA
Linguagem Z: A notação Z, nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais. É direcionado à especificação direta de programas de computador e na formulação de testes sobre o comportamento específico do programa.
FONTE: WIKIPÉDIA