1
“...The NAT2TEST strategy provides means for generating test cases from controlled natural-language...”
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
Dissertação
2
3
“... physics classes, programmatic content is presented through the use of chalkboard and chalk. Some subjects...”
CONSTRUÇÃO DE TELA INTERATIVA, USANDO CONTROLE DE NINTENDO WII, E SUA UTILIZAÇÃO POR PROFESSORES E ALUNOS DA REDE DE ENSINO
Dissertação