Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
3
Source codes
3
Enabledness abstractions
2
Formal methods
2
Level of abstraction
2
Specifications
2
Admissible sequences
1
Behaviour models
1
Behaviour validation
1
Client code
1
Codes (symbols)
1
Communication
1
Computational linguistics
1
Computer software
1
Concise representations
1
Contract specifications
1
Contract strengthening
1
Design
1
Dynamic memory
1
Finite state
1
Memory consumption
1
Memory manager
1
MicroSoft
1
Non-trivial
1
Points-to analysis
1
Programming tasks
1
Proof of concept
1
Resource consumption
1
Resource usage
1
Software artifacts
1
-
1Materias: “...source code validation...”
CONF -
2Materias: “...Source codes...”
SER -
3Materias: “...Source-code validation...”
JOUR -
4Materias: “...Codes (symbols)...”
CONF -
5Materias: “...Client code...”
CONF