Perguntas com a marcação «se.software-engineering»

O problema de parada indica que é impossível escrever um programa que possa determinar se outro programa é interrompido para todos os programas de entrada possíveis . Eu posso, no entanto, certamente escrever um programa que pode calcular o tempo de execução de um programa como: for(i=0; i<N; i++) { …

23 computability  time-complexity  formal-methods  se.software-engineering 

Eu sou auto-aprendizagem de métodos formais. Ouvi dizer que métodos formais são usados ​​(e geralmente usados ​​apenas) para criar software de missão crítica (como controlador de reator nuclear, controlador de vôo de aeronave, controlador de sonda espacial). É por isso que estou interessado em aprender: p No entanto, depois de …

15 program-verification  formal-methods  se.software-engineering