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