VDM++による形式仕様記述 形式仕様入門・活用の第一歩(近代科学社) [電子書籍]
    • VDM++による形式仕様記述 形式仕様入門・活用の第一歩(近代科学社) [電子書籍]

    • ¥4,180836ポイント(20%還元)
    • すぐ読めます
100000086600915120

VDM++による形式仕様記述 形式仕様入門・活用の第一歩(近代科学社) [電子書籍]

価格:¥4,180(税込)
ポイント:836ポイント(20%還元)(¥836相当)
フォーマット:
専用電子書籍リーダアプリ「Doly」が必要です。無料ダウンロード
出版社:近代科学社
公開日: 2011年07月27日
すぐ読めます。
お取り扱い: のお取り扱い商品です。
ご確認事項:電子書籍リーダーアプリ「Doly」専用コンテンツ
こちらの商品は電子書籍版です

VDM++による形式仕様記述 形式仕様入門・活用の第一歩(近代科学社) の 商品概要

  • 明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない!
     ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。
  • 目次

    第1章 形式手法とVDM
    第2章 VDM概要
    第3章 VDM++記述の構成要素
    第4章 VDM++によるクラス記述
    第5章 VDM++によるモデル化と例題(1):集合
    第6章 VDM++によるモデル化と例題(2):列
    第7章 VDM++によるモデル化と例題(3):写像
    第8章 VDM++ Toolboxの活用
    第9章 VDM++ Toolboxにおける実装への展開
    第10章 VDM++・VDM++ Toolboxを用いた開発
    第11章 関連情報

    付録A VDM++簡易リファレンス
    付録B 練習問題解答
  • 商品の注意点

    この商品は固定レイアウトで作成されており、タブレットなど大きいディスプレイを備えた端末で読むことに適しています。購入前にお使いの端末で無料サンプルをお試しください。

VDM++による形式仕様記述 形式仕様入門・活用の第一歩(近代科学社) の商品スペック

シリーズ名 トップエスイー実践講座
発行年月日 2011/07/27
書店分類コード K600
Cコード 3350
出版社名 近代科学社
他の近代科学社の電子書籍を探す
紙の本のISBN-13 9784764904095
ファイルサイズ 171.9MB
著者名 本位田 真一
荒木 啓二郎
石川 冬樹
著述名 監修

    近代科学社 VDM++による形式仕様記述 形式仕様入門・活用の第一歩(近代科学社) [電子書籍] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!