Specification-based testing of user interfaces
It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user inter...
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2003
|
| Assuntos: | |
| Texto completo: | https://repositorio-aberto.up.pt/handle/10216/94001 |
| País: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/94001 |