Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software reusability
Formal methods
4
Model checking
4
Abstracting
2
Architecture
2
Atomic actions
2
Behavior analysis
2
Building systems
2
Case studies
2
Composition of services
2
Computer software
2
Concurrent interactions
2
Dynamic logics
2
Engineers
2
Final states
2
Formal Semantics
2
In-buildings
2
Information services
2
Intermediate states
2
JAVA programs
2
Java programming language
2
Mechanical support
2
Middleware
2
Middleware components
2
Model-based engineering
2
Operational units
2
Partial correctnesses
2
Predicate abstractions
2
Program translators
2
Quality of service
2
-
1
-
2
-
3
-
4