1
Assuntos:
“...Descrição de arquitetura de software...”
FormAr: software architecture formalization for critical applications
Dissertação
2
Assuntos:
“...Testes de Software...”
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
Tese