Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal

Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Pet...

Full description

Bibliographic Details
Main Author: Danilo Douradinho Fernandes
Other Authors: Paulo Marcelo Tasinaffo
Format: Others
Language:Portuguese
Published: Instituto Tecnológico de Aeronáutica 2011
Subjects:
Online Access:http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1997
id ndltd-IBICT-oai-agregador.ibict.br.BDTD_ITA-oai-ita.br-1997
record_format oai_dc
spelling ndltd-IBICT-oai-agregador.ibict.br.BDTD_ITA-oai-ita.br-19972019-01-22T03:12:56Z Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal Danilo Douradinho Fernandes Paulo Marcelo Tasinaffo Administração de desenvolvimento de software Qualidade de software Indicadores Redes de Petri Engenharia de software Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Petri (RP) com o modelo de processo de desenvolvimento de software de uma empresa, no contexto de gestão de processos de software. O Meta-algoritmo proposto foi desenvolvido com o propósito de melhorar a qualidade e a eficiência da execução de projetos de desenvolvimento de sistemas de software, por meio de atividades de monitoramento e controle, mantendo a rastreabilidade dos elementos produzidos durante o seu ciclo de desenvolvimento. Baseando-se nestes modelos, concebeu-se o SI-CMMI. Um protótipo de sistema de informação, denominado CMMIAudit, foi concebido para implementar as características previstas e necessárias para a operacionalização do SI-CMMI no processo de monitoramento, controle e garantia da qualidade de software, além de viabilizar a implementação do processo de inspeção parametrizado pelos modelos. Um método heurístico para modelagem de Redes de Petri foi também desenvolvido para diminuir subjetividades durante o processo de modelagem da RP. 2011-10-26 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1997 por info:eu-repo/semantics/openAccess application/pdf Instituto Tecnológico de Aeronáutica reponame:Biblioteca Digital de Teses e Dissertações do ITA instname:Instituto Tecnológico de Aeronáutica instacron:ITA
collection NDLTD
language Portuguese
format Others
sources NDLTD
topic Administração de desenvolvimento de software
Qualidade de software
Indicadores
Redes de Petri
Engenharia de software
spellingShingle Administração de desenvolvimento de software
Qualidade de software
Indicadores
Redes de Petri
Engenharia de software
Danilo Douradinho Fernandes
Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
description Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Petri (RP) com o modelo de processo de desenvolvimento de software de uma empresa, no contexto de gestão de processos de software. O Meta-algoritmo proposto foi desenvolvido com o propósito de melhorar a qualidade e a eficiência da execução de projetos de desenvolvimento de sistemas de software, por meio de atividades de monitoramento e controle, mantendo a rastreabilidade dos elementos produzidos durante o seu ciclo de desenvolvimento. Baseando-se nestes modelos, concebeu-se o SI-CMMI. Um protótipo de sistema de informação, denominado CMMIAudit, foi concebido para implementar as características previstas e necessárias para a operacionalização do SI-CMMI no processo de monitoramento, controle e garantia da qualidade de software, além de viabilizar a implementação do processo de inspeção parametrizado pelos modelos. Um método heurístico para modelagem de Redes de Petri foi também desenvolvido para diminuir subjetividades durante o processo de modelagem da RP.
author2 Paulo Marcelo Tasinaffo
author_facet Paulo Marcelo Tasinaffo
Danilo Douradinho Fernandes
author Danilo Douradinho Fernandes
author_sort Danilo Douradinho Fernandes
title Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
title_short Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
title_full Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
title_fullStr Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
title_full_unstemmed Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
title_sort um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
publisher Instituto Tecnológico de Aeronáutica
publishDate 2011
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1997
work_keys_str_mv AT danilodouradinhofernandes ummetaalgoritmoparaodesenvolvimentodeindicadoresdequalidadedesoftwareamparadospormodeloseporummetodoformal
_version_ 1718961192438857728