Validating transformations of OO programs using the alloy analyzer
Program transformation is current practice in software development, especially refactoring. However, in general, there is no precise specification of these transformations and, when it exists, it is neither proved sound nor validated systematically, which can cause static semantic or behavioural err...
| Main Author: | SILVA, Tarciana Dias da |
|---|---|
| Other Authors: | SAMPAIO, Augusto Cezar Alves |
| Format: | doctoralThesis |
| Language: | eng |
| Published: |
Universidade Federal de Pernambuco
2019
|
| Subjects: | |
| Online Access: |
https://repositorio.ufpe.br/handle/123456789/31379 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|