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 |