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 …
-
-
Yup! And trying to make them formal is pretty much a nightmare.
-
My favourite was spending a lengthy afternoon with a lawyer finalising a specification for sandwiches for a big tender. It's harder than you'd imagine.
Kraj razgovora
Novi razgovor -
Č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.