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