Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal methods
2
Specification languages
Specifications
2
Application programs
1
Codes (symbols)
1
Computational linguistics
1
Critical activities
1
Different analysis techniques
1
Diverse techniques
1
Domestic appliances
1
Dynamic memory
1
Graphical interface
1
Heterogeneous software
1
Memory consumption
1
Memory manager
1
Mobile phones
1
Points-to analysis
1
Proof of concept
1
Resource consumption
1
Resource usage
1
Software analysis
1
Software artifacts
1
Software engineering
1
Software failure
1
Static analyzers
1
-
1
-
2