Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Semantics
Behavioral model
2
Behavioral modeling
2
Mathematical models
2
Requirements engineering
2
Specification languages
2
Specifications
2
Algorithms
1
Backwards verification
1
Behavioral properties
1
Behaviour models
1
Case-based approach
1
Case-based approaches
1
Chaos theory
1
Chaotic iteration
1
Computational linguistics
1
Computer hardware description languages
1
Computer software
1
Declarative Languages
1
Declarative models
1
Declarative semantics
1
Finite automata
1
Fixpoint
1
Flowcharting
1
Formal Description
1
Formal Specifications
1
Formal languages
1
Formal logic
1
Formal specification
1
Graphic methods
1
-
1
-
2Materias: “...Partial behaviour models...”
-
3
-
4Materias: “...Mathematical models...”