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