Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
Source codes
Level of abstraction
4
Admissible sequences
2
Behaviour models
2
Behaviour validation
2
Client code
2
Communication
2
Computer software
2
Concise representations
2
Contract specifications
2
Contract strengthening
2
Design
2
Enabledness abstractions
2
Finite state
2
Formal methods
2
MicroSoft
2
Non-trivial
2
Programming tasks
2
Software artifacts
2
Software engineering
2
Specifications
2
Two-step process
2
Typestate
2
Typestate inference
2
Visual studios
2
Windows operating system
2
automated abstraction
2
behaviour model synthesis
2
enabledness-preserving abstractions
2
-
1Materias: “...Source codes...”
-
2Materias: “...source code validation...”
-
3Materias: “...source code validation...”
CONF -
4Materias: “...Source codes...”
SER -
5Materias: “...Client code...”
-
6Materias: “...Client code...”
CONF