Questions marquées «se.software-engineering»

Dans quelle mesure un algorithme peut-il prédire la complexité temporelle d'un programme d'entrée arbitraire?

Le problème d'arrêt indique qu'il est impossible d'écrire un programme qui peut déterminer si un autre programme s'arrête, pour tous les programmes d'entrée possibles . Je peux, cependant, certainement écrire un programme qui peut calculer le temps d'exécution d'un programme comme: for(i=0; i<N;...

Comment créer un logiciel essentiel à la mission?

Je suis des méthodes formelles d'auto-apprentissage. J'ai entendu dire que des méthodes formelles sont utilisées (et généralement uniquement utilisées) pour créer des logiciels essentiels à la mission (tels que le contrôleur de réacteur nucléaire, le contrôleur de vol d'avion, le contrôleur de...