Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logic-based approach
4
Adaptive control systems
2
Adaptive systems
2
Behavioral model
2
Behavioral modeling
2
Control theory
2
Controller synthesis
2
Controllers
2
Declarative Languages
2
Declarative models
2
Declarative semantics
2
Environment models
2
Formal Description
2
Formal Specifications
2
Formal specification
2
Graceful degradation
2
Operational commitments
2
Progressive enhancement
2
Regular properties
2
Requirements Engineering
2
Requirements engineering
2
Robots
2
Self-adaptive system
2
Self-adaptive systems
2
Semantics
2
Simplifying assumptions
2
Software design
2
Software engineering
2
Temporal logic
2
Unpredictable environments
2
-
1
-
2Materias: “...Logic-based approach...”
JOUR -
3
-
4por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Logic-based approach...”
CONF