Agora, apresentando os itens 1-10
Ciência da Computação. (1) |
Competing software system (1) |
Comportamento de programas (1) |
Design by Contract - DbC (1) |
DesignMonitor (1) |
Detecção automática de violações (1) |
Linear Time Logic - LTL (1) |
Lógica linear temporal (1) |
Programação orientad a aspectos com AspectJ (1) |
Sistema de software concorrentes (1) |
Agora, apresentando os itens 1-10