Considere a seguinte especificação para… (NCE e FUJB (UFRJ) 2005)

Questões de Informática · NCE e FUJB (UFRJ)

InformáticaUML e engenharia de softwareNCE e FUJB (UFRJ) 2005

BNDES

Considere a seguinte especificação para um processo que recebe como entrada um vetor V com n+1 posições e produz uma saída O que é verdadeira se e somente se o valor da primeira posição aparece em uma das n posições seguintes. Pré: {n>1 } A pós-condição que completa esta especificação é:

A{∃ i∈2..n ( V[i]=V[1] ) ↔ O= TRUE}B{¬∃ i∈ 2..n ( V[i]=V[1] ) ↔ O= TRUE}C{∃i∈2..n ( V[i]<>V[1] ) ↔ O= TRUE}D{¬∃ i∈2..n ( V[i]<>V[1] ) ↔ O= TRUE}E{∃i∈ 2..n ( V[i]=V[1] ) ↔ O= FALSE}

Mais questões de UML e engenharia de software

Cebraspe 2026Processos privados executáveis destinam-se principalmente à documentação conceitual interna do negócio, prescindindo de inclusão de detalhes técnicos para execução por motores de…
Legalle 2026Na Análise Orientada a Objetos, a UML (Unified Mode/ing Language) organiza seus diagramas em duas grandes categorias: diagramas estruturais, que representam a estrutura estática d…
FGV 2026O CMMI é um conjunto de melhores práticas projetado para orientar as organizações na melhoria de seus processos de engenharia de software e sistemas. Ele funciona como um mapa par…
Legalle 2026No contexto da representação gráfica de algoritmos por meio de fluxogramas, diferentes figuras geométricas são utilizadas para indicar tipos específicos de operações, como início/…
FGV 2026A Assembleia Legislativa decide desenvolver um novo sistema de controle de orçamento que deve ser liberado em incrementos funcionais. A cada 6 meses, um novo incremento operaciona…

Ver as 2.122 questões de UML e engenharia de software

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.