Composability, Comprehensibility and Correctness of Working Software

Main Lectures.- PhD Workshop.

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

• Engenharia do software
• Compiladores
• Programação de computadores / desenvolvimento de software
• Teoria matemática da computação

internet of things;green computation;software engineering;software verification;functional programming;virtualized network resources;code comprehension;distributed computation patterns;tunnel parsing;refactoring;code quality metrics;energy efficiency in algorithms