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