Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
7
Behaviour models
4
Computer software
4
Eclipse plug-in
3
Finite-state abstraction
3
Level of abstraction
3
Software engineering
3
Source codes
3
Specifications
3
Verification
3
Code understanding
2
Emergent behaviours
2
Enabledness abstractions
2
Finite model
2
Formal methods
2
Global representation
2
Global view
2
Industrial strength
2
Infinite state
2
Model checking
2
Modular reasoning
2
Novel techniques
2
Plug-ins
2
Protocol specifications
2
Software verification
2
Synthesis techniques
2
automated abstraction
2
behaviour models
2
code understanding
2
contract conformance
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14