Idioma:

On the testability of properties patterns

Simone Hanazumi Ana Cristina Vieira de Melo; International Conference on Software Engineering and Formal Methods - SEFM (13. 2015 York, UK)

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Cham: Springer, 2015

Localização: IME - Inst. Matemática e Estatística (PROD-2726917 )(Acessar)

Título:
On the testability of properties patterns
Autor: Simone Hanazumi
Ana Cristina Vieira de Melo; International Conference on Software Engineering and Formal Methods - SEFM (13. 2015 York, UK)
Assuntos: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; TESTE E AVALIAÇÃO DE SOFTWARE; DESENVOLVIMENTO DE SOFTWARE; Program Specification; Software Testing; Formal Verification
É parte de: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Cham: Springer, 2015
Notas: Disponível em: <http://dx.doi.org/10.1007/978-3-319-22969-0_11>. Acesso em: 25 out. 2017
Títulos relacionados: Série:Lecture Notes in Computer Science 9276
Editor: Cham Springer
Data de criação/publicação: 2015
Formato: p. 148-155.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 5 Avançar Ir para próxima página