Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal Specifications
Behavioral model
2
Behavioral modeling
2
Declarative Languages
2
Declarative models
2
Declarative semantics
2
Formal Description
2
Formal specification
2
Logic-based approach
2
Operational commitments
2
Regular properties
2
Requirements Engineering
2
Requirements engineering
2
Semantics
2
Software design
2
Temporal logic
2
3D Graphics
1
Ciencias Informáticas
1
Requirements
1
Requirements Visualization
1
Visual
1
Visualization
1
-
1
-
2
-
3