Anti Model Based Testing Anti Mbt
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Modelling and Integrating Formal Models: from Test Cases and Requirements Models
A especificaÃÃo formal de um sistema ou seu modelo formal à uma forma abstrata de representar suas propriedades (caracterÃsticas). MÃtodos formais à um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificaÃÃo formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notaÃÃes abstratas antes da i
Publicado em: 2007