Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
5
Behaviour models
3
Computer software
3
Source codes
3
Code understanding
2
Emergent behaviours
2
Enabledness abstractions
2
Finite-state abstraction
2
Global representation
2
Global view
2
Infinite state
2
Level of abstraction
2
Modular reasoning
2
Synthesis techniques
2
behaviour models
2
code understanding
2
contract conformance
2
Admissible sequences
1
Animation
1
Behaviour validation
1
Client code
1
Communication
1
Concise representations
1
Contract specifications
1
Contract strengthening
1
Design
1
Finite state
1
Formal methods
1
MicroSoft
1
Non-trivial
1
-
1Materias: “...source code validation...”
CONF -
2Materias: “...Source codes...”
SER -
3Materias: “...Source-code validation...”
JOUR -
4Materias: “...Client code...”
CONF -
5
-
6