Colección: TEMAS
Temas | Cantidad |
---|---|
Asteroids Families | 1 |
CAM | 1 |
CBD (Component-based development) | 1 |
COTS | 1 |
Celestial Bodies | 1 |
Ciencias Informáticas | 18 |
Combinations of Information | 1 |
Deductive Databases | 1 |
EG (Electronic Government) | 1 |
Flexible Process Model | 1 |
Formal methods | 2 |
Formalising Sharing Mechanisms | 1 |
Frameworks | 1 |
Generate Test Cases | 1 |
Hypermedia Project | 1 |
Languages | 2 |
Management | 1 |
Measurement-Based | 1 |
Methods | 1 |
Metric Temporal Logic | 1 |
Metrics | 1 |
Negation | 1 |
Numerical Taxonomy | 1 |
Object-Oriented Paradigm | 1 |
Object-Oriented Patterns | 1 |
Object-Oriented Technology | 1 |
Physical and Logical Modeling | 1 |
Programming Languages | 1 |
RAISE | 1 |
RAISE language | 1 |
Reengineering of processes | 1 |
Requirements Engineering Process | 1 |
Reverse engineering | 1 |
SOFTWARE ENGINEERING | 17 |
Software development | 1 |
Systematic Approach | 1 |
Tasks and Documents Specification | 1 |
Tool Support | 1 |
Verifying Applications | 1 |
Visual | 1 |
base de datos | 18 |
community of practice | 1 |
components | 1 |
computer supported collaboration | 1 |
conceptual pattern | 1 |
design patterns | 1 |
dynamic models | 1 |
formal methods | 1 |
framework | 1 |
indexing structures | 1 |
integrated environment | 1 |
message-oriented middleware | 1 |
meta-object models | 1 |
model checking | 1 |
online communities | 1 |
requirements | 1 |
semantic web | 1 |
software comprehension | 1 |
software infrastructure | 1 |
software visualization | 1 |
static models | 1 |
systems | 1 |
testing | 1 |
textual databases | 1 |
verification techniques | 1 |