Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984) | 1 |
| Aspect Interaction | 1 |
| Aspect Oriented Development | 1 |
| Développement Orienté Aspect | 1 |
| Formal Specification | 1 |
| Formal Verification | 1 |
| Génie Logiciel | 1 |
| Interaction Aspect | 1 |
| Modular reasoning | 1 |
| Modularity | 1 |
| Modularité | 1 |
| Mécanisme de Prévention | 1 |
| Prevention Policy | 1 |
| Raisonnement Modulaire | 1 |
| Software Engineering | 1 |
| Spécification Formelle | 1 |
| Vérification Formelle | 1 |