Exportar registro bibliográfico

Revisão de crenças em ACTL usando verificação de modelos limitada (2017)

  • Authors:
  • Autor USP: HORA, BRUNO VERCELINO DA - IME
  • Unidade: IME
  • Sigla do Departamento: MAC
  • Subjects: INTELIGÊNCIA ARTIFICIAL; HEURÍSTICA; REPRESENTAÇÃO DE CONHECIMENTO
  • Agências de fomento:
  • Language: Português
  • Abstract: Uma importante etapa do desenvolvimento de software é o de levantamento e análise dos requisitos. Porém, durante esta etapa podem ocorrer inconsistências que prejudicarão o andamento do projeto. Além disso, após finalizada a especificação, o cliente pode querer acrescentar ou modificar as funcionalidades do sistema. Tudo isso requer que a especificação do software seja revista, mas isso é altamente custoso, tornando necessário um processo automatizado para simplificar tal revisão. Para lidar com este problema, uma das abordagens utilizadas tem sido o processo de Revisão de Crenças, juntamente com o processo de Verificação de Modelos. O objetivo deste trabalho é utilizar o processo de revisão de crenças e verificação de modelos para avaliar especificações de um projeto procurando inconsistências, utilizando o fragmento universal da Computation Tree Logic (CTL), conhecido como ACTL, e revisá-las gerando sugestões de mudanças na especificação. A nossa proposta é traduzir para lógica clássica tanto o modelo (especificação do software) quanto a propriedade a ser revisada, e então aplicar um resolvedor SAT para verificar a satisfazibilidade da fórmula gerada. A partir da resposta do resolvedor SAT, iremos gerar sugestões válidas de mudanças para a especificação, fazendo o processo de tradução reversa da lógica clássica para o modelo original
  • Imprenta:
  • Data da defesa: 03.08.2017
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      HORA, Bruno Vercelino da; FINGER, Marcelo. Revisão de crenças em ACTL usando verificação de modelos limitada. 2017.Universidade de São Paulo, São Paulo, 2017. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/ >.
    • APA

      Hora, B. V. da, & Finger, M. (2017). Revisão de crenças em ACTL usando verificação de modelos limitada. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/
    • NLM

      Hora BV da, Finger M. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/
    • Vancouver

      Hora BV da, Finger M. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021