Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral model
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
Regular properties
2
Requirements Engineering
Requirements engineering
2
Semantics
2
Software design
2
Temporal logic
2
-
1
-
2