Static Analysis

Static Analysis.- Program Verification.-Bug Detection.- Compiler Organization.- Program Understanding.- Software Maintenance.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Análise e projecto de sistemas
• Arquitectura do computador e projecto lógico
• Engenharia do software
• Programação e linguagens de script: geral
• Compiladores

static analysis;program verification;bug detection;compiler organization;program understanding;software maintenance;software engineering;software evaluation;semantics;model checking;specifications;verification;programming languages;static analysis;computer compilers;formal methods;formal logic;telecommunication networks;telecommunication traffic