第６回 要求シンポジウム その２

月曜日、「第６回　要求シンポジウム」に行ってきた。
そのときのメモメモ（後半）
なお、ここに書かれているのは、発言者の言葉であって、
私の意見ではない
私は、かなり反対意見を持っているが、それについては、
おいおいブログで書いていく

---

---

■ユーザーから見たＩＴ産業と上流対策

【共倒れが心配される日本のＩＴ】
・リスクをとらない発注者
　　　経営者の無関心（見えないコスト、プロセス、投資効果）
　　　システム部門のステイタスが低い：サポートから始まったから？
　　　　　　情報子会社：戦略的アウトソーシングによるロックイン
　　　　　　　　　→情報機能子会社は親会社に吸収
　　　わがままな事業部門：業務改革しないでツールをほしがる
　　　ベンダー依存・丸投げ・過剰依存
　　　　　→情報システム・ソフトウェア取引トラブル事例集

・リスクから逃げる受注者
　　　３つの不明朗
　　　　　　品質
　　　　　　価格
　　　　　　納期
　　　契約で逃げようとする
　　　　　　多段階契約・委任
　　　　　　先進企業は全部内製
　　　エンジニアリング力が足りない
　　　　　　天才プログラマが育たない？

・ＩＴに関心のない政府と行政
　　　進まない電子政府、電子行政
　　　医療健康分野：ＥＨＲとか進まない

【建設業と比べられるＩＴ産業】
・ＩＴゼネコンの誤解
　　　納期に収める
　　　たしかに似ている。でも、実際は違う
　　　業法があるかないか？
　　　　だれがプログラムを書いてもＯＫ！

・設計図があるかないか
　　　　プロセスモデリング＋データモデリング

【上流問題が解決しないいくつかの理由】
・ユーザーの堕落
・ウォーターフォールに依存している
・崩れてしまったパートナーシップ
　　・メインフレーム時代の蜜月
　　・きっかけはオープン化の流れ
　　・クラウド
　　　　　ハイブリッド型が普通の利用形態

【改善の兆しと期待】
・システムイニシアチブを取り戻す
　　・内製を始めたユーザー企業
　　　　　・外注で構築していたらビジネススピードに間に合わない
　　　　　　　　→システム内製を極める

・データマネジメントへの関心
　　・ＭＤＭ（マスタデータ管理）
　　・レスポンシブ・ウェブ・デザイン

・ビッグデータに臭うＢＩの失敗
　　・目的あいまいのデータ管理
　　・構造化データ管理もできないのに、非構造化データ

・日本データマネジメント・コンソーシアム（ＪＤＭＣ）の発足

・プロセス可視化：可視経営協会

・ソフトウェア信頼性向上への期待
　　　・形式手法への期待

---

■形式手法活用ガイドの適用
　ＮＥＣ　橋本先生

【ＤＳＦについて】
・背景
　　・ソフトウェアの複雑化
　　・システムにおけるソフトウェアの割合上昇
　　・要求定義や外部設計などの上流工程における問題
　　　　　→３０％以上の企業が「要件定義不十分」「システム設計不十分」

・ＤＳＦ：障害を起こさないソフトウェア
　　　　企業＋（アドバイザ）ＮＩＩの中島先生
　　　　不具合の除去→形式手法

　・外部設計でのもれ、矛盾チェック
　　　→合意形成ガイド

　・採用した形式手法
　　　実績＋無償利用＋上流

　　形式仕様記述：ＶＤＭ＋＋，Ｂメソッド、Ｅｖｅｎｔ－Ｂ
　　　　→データの制約を守っているか

　　形式検証（モデル検査）：ＳＰＩＮ
　　　　→状態遷移の突合せ

　図書館システム
　　まだ、バグが出る：形式手法の作業手順、イディオム集

・形式仕様活用ガイド
　３部からなる
　　　１．ガイドの紹介
　　　２．手順集
　　　３．設計書から形式仕様への直し方
　　　　　　→作業説明例

・形式手法適用実証実験
　東京証券取引所とＤＳＦ
　ＩＰＡ／ＳＥＣ　形式手法適用実証ＷＧで
　　　　山本先生、（九大）荒木先生、中島先生

・今後の活動
　ガイド改定

・形式手法でできること

形式手法
　　形式仕様記述
　　　正しい仕様をつくり、残す
　　　　　ＶＤＭ＋＋など
　　形式検証
　　　モデル検査：
　　　定理証明：人間必要

レビューとの違い
　　・構文チェック、型チェック、ツールを使って検査

　わかること
　　・記述の矛盾がわかる
　　・暗黙値の発見
　　・あいまいさの発見

---

このあとのパネルディスカッションには出なかった。