Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
3
Computer software
Behaviour models
2
Code understanding
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
Animation
1
Behaviour validation
1
Communication
1
Concise representations
1
Design
1
Formal methods
1
Programming tasks
1
Source codes
1
enabledness-preserving abstractions
1
-
1
-
2
-
3Materias: “...Source codes...”