Als «se.software-engineering» getaggte Fragen

2
Inwieweit kann ein Algorithmus die zeitliche Komplexität eines beliebigen Eingabeprogramms vorhersagen?
Das Problem "Anhalten" gibt an, dass es unmöglich ist, ein Programm zu schreiben, mit dem festgestellt werden kann, ob ein anderes Programm anhält, und zwar für alle möglichen Eingabeprogramme . Ich kann jedoch sicherlich ein Programm schreiben, das die Laufzeit eines Programms wie folgt berechnen kann: for(i=0; i<N; i++) { …

9
Wie erstelle ich geschäftskritische Software?
Ich lerne selbst formale Methoden. Ich habe gehört, dass formale Methoden verwendet werden (und in der Regel nur verwendet werden), um unternehmenskritische Software zu erstellen (z. B. Nuklearreaktor-Controller, Flugzeug-Flug-Controller, Raumsonden-Controller). Deshalb bin ich daran interessiert, es zu lernen: p Nach dem Erlernen der formalen Methoden (insbesondere LTL, CTL und ihre …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.