Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Temporal logic
Specifications
6
Linear temporal logic
4
Requirements engineering
4
Software engineering
4
Abductive reasoning
2
Behavioral model
2
Behavioral modeling
2
Component based
2
Component based systems
2
Computing paradigm
2
Correlation function
2
Declarative Languages
2
Declarative models
2
Declarative semantics
2
Decorrelations
2
Dynamic environments
2
Dynamic models
2
Dynamic re-configuration
2
Education
2
Essential characteristic
2
Event Calculus
2
Event-based system
2
Fluents
2
Formal Description
2
Formal Specifications
2
Formal specification
2
Formalisation
2
Generic specifications
2
Goal-oriented requirements engineering
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10