Uma SAN (storage area networks) permite conexão a qualquer componente em toda a rede, por meio de elementos de interconexão.

A arquitetura de rede é uma estrutura lógica e formal que define como os dispositivos de rede interagem e funcionam, definindo protocolos de comunicação, formatos de mensagem e padrões para interoperabilidade.

A estrutura de uma rede tem, no mínimo, três níveis: o núcleo, que provê a interconexão com os sistemas terminais; o nível de acesso, onde fica o backbone da rede; e o nível de distribuição, que interliga os dois anteriores.

Considere que um analista, ao especificar um código que execute 10 vezes determinado comando x, escreva o seguinte pseudocódigo.

para i → 1 até 10 faça

comando X;

Nesse caso, é correto afirmar que o analista utilizou uma estrutura de repetição cuja execução realizará o propósito desejado corretamente.

Considere que uma aplicação embasada em uma planilha eletrônica fornecida comercialmente tenha sido desenvolvida para o registro de frequência e de notas dos participantes de treinamentos de determinada empresa. Considere, ainda, que essa aplicação calcule automaticamente a média das notas parciais e o percentual de faltas dos alunos a partir dos dados fornecidos pelo instrutor de cada turma e que a comunicação de dados deva assegurar que cada instrutor receba a relação de seus alunos para acompanhamento e que transmita para a secretaria os resultados registrados. Com base nessa situação, julgue os itens a seguir.

Para atender os requisitos de comunicação, o analista de serviços de TI pode sugerir o uso de ferramentas automatizadas (.middlewares) para a construção da aplicação distribuída com base nos dispositivos com chamada remota de procedimento (RPC), tais como os middlewares CORBA, Java RMI, IDL ou SOAP.

Como os serviços podem ser implementados em plataformas e linguagens de programação diferentes, as arquiteturas orientadas a serviços devem embasar-se em padrões, de forma que seja possível compatibilizar e dar flexibilidade na troca de serviços de comunicação e informação entre os sistemas de aplicação de negócios.

Segundo o teorema de Pitágoras, a hipotenusa c de um triângulo retângulo de catetos a e b é calculada por meio da fórmula c = √a² +b² em que a > 0 e b > 0. A demonstração de correção de um programa que calcula o comprimento da hipotenusa c, tendo como dados de entrada os valores a e b para o comprimento dos catetos, deve estabelecer que sempre que a e b satisfizerem a propriedade de a > 0 e b > 0, o predicado a² + b² = c² será satisfeito após a execução do programa.

A utilização da regra de equivalência na demonstração de correção de um programa envolve a demonstração de que as duas triplas de Hoare diferentes são válidas.

No trecho de pseudocódigo a seguir, o teste condicional na estrutura seqüencial enquanto ocorre no final. Isso significa que a possibilidade de a repetição não ser executada é nula, visto que, mesmo quando a condição assume falso na primeira verificação, o comando é executado,
enquanto (condição)
comando;

Considere um programa P, cujo predicado Q(X) descreve as condições que os valores de entrada devem satisfazer, e um predicado R, que descreve as condições que os valores de saídas devem satisfazer. Nesse caso, o programa P estará corretoseacondicional ( ∀ X )(Q(X) ) → R[X,P{X)]) forválida.