///
Esta questão foi aplicada no ano de 2018 pela banca FAURGS no concurso para TJ-RS. A questão aborda conhecimentos da disciplina de Engenharia de Software, especificamente sobre Linguagem de Modelagem Unificada.
Esta é uma questão de múltipla escolha com 5 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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 é