- ID
- 2767771
- Banca
- FAURGS
- Órgão
- TJ-RS
- Ano
- 2018
- Provas
- Disciplina
- Engenharia de Software
- Assuntos
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 é