形式手法
本日で春先から受講していたJAISTの授業I217関数プログラミングを終えました。 経緯としてはSET(Software Engineer in Test)界隈で形式手法が取り上げられることがあり、自分の業務守備範囲からそう遠くない領域だったため興味を持ち受講しました。今回学ぶ…
本日で春先から受講していたJAISTの授業I217関数プログラミングを終えました。 経緯としてはSET(Software Engineer in Test)界隈で形式手法が取り上げられることがあり、自分の業務守備範囲からそう遠くない領域だったため興味を持ち受講しました。今回学ぶ…