Question

com base em seu conhecimento sobre as características de cada nível do cmmi, o que se pede neste exercício é a elaboração de roteiro que permita o atingimento de cada nível descrito do modelo, a partir do segundo.? me ajudeeem por favor!

Answer 1

Métodos formais em ciências da computação e engenharia de software, são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares. Seu uso para o desenvolvimento de software e hardware é motivado pela expectativa de que, como em outras disciplinas de engenharia, possam contribuir para a confiabilidade e robustez de um projeto executando análises matemáticas apropriadas. Entretanto, o alto custo do uso dos métodos formais faz com que, de modo geral, sejam usados apenas no desenvolvimento de sistemas de alta-integridade, nos quais há alta probabilidade de as falhas provocarem perda de vidas ou sério prejuízo as empresas