エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Microsoft PowerPoint - オブジェクト倶楽部2007クリスマス公開.ppt
(C) 2007, Sako Hiroshi. all rights reserved. 1 形式仕様記述を巡る話題 酒匂 寛 オブジェクト倶楽部 ... (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 本日の話題 • 形式仕様とは • 仕様書の性質 • モデルベースの形式仕様記述 – 契約による設計 • 現場での事例二つ • 仕様記述の例二つ
2016/10/19 リンク