Informatika és tudomány

  • snorbi
    #14
    Szoftvert nehezebb fejleszteni, mint hardvert. (Itt komoly cégekre gondolok, nem pedig arra, hogy a 11 éves Pistike elgondolkodik, hogy szoftver- vagy hardverfejlesztéssel üsse-e el az időt. Persze, hogy ő szoftvert fog fejleszteni :\ )
    A hardverek helyességének igazolására jóval kiforrottabb formális technikák vannak, míg a szoftvereknél csak elvétve alkalmaznak formális módszereket hatékonysági okokból (pl. vasúti forgalomirányító megoldásoknál ha jól tudom ez kötelező is, de gondolom más egyéb veszélyes területeken is).