Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Source codes
Abstracting
2
Level of abstraction
2
Admissible sequences
1
Behaviour models
1
Client code
1
Codes (symbols)
1
Computer architecture
1
Contract specifications
1
Contract strengthening
1
Debuggers
1
Eclipse plug-in
1
Eclipse plugin
1
Embedded systems
1
Enabledness abstractions
1
Finite state
1
GALILEO
1
Intel Galileo
1
IoT
1
Lock system
1
Lock-on
1
Locks (fasteners)
1
MicroSoft
1
Non-trivial
1
Open source
1
Open source software
1
Open sources
1
Plug-ins
1
Program debugging
1
Real-time information
1
-
1Materias: “...source code validation...”
CONF -
2Materias: “...Client code...”
CONF -
3por Presso, M., Scafati, D., Marone, J., Todorovich, E., Brengi D., Lipovetzky J., Lutenberg A., De Micco L., Garcia Inza M., Maximiliano A.Materias: “...Codes (symbols)...”
CONF -
4Materias: “...Source codes...”
CONF