Disciplinas:
Arquitetura de Computadores 3
Arquitetura de Software 1
Banco de Dados 8
Direito Administrativo 2
Direito Constitucional 1
Direito Digital 1
Direito Penal 1
Engenharia de Software 11
Governança de TI 8
Inglês 12
Legislação Estadual 3
Legislação Federal 2
Legislação dos Tribunais de Justiça (TJs) 2
Português 16
Programação 5
Redes de Computadores 3
Sistemas Operacionais 1
Os vários diagramas que fazem parte de UML 2.5 proporcionam representações gráficas de modelos do sistema. No entanto, estas representações gráficas, muitas vezes, não são suficientes; muitas vezes, pré-condições ou pós-condições devem ser satisfeitas antes de completar alguma ação especificada. __________ complementa UML, permitindo especificar pré e pós-condições de uma maneira formal.
A alternativa que contém o termo que completa corretamente a lacuna do texto acima é
