Framework cascas de árvore: rearranjos nas competências e mentali- dade para a Alfabetização...

not available

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

not available

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