Ana Cristina Vieira de Melo
Résultats: Montrant 10 de 21 à l'page 1 de 3
Nom
Titre
Domaine
Document
Unité
Année
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
Résultats: Montrant 10 de 21 à l'page 1 de 3