Pré-projeto: verificação de conformidade entre código e modelo para programas concorrentes

Páginas: 5 (1245 palavras) Publicado: 3 de outubro de 2012
TÍTULO DO PROJETO |
| |
|VERIFICAÇÃO DE CONFORMIDADE ENTRE CÓDIGO E MODELO PARA PROGRAMAS CONCORRENTES|
|ÁREA DE CONCENTRAÇÃO |
| |
|Engenharia de Software|
| |
|software, concorrência, modelagem, conformidade, verificação |


|INTRODUÇÃO E JUSTIFICATIVA|
|A crescente informatização da sociedade tem exigido software e hardware cada vez mais rápidos, confiáveis e robustos. O software |
|adquiriu significativa importância nos sistemas computacionais e tornou-se presente em uma vasta quantidade de aplicações. Nesse |
|contexto, cresceu também o volume da produção de sistemas concorrentes,devido as vantagens inerentes a este tipo de software. |
|Programas concorrentes permitem dividir a execução de tarefas, possibilitam um melhor aproveitamento de sistemas com vários |
|multiprocessadores, e consequentemente, na maioria das vezes, apresentam melhor performance. Porém, a existência de diversos fluxos de |
|execução leva a possibilidade de vários estados esituações dentro de um sistema, o que dificulta a tarefa de escrever programas |
|concorrentes. Além disso, a ocorrência de erros não determinísticos torna ainda mais complexa a depuração e dificulta o entendimento |
|desse tipo de software. |
|Uma importante forma de auxiliar osdesenvolvedores a reduzir essas dificuldades é a abstração da complexidade de sistemas através da |
|modelagem, especialmente quando se trata de sistemas concorrentes. Segundo Bass (1998), a utilização de modelos de software está sendo|
|cada vez mais adotada com a intenção de minimizar os efeitos da complexidade dos sistemas sobre os diversos ciclos do processo de |
|desenvolvimento desoftware. No entanto, a tarefa de manutenção de documentos e artefatos relacionados a modelagem do software acaba |
|por vezes, se tornando um problema para os desenvolvedores. Para (Guéhéneuc, 2002), um problema recorrente no desenvolvimento de |
|software é a lacuna existente entre a modelagem, a implementação e a manutenção do software, pois as constantes alterações que ocorrem |
|durantea execução do projeto acabam tornando os modelos cada vez mais distantes da realidade do projeto. |
|Segundo Oliveira (2006), é extremamente difícil integrar desenvolvimento e modelagem, especialmente quando se faz uso de metodologias |
|ágeis (Beck et al, 2001).|
|Porém, em muitos casos, garantir a correspondência entre artefatos e código-fonte do projeto é crucial para o sucesso na implementação|
|de sistemas concorrentes (Silva, 2006). |
|Em seu trabalho, apresenta uma técnica cujo objetivo principal é permitir ao desenvolvedor verificar a...
Ler documento completo

Por favor, assinar para o acesso.

Estes textos também podem ser interessantes

  • Modelo de pre-projeto
  • Pré projeto. (modelo)
  • Modelo de pré projeto de pesquisa
  • Modelo Pré-Projeto
  • modelo pré projeto
  • Modelo pre-projeto
  • Modelo de pre projeto
  • Modelo simples de pré projeto

Seja um membro do Trabalhos Feitos

CADASTRE-SE AGORA!