Twitter | Pretraživanje | |
Dr Heidy Khlaaf (هايدي خلاف) 15. pro
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.
Reply Retweet Označi sa "sviđa mi se"
Vasu Raman 16. pro
Odgovor korisniku/ci @HeidyKhlaaf
Yessss this was pretty much the biggest insight (to me) from my PhD thesis work.
Reply Retweet Označi sa "sviđa mi se"
Dr Heidy Khlaaf (هايدي خلاف)
Do verification for a PhD, 5 years later, realize the real problem was specifications 😭
Reply Retweet Označi sa "sviđa mi se" More
ShriramKrishnamurthi 16. pro
Odgovor korisniku/ci @HeidyKhlaaf @likeavass
I told you that when you visited. (-:
Reply Retweet Označi sa "sviđa mi se"
Dr Heidy Khlaaf (هايدي خلاف) 16. pro
Odgovor korisniku/ci @ShriramKMurthi @likeavass
I was too young! I didn't understand! 😭
Reply Retweet Označi sa "sviđa mi se"
Nicolai 16. pro
Odgovor korisniku/ci @HeidyKhlaaf @likeavass
As an anthropologist workings in ops I'm glad that you end up with the same result from a CS starting point.
Reply Retweet Označi sa "sviđa mi se"