Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Enabledness abstractions
Abstracting
1
Client code
1
Contract specifications
1
Contract strengthening
1
Finite state
1
Level of abstraction
1
MicroSoft
1
Software artifacts
1
Source codes
1
Source-code validation
1
Specifications
1
Two-step process
1
Typestate
1
Typestate inference
1
Visual studios
1
Windows operating system
1
-
1Materias: “...Source-code validation...”
-
2Materias: “...Client code...”