Pytania oznaczone «se.software-engineering»

W jakim stopniu algorytm może przewidzieć złożoność czasową dowolnego programu wejściowego?

Powstrzymanie problemu twierdzi, że niemożliwe jest napisanie programu, który może określić, czy kolejne przystanków programowych dla wszystkich możliwych programów wejściowych . Mogę jednak z pewnością napisać program, który może obliczyć czas działania programu takiego jak: for(i=0; i<N;...

Jak stworzyć oprogramowanie krytyczne dla misji?

Uczę się metod formalnych. Słyszałem, że do tworzenia oprogramowania o kluczowym znaczeniu (takiego jak kontroler reaktora jądrowego, kontroler lotu statku powietrznego, kontroler sondy kosmicznej) stosuje się (i zwykle stosuje się) metody formalne. Dlatego chcę się tego nauczyć: str Jednak po...