Os vários diagramas que fazem parte de UML 2.5 proporcionam...
Próximas questões
Com base no mesmo assunto
Q922588
Engenharia de Software
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 é