Architectural requirements as basis to quality of software engineering environments
Coverage testing of Java programs and components
Comparing finite state machine test coverage criteria
"Um Sistema de Controle e Supervisão de Bordo para Aplicações em (Multi) Missões Espaciais"; Julho, INPE 2824-PRE/378
"Um Sistema de Controle e Supervisão de Bordo para Aplicações em (Multi) Missões Espaciais", Anais do 1º Simpósio Brasileiro de Telecomunicações - 1º SBT, Setembro de 1983, Rio de Janeiro - RJ
Science of Computer Programming
IEEE Latin America Transactions
IET Software
José Carlos Maldonado
EDUARDO WITAKER BERGAMINI
M.E. Delamaro
W. E. Wong
A.M.R. Vincenzi
E.Y. Nakagawa