4 relações: Engenharia de software, IBM Rational Unified Process, Métodos formais, Teste de software.
Engenharia de software
acessodata.
Novo!!: Cleanroom e Engenharia de software · Veja mais »
IBM Rational Unified Process
O RUP, Rational Unified Process (ou Processo Unificado da Rational), é um processo proprietário de Engenharia de software criado pela Rational Software Corporation, adquirida pela IBM, ganhando um novo nome IRUP que agora é uma abreviação de IBM Rational Unified Process e tornando-se uma brand na área de Software, fornecendo técnicas a serem seguidas pelos membros da equipe de desenvolvimento de software com o objetivo de aumentar a sua produtividade no processo de desenvolvimento.
Novo!!: Cleanroom e IBM Rational Unified Process · Veja mais »
Métodos formais
Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.
Novo!!: Cleanroom e Métodos formais · Veja mais »
Teste de software
O teste do software é a investigação do software a fim de fornecer informações sobre sua qualidade em relação ao contexto em que ele deve operar, se relaciona com o conceito de verificação e validação.
Novo!!: Cleanroom e Teste de software · Veja mais »