Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral model
2
Behavioral modeling
2
Declarative Languages
2
Declarative models
2
Declarative semantics
2
Formal Description
2
Formal Specifications
2
Formal specification
2
Logic-based approach
2
Operational commitments
2
Regular properties
Requirements Engineering
Requirements engineering
2
Semantics
2
Software design
Temporal logic
2
-
1
-
2