Encontrados 3 documentos, a visualizar página 1 de 1
Benchmark-based software product quality evaluation
Alves, Tiago Miguel LaureanoTese de doutoramento em Informática ; Two main problems have been hindering the adoption of source code metrics for quality evaluation in industry: (i) the difficulty in doing a qualitative interpretation of measurements; and (ii) the inability of summarizing measurements into a single meaningful value that captures quality at the level of overall system. This dissertation proposes an approach based on two met...
VooDooM : support for understanding and re-engineering of VDM-SL specifications
Alves, Tiago Miguel LaureanoTese mestrado informática ; The main purpose of this work is to define steady ground for supporting the understanding and re-engineering of VDM-SL specifications. Understanding and re-engineering are justified by Lehman’s laws of software evolution which state, for instance, that systems must be continually adapted and as a program evolves its complexity increases unless specific work is done to reduce it. Thi...
Strategic term rewriting and its application to a VDM-SL to SQL conversion
Alves, Tiago Miguel Laureano; Silva, P. F.; Visser, J.; Oliveira, José Nuno FonsecaWe constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer introduction. The conversion is specified as a theory of refinement by calculation. The implementation technology is strategic term rewriting in Haskell, as supported by the Strafunski bundle. Due to these choices o...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||