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...
Main Author: | |
---|---|
Other Authors: | |
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 |