Considere:

I. Cada incremento de software é especificado formalmente e essa especificação é transformada em uma implementação.

II. A correção de software é demonstrada por meio de uma abordagem formal.

III. Não existe teste de defeitos no processo e o teste do sistema concentra-se na avaliação da confiabilidade.

As três características acima pertencem a um processo formal de desenvolvimento de software, denominado

São organizadas em uma hierarquia, com as classes de objetos mais genéricas no topo, as quais legam seus atributos às classes mais especializadas.
Trata-se

O padrão PCI Express

A busca antecipada de instruções é uma técnica utilizada nos processadores dos microcomputadores atuais, de forma a acelerar a execução de um programa. As instruções são pré-carregadas da memória

O processo eleitoral é uma das formas de concretização do princípio democrático, razão pela qual é merecedor de diversas garantias previstas, expressamente, na legislação. Entre tais garantias, destaca-se que

Constitui captação ilícita de sufrágio o candidato doar, oferecer, prometer, ou entregar ao eleitor, com o fim de obter-lhe o voto, bem ou vantagem pessoal ou de qualquer natureza, inclusive emprego ou função pública, no prazo desde o registro de candidatura até o dia da eleição, sujeitando-se o infrator a pena de multa e cassação do registro ou do diploma (artigo 41-A da Lei nº . 9504/97). Considerando a jurisprudência dominante do Tribunal Superior Eleitoral em relação a tal ilícito, pode-se dizer que

O artigo 22 da Lei complementar nº 64/90 prevê que qualquer partido político, coligação, candidato ou Ministério Público Eleitoral poderá representar à Justiça Eleitoral, diretamente ao Corregedor-Geral ou Regional, relatando fatos e indicando provas, indícios e circunstâncias, e pedir abertura de investigação judicial para apurar uso indevido, desvio ou abuso do poder econômico ou do poder de autoridade, ou utilização indevida de veículos ou meios de comunicação social, em benefício de candidato ou de partido político. Tal norma veicula a chamada ação de investigação judicial eleitoral (AIJE), a qual

A diplomação é o ato pelo qual a Justiça Eleitoral habilita os candidatos eleitos e seus suplentes a exercer seus respectivos mandatos. Dentre suas características, destaca-se que

A lei eleitoral prevê que a partir da escolha de candidatos em convenção é assegurado o direito de resposta a candidato, partido ou coligação atingido, ainda que de forma indireta, por conceito, imagem ou afirmação caluniosa, difamatória, injuriosa ou sabidamente inverídica, difundidos por qualquer veículo de comunicação social. Em relação ao pedido de resposta, vale destacar que no caso de ofensa

Os Tribunais Regionais Eleitorais são compostos por sete membros. Quatro deles são escolhidos mediante eleição secreta no âmbito do Tribunal de Justiça, sendo dois desembargadores e dois juízes de direito. Um é membro do Tribunal Regional Federal com sede na Capital do Estado ou no Distrito Federal ou, na ausência, um juiz federal escolhido pelo Tribunal respectivo. Os dois últimos membros são escolhidos pelo