Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Asteroids Families | 1 |
| CAM | 1 |
| CBD (Component-based development) | 1 |
| COTS | 1 |
| Celestial Bodies | 1 |
| Ciencias Informáticas | 16 |
| Combinations of Information | 1 |
| Database Applications | 1 |
| Deductive Databases | 1 |
| EG (Electronic Government) | 1 |
| Formal methods | 2 |
| Frameworks | 1 |
| Generate Test Cases | 1 |
| Languages | 2 |
| Management | 1 |
| Measurement-Based | 1 |
| Methods | 1 |
| Metric Temporal Logic | 1 |
| Metrics | 1 |
| Negation | 1 |
| Numerical Taxonomy | 1 |
| Object-Oriented Patterns | 1 |
| Programming Languages | 1 |
| RAISE | 1 |
| RAISE language | 1 |
| Reengineering of processes | 1 |
| Reverse engineering | 1 |
| SOFTWARE ENGINEERING | 14 |
| Software development | 1 |
| Systematic Approach | 1 |
| Tool Support | 1 |
| Verifying Applications | 1 |
| base de datos | 16 |
| community of practice | 1 |
| components | 1 |
| computer supported collaboration | 1 |
| conceptual pattern | 1 |
| databases | 1 |
| dynamic models | 1 |
| formal methods | 1 |
| framework | 1 |
| indexing | 1 |
| indexing structures | 1 |
| integrated environment | 1 |
| message-oriented middleware | 1 |
| metric spaces | 1 |
| model checking | 1 |
| online communities | 1 |
| ontologies | 1 |
| pivot selection | 1 |
| requirements | 1 |
| searching | 1 |
| semantic web | 2 |
| similarity search | 1 |
| software infrastructure | 1 |
| static models | 1 |
| systems | 1 |
| testing | 1 |
| textual databases | 1 |
| verification techniques | 1 |