感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

VDM++による形式仕様記述　形式仕様入門・活用の第一歩 　(トップエスイー実践講座)

著者名 石川冬樹／著 荒木啓二郎／監修
出版者 近代科学社
出版年月 2011.7
請求記号 0076/05208/

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0235846912一般和書２階開架パソコン在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 0076/05208/
書名 VDM++による形式仕様記述　形式仕様入門・活用の第一歩 　(トップエスイー実践講座)
著者名 石川冬樹／著 　 荒木啓二郎／監修
出版者 近代科学社
出版年月 2011.7
ページ数 224p
大きさ 24cm
シリーズ名 トップエスイー実践講座
シリーズ巻次 4
ISBN 978-4-7649-0409-5
分類 00763
一般件名 ソフトウェア工学
書誌種別 一般和書
内容注記 文献:p181〜184
内容紹介 形式仕様記述言語VDM++の包括的な入門解説書。VDM++使用の目的や意義にも言及しながら、具体的にわかりやすく説明。形式仕様記述とソフトウェア開発との関連についても取り上げる。
タイトルコード 1001110036813

要旨 実用システム開発ではまず仕様を書こう！明確な仕様の記述と検証を行わずして正統な開発を行うことはできない―何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。
目次 形式手法とＶＤＭ
ＶＤＭ概要
ＶＤＭ＋＋記述の構成要素
ＶＤＭ＋＋によるクラス記述
ＶＤＭ＋＋によるモデル化と例題（１）：集合
ＶＤＭ＋＋によるモデル化と例題（２）：列
ＶＤＭ＋＋によるモデル化と例題（３）：写像
ＶＤＭ＋＋　Ｔｏｏｌｂｏｘの活用
ＶＤＭ＋＋　Ｔｏｏｌｂｏｘにおける実装へのの展開
ＶＤＭ＋＋・ＶＤＭ＋＋　Ｔｏｏｌｂｏｘを用いた開発
関連情報
著者情報 荒木 啓二郎
　１９７８年九州大学大学院工学研究科修士課程修了。九州大学工学部助手。１９８２年工学博士。１９８４年九州大学助教授。１９８８年〜１９８９年文部省在外研究員（ドイツ連邦共和国パッサウ大学）。１９９３年奈良先端科学技術大学院大学教授。１９９６年九州大学教授(本データはこの書籍が刊行された当時に掲載されていたものです)
石川 冬樹
　２００７年東京大学大学院情報理工学系研究科博士課程修了、博士（情報理工学）。現在、国立情報学研究所助教・総合研究大学院大学複合科学研究科助教(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。