(C) 2007, Sako Hiroshi. all rights reserved. 1 形式仕様記述を巡る話題 酒匂 寛 オブジェクト倶楽部 2007 クリスマス (C) 2007, Sako Hiroshi. all rights reserved. 2 本日の結論 • いますぐ試してみよう – 形式手法は明日の技術ではなく、いまそこにある 技術。活用すれば仕事を劇的に楽にする • 形式手法はコミュニケーションを助ける – 怠惰な技術者は「形式手法」で楽をしよう、他者と の対話自分との対話の基礎を固めて、「本質的 に考えるべきこと」に時間を割こう (C) 2007, Sako Hiroshi. all rights reserved. 3 本日の話題 • 形式仕様とは • 仕様書の性質 • モデルベースの形式仕様記述 – 契約による設計 • 現場での事例二つ • 仕様記述の例二つ