In the past three years of working on large safety critical systems, I've learned that verification isn't the real problem, but it's writing specifications. Don't @ me.https://twitter.com/Conaw/status/1206137383839649792 …
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
to be fair,it's a lot more than 30 years. Dave Parnas once told me one of his colleagues had lost his academic strong point when expertise on the Selectric typewriter symbol ball was replaced by Latex.pic.twitter.com/yUAjlm1zOY
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.