Colección: TEMAS
| Temas | Cantidad |
|---|---|
| CAM | 1 |
| Ciencias Informáticas | 10 |
| Data models | 1 |
| Formal methods | 10 |
| Frameworks | 1 |
| Ingeniería de Software | 1 |
| Languages | 1 |
| Lenguajes de Programación | 1 |
| Management | 1 |
| Model checking | 2 |
| Métodos Formales | 1 |
| Object-oriented design methods | 1 |
| Object-oriented languages | 1 |
| Patrones de Diseño | 1 |
| Pattern analysis | 1 |
| RAISE language | 1 |
| Reengineering of processes | 1 |
| Reverse engineering | 1 |
| SOFTWARE ENGINEERING | 3 |
| Software | 1 |
| Validation | 1 |
| Verification | 2 |
| autómatas temporizados | 1 |
| base de datos | 3 |
| business processes | 1 |
| especificaciones algebraicas | 1 |
| lenguaje de especificaciones | 1 |
| métodos formales | 2 |
| operador para composición paralela | 1 |
| procesos de negocios | 1 |
| programación orientada a objetos | 1 |
| programación transfonnacional | 1 |
| reusabilidad | 1 |
| software engineering | 1 |
| validación de propiedades | 1 |