仕様書の書き方って，習いました？ - 日経エレクトロニクス - Tech-On!
突然ですが，読者諸兄姉は，仕様書の書き方って，教わったことはおありでしょうか。あるいは，部下に教えたことはおありでしょうか。 日経エレクトロニクス 2007年2月12日号のGuest Paper（pp. 133-152）では，「仕様書の記述力を鍛える」と題して，フェリカネットワークスのソフトウエア・エンジニアの栗田太郎氏に，「形式仕様記述」という手法を使ったプロジェクトの体験記を執筆していただきました。 同社は「おサイフケータイ」などとして知られる携帯電話機向けの「モバイルFeliCa」の開発元で，そのICチップのファームウエア開発に当たって，「仕様をキッチリ書けるところは，書こう。実装者任せにしないようにしよう」という意識を徹底，高品質なソフトウエアの開発に成功しました。成果物は，NTTドコモの携帯電話機「903iシリーズ」の全機種に採用されるなど出荷数も多く，責任の重いプロジェクトです
形式仕様記述(フォーマルメソッド、Formal Methods): ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 2006/08/06の「純粋関数型言語Concurrent Clean」のときに、 「この前、九大に教えに行ったとき、Formal Methodsの我が国の第一人者であ る荒木啓二郎先生から直接お話を聞いて、仕入れてきました。それは、次の機 会に。」 と書いたけど、怠けと忙しさと体調不良で遅れ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
