Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
4
Computer software
4
Behaviour models
3
Finite-state abstraction
3
Code understanding
2
Emergent behaviours
2
Global representation
2
Global view
2
Infinite state
2
Modular reasoning
2
Synthesis techniques
2
behaviour models
2
code understanding
2
contract conformance
2
Animation
1
Based specification
1
Behaviour validation
1
Communication
1
Concise representations
1
Design
1
Finite model
1
Formal methods
1
Industrial strength
1
Level of abstraction
1
Novel techniques
1
Pre/post conditions
1
Programming tasks
1
Protocol specifications
1
Source codes
1
Specifications
1
-
1Materias: “...Computer software...”
-
2Materias: “...Computer software...”
-
3
-
4