Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
3
Level of abstraction
Behaviour models
2
Source codes
2
Specifications
2
Admissible sequences
1
Based specification
1
Client code
1
Computer software
1
Contract specifications
1
Contract strengthening
1
Enabledness abstractions
1
Finite model
1
Finite state
1
Finite-state abstraction
1
Industrial strength
1
MicroSoft
1
Non-trivial
1
Novel techniques
1
Pre/post conditions
1
Protocol specifications
1
Software artifacts
1
Software engineering
1
Two-step process
1
Typestate
1
Typestate inference
1
Visual studios
1
Windows operating system
1
automated abstraction
1
behaviour model synthesis
1
-
1Materias: “...Software engineering...”
CONF -
2Materias: “...Computer software...”
CONF -
3Materias: “...Software artifacts...”
CONF