Ana Cristina Vieira de Melo
Resultados: Listando 10 de 21 en la página 1 de 3
Nombre
Título
Área
Documento
Facultad
Año
Framework cascas de árvore: rearranjos nas competências e mentali- dade para a Alfabetização...
Generation of Java program properties from test purposes
An integrated environment for verification and test of fault-tolerant components...
A repository-based model to estimate technical deb
A method to business rule implementation from SBVR semantic
Testing and formal verification of the exceptional behavior of Java programs
Semi-automatic classification of Java components
Partial generation of Java code from Z formal specifications
Resultados: Listando 10 de 21 en la página 1 de 3