Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
4
Behaviour models
3
Code understanding
2
Computer software
2
Emergent behaviours
2
Finite-state abstraction
2
Global representation
2
Global view
2
Infinite state
2
Level of abstraction
2
Modular reasoning
2
Source codes
2
Synthesis techniques
2
behaviour models
2
code understanding
2
contract conformance
2
Admissible sequences
1
Animation
1
Client code
1
Contract specifications
1
Contract strengthening
1
Enabledness abstractions
1
Finite state
1
MicroSoft
1
Non-trivial
1
Software artifacts
1
Software engineering
1
Specifications
1
Two-step process
1
Typestate
1
-
1Materias: “...source code validation...”
CONF -
2
-
3
-
4Materias: “...Client code...”
CONF