Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software
Resumo
Este artigo não possui resumo.
Referências
Moreira, Nilton Stringasci. "Segurança Mínima: Uma Visão Corporativa de Segurança de Informações", Rio de Janeiro: Axcel Book, 2001.
Pressmann, R. S. “Engenharia de Software”, 6ª edição p.752, McGraw Hill, NY, 2006.
Laudon, Kennth C. & Laudon, Jane P. “Sistemas de Informação Gerenciais.” 7ª Edição. 2006.
Moreira, Gabriel de Souza Pereira; Montini, Denis Ávila; Silva, Daniela América da; Cardoso, Felipe Rafael Motta; Dias, Luiz Alberto Vieira; Cunha, Adilson Marques da. Design Patterns reuse for Real Time Embedded Software development.. Las Vegas, Nevada, EUA 2009.
MURATA, T. Petri net: Properties, analysis and applications. Proceedings of the IEEE, v. 77, p. 541-579, 1989.
Montini, Denis Ávila, Modelo de indicadores de risco para o orçamento de componentes de software para célula de manufatura. .360p.Dissertação (Mestrado) em Engenharia de Produção – UNIP - (2005).
CMMI, Version 1.2 - CMMI-DEV, V1.2, CMU/SEI-2006-TR-008 - ESC-TR-006-008 - Improving processes for better products. August 2006.
Pressmann, R. S. “Engenharia de Software”, 6ª edição p.752, McGraw Hill, NY, 2006.
Laudon, Kennth C. & Laudon, Jane P. “Sistemas de Informação Gerenciais.” 7ª Edição. 2006.
Moreira, Gabriel de Souza Pereira; Montini, Denis Ávila; Silva, Daniela América da; Cardoso, Felipe Rafael Motta; Dias, Luiz Alberto Vieira; Cunha, Adilson Marques da. Design Patterns reuse for Real Time Embedded Software development.. Las Vegas, Nevada, EUA 2009.
MURATA, T. Petri net: Properties, analysis and applications. Proceedings of the IEEE, v. 77, p. 541-579, 1989.
Montini, Denis Ávila, Modelo de indicadores de risco para o orçamento de componentes de software para célula de manufatura. .360p.Dissertação (Mestrado) em Engenharia de Produção – UNIP - (2005).
CMMI, Version 1.2 - CMMI-DEV, V1.2, CMU/SEI-2006-TR-008 - ESC-TR-006-008 - Improving processes for better products. August 2006.
Publicado
28/09/2009
Como Citar
CARDOSO, Felipe Rafael Motta; CARVALHO, Strauss Cunha; DOURADINHO, Danilo; MONTINI, Denis Ávila; TASINAFFO, Paulo Marcelo; CUNHA, Adilson Marques da.
Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software. In: RESUMOS ESTENDIDOS - SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 9. , 2009, Campinas/SP.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2009
.
p. 247-248.
DOI: https://doi.org/10.5753/sbseg_estendido.2009.20640.
