SóProvas


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 é

Alternativas
Comentários
  • OCL( Object Constraint Language) Uma linguagem formal utilizada para expressar restrições secundárias de efeito livre; Geralmente usada para definir   e formalizar algum item de modelagem.

    GABARITO LETRA A

  • Chutei isso aí, por sorte acertei, nem sabia da existência dessa OCL.