Making Software 'Correct by Construction' - Professor Martyn Thomas CBE

แชร์
ฝัง
  • เผยแพร่เมื่อ 10 ม.ค. 2025

ความคิดเห็น • 6

  • @FlockOfHawks
    @FlockOfHawks 6 ปีที่แล้ว +5

    Truly a magnificent lecture , a joy for this ancient , passionate programmer .
    Thank you very very much , Gresham !

    • @FlockOfHawks
      @FlockOfHawks 6 ปีที่แล้ว

      Professor Martyn Thomas is definitely on my bugfree list of great lecturers

  • @DunetsNM
    @DunetsNM 5 ปีที่แล้ว +3

    42:26 "Demonstrated low value of unit testing when formal methods used."
    if only industry understood what cargo cult unit testing is

  • @researchandbuild1751
    @researchandbuild1751 5 ปีที่แล้ว +3

    Seems like this ges the entirely opposite way of coding "agile". I like it lol

  • @Tracks777
    @Tracks777 7 ปีที่แล้ว +1

    Nice content! Keep it up!

  • @axeman2638
    @axeman2638 8 หลายเดือนก่อน +1

    Well first you'd have to define what correct meant