Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
3
Software engineering
2
Source codes
2
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Behavior model
1
Behaviour models
1
Behaviour validation
1
Communication
1
Computer software
1
Concise representations
1
Concrete state
1
Design
1
Enabledness abstractions
1
Engineering activities
1
Finite model
1
Formal methods
1
Industrial strength
1
Level of abstraction
1
Non-trivial
1
Novel techniques
1
Programming tasks
1
Protocol specifications
1
Requirements/specifications
1
Source-code validation
1
Specifications
1
behaviour model synthesis
1
enabledness-preserving abstractions
1
source code validation
1
-
1Materias: “...Source-code validation...”
-
2Materias: “...Behaviour validation...”
-
3Materias: “...validation...”
-
4Materias: “...source code validation...”