Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Ciencias Informáticas | 6 |
| Derivación automática de Código | 1 |
| Formal methods | 1 |
| Frameworks | 1 |
| Ingeniería de Software | 1 |
| Intérprete para el lenguaje QL | 1 |
| Languages | 2 |
| Lenguaje relacional completo | 1 |
| Modelado de datos | 1 |
| Máquinas de estados | 1 |
| Proceso de agregación | 1 |
| Queries computables: CQ | 1 |
| RAISE language | 1 |
| Reengineering of processes | 1 |
| Reverse engineering | 1 |
| SOFTWARE ENGINEERING | 6 |
| XML | 1 |
| base de datos | 6 |
| desarrollo de software | 1 |
| diseño de software | 1 |
| documentación | 1 |
| estudios experimentales en informática | 1 |
| framework | 1 |
| múltiples niveles de evidencia | 1 |
| variabilidad | 1 |