Colección: TEMAS
Temas | Cantidad |
---|---|
Asteroids Families | 1 |
CAM | 1 |
CBD (Component-based development) | 1 |
COTS | 1 |
Celestial Bodies | 1 |
Ciencias Informáticas | 13 |
Combinations of Information | 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 | 13 |
Software development | 1 |
Systematic Approach | 1 |
Tool Support | 1 |
Verifying Applications | 1 |
base de datos | 13 |
community of practice | 1 |
components | 1 |
computer supported collaboration | 1 |
conceptual pattern | 1 |
dynamic models | 1 |
formal methods | 1 |
framework | 1 |
integrated environment | 1 |
message-oriented middleware | 1 |
model checking | 1 |
online communities | 1 |
requirements | 1 |
semantic web | 1 |
software infrastructure | 1 |
static models | 1 |
systems | 1 |
testing | 1 |
verification techniques | 1 |