Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Level of abstraction
Abstracting
6
Behaviour models
6
Computer software
4
Source codes
4
Specifications
4
Admissible sequences
2
Based specification
2
Behaviour modelling
2
Best practice
2
Client code
2
Composition technique
2
Contract specifications
2
Contract strengthening
2
Design flaws
2
Enabledness abstractions
2
Finite model
2
Finite state
2
Finite-state abstraction
2
Formal methods
2
Incremental construction
2
Industrial strength
2
Iterative development
2
Iterative model
2
Mathematical models
2
MicroSoft
2
Modal transition
2
Model synthesis
2
Non-trivial
2
Novel techniques
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8