Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software

  • Felipe Rafael Motta Cardoso ITA
  • Strauss Cunha Carvalho ITA
  • Danilo Douradinho ITA
  • Denis Ávila Montini ITA
  • Paulo Marcelo Tasinaffo ITA
  • Adilson Marques da Cunha ITA

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.
Publicado
28/09/2009
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.