Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
6
Behaviour models
Code understanding
4
Computer software
4
Emergent behaviours
4
Finite-state abstraction
4
Global representation
4
Global view
4
Infinite state
4
Modular reasoning
4
Synthesis techniques
4
behaviour models
4
code understanding
4
contract conformance
4
Admissible sequences
2
Animation
2
Level of abstraction
2
Non-trivial
2
Software engineering
2
Source codes
2
automated abstraction
2
behaviour model synthesis
2
source code validation
2
-
1Materias: “...source code validation...”
-
2Materias: “...source code validation...”
CONF -
3
-
4
-
5
-
6