「バグ無し」は可能、ソフトの先頭走る
ソフトウエア開発の先端技術を現場に広める伝道師。酒匂寛氏はこの呼び名にふさわしい。オブジェクト指向技術を日本にいち早く紹介し、多数の導入プロジェクトに参加。現在は「形式手法」の定着を目指す。オープン系の最初期から30年、あくまで現場にこだわり、「バグ無し」開発への理想を追い続ける。 オブジェクト指向、形式手法とソフト開発技術の最前線にいち早く取り組んできました。 自分の中では問題意識は一貫しています。ソフトを開発する上で、ソフトの論理的な振る舞いを表現した「仕様（スペック）」がいかに大切か、ということです。 仕様は、要求を出す人と物（プログラム）を作る人が合意する接点となります。ここがいい加減だと、どうにもならないわけですよ。オブジェクト指向も形式手法も、仕様を正しく作り、信頼性の高いソフトを実現する手段として注目しました。 ソフト開発では仕様書を書くのは当たり前ですが、それでは不十分であ
フォーマルメソッド(形式仕様記述、Formal Methods)の教科書: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2010/07/29/5254538 高品質高信頼ソフトウェア開発の特別セミナー http://iiyu.asablo.jp/blog/2010/07/29/5254545 VDM++によるオブジェクト指向システムの高品質設計と検証 で書いた続き。 フ
www.vdmtools.jp – このドメインはお名前.comで取得されています。
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年10月時点の調査。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
