Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software architecture
2
Software engineering
2
Adaptive control systems
1
Adaptive systems
1
Architectural approach
1
Behavioral research
1
Control theory
1
Discrete event control
1
Dynamic models
1
Dynamic re-configuration
1
Event-based system
1
Fluents
1
Linear temporal logic
1
Logic model checking
1
Model checking
1
Numerical values
1
Operational parameters
1
Reactive system
1
Reference architecture
1
Self adaptation
1
Self-adaptive system
1
Self-adaptive systems
1
Specifications
1
System configurations
1
Temporal logic
1
Temporal logic specifications
1
-
1por Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Software architecture...”
CONF -
2por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Software architecture...”
CONF