Preguntas etiquetadas con se.software-engineering

¿En qué medida puede un algoritmo predecir la complejidad temporal de un programa de entrada arbitrario?

El problema de detención indica que es imposible escribir un programa que pueda determinar si otro programa se detiene, para todos los programas de entrada posibles . Sin embargo, ciertamente puedo escribir un programa que pueda calcular el tiempo de ejecución de un programa como: for(i=0;...

¿Cómo crear software de misión crítica?

Estoy aprendiendo métodos formales. Escuché que se usan métodos formales (y generalmente solo se usan) para crear software de misión crítica (como el controlador del reactor nuclear, el controlador de vuelo de la aeronave, el controlador de la sonda espacial). Por eso me interesa aprenderlo: p Sin...