• 当日発送
  • 送料無料

VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]

ブランド:Lp9EBb8t

お気に入りブランド
販売価格 :

4090.00税込

獲得ポイント :
510ポイント

商品がカートに追加されました
VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
販売価格:¥4090.00 税込

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

  • ご注文内容・出荷状況によっては当日発送できない場合もございます。
    詳しくはこちらよりご確認ください。

利用可

  • ポストにお届け / 一点のみ購入でご利用可能です。
    ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
    ゆうパケットには破損・紛失の保証はございません。
    詳しくはこちらよりご確認ください。

    商品の詳細

  • 要旨(「BOOK」データベースより)

    品質問題で余計な修正コストがかかっている原因の8割は「仕様」が曖昧。残念な事に「仕様」をきちんと書かずに力技で作り上げるソフトウェア開発の現場。その過程で技術者たちが不毛な開発作業を強いられている現状を打開する1冊。アーキテクトから保守管理者まで、仕様記述の仕組みが手に取るようにわかる。
  • 目次(「BOOK」データベースより)

    第1部 モデルとソフトウェア開発(VDM++でモデルを構築する:その概観
    VDM++のツールサポート)
    第2部 VDM++によるオブジェクト指向システムのモデリング(データを定義する
    機能を定義する ほか)
    第3部 モデリングの実践―3つのケーススタディ(モデルの構造化:エニグマ暗号機
    ビューの統合:CSLaMシステム ほか)
    第4部 モデルから実装へ(VDM++による並行処理
    モデルの品質 ほか)
  • 著者紹介(「BOOK著者紹介情報」より)(本データはこの書籍が刊行された当時に掲載されていたものです)

    フィッツジェラルドジョン(フィッツジェラルドジョン/FitzgeraldJohn)
    博士。英ニューカッスル大学コンピューティングサイエンス学部の教授。大学のソフトウェア信頼性センターでは、耐障害性に優れた適応システムの設計に向けた、形式手法の研究を主導している。企業の中であるいは企業と共に、航空、交通機関、電力システム、そして動的バイナリ変換などの仕様化技術を開発して来た。1991年にマンチェスター大学の博士号を取得。FME(欧州形式手法会議)のチェアマン、BCSのフェロー、ならびにACMのメンバーである

    ラーセンピーター・ゴルム(ラーセンピーターゴルム/LarsenPeter Gorm)
    教授。デンマークのオーフス大学工学部の形式手法グループの長で、組込みシステム設計のための形式手法とツールが研究テーマ。大学に職を得る前は、産業界に身を置いていたが、特にIFAD A/Sにおける研究、コンサルテーション、そしてトレーニングを責任者としてのキャリアは特筆されるべきものである。IFADではVDMToolsと関連技術の開発も主導していた。その後Systematic A/Sにてチーフ・ビジネス・ソリューション・アーキテクトとして働いた

    マッカージーポール(マッカージーポール/MukherjeePaul)
    マッケソン社のソフトウェア開発担当バイス・プレジデント。IFAD A/SにおけるVDMToolsの開発に続き、多くの大規模プロジェクトを経験している。ロッキード社のシニア・アーキテクトとして陸軍史上最大規模の防衛契約の一部を担ったり、ブリティッシュ・テレコムではチーフ・テクニカル・アーキテクトとして、民間のITシステムとしては歴史上最大規模のロンドンLSPシステムに携わったりした。ロンドン大学から博士号を取得

    プラットニコ(プラットニコ/PlatNico)
    オランダ・デルフトに拠点をおくソフトウェアエンジニアリング会社ウエストコンサルティング社のテクニカルディレクター。専門家としての興味は、ソフトウェア工学、形式手法、ソフトウェアとエンタープライズ・アーキテクチャ、そしてグリーンITに向けられている。デルフト工科大学から1993年に博士号を取得。世界的なIT企業キャップジェミニで働いた後、2000年からウエストコンサルティング社で働いている。Overture言語仕様委員会のチェアマンも務めており、VDM言語ファミリーの開発を指導している

    バーホフマーセル(バーホフマーセル/VerhoefMarcel)
    オランダのハーレムに拠点を置くチェス社の組込みシステムアーキテクト。デルフト工科大学でコンピュータサイエンスを学び、1993年に形式仕様の型チェックを行なうツールの研究で修士号を取得した。分散組込みリアルタイム制御システムの多重原則設計の研究によって、ナイメーヘンのラドバウド大学から2009年に博士号を取得。形式手法の分野ではアクティブな研究者であると同時に実践する技術者でもある。特にVDM++の利用を推進している
  • 商品の説明

    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    vdm++によるオブジェクト指向システムの高品質設計と検証の通販
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    vdm++によるオブジェクト指向システムの高品質設計と検証の通販
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    現場で役立つシステム設計の原則 ~変更を楽で安全にするオブジェクト
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    VDM++によるオブジェクト指向システムの高品質設計と検証: ソフトウェア開発の実践 仕様の品質を飛躍的に高める手法
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    仕様記述言語の中の関数 | PPT
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける
    VDM++によるオブジェクト指向システムの高品質設計と検証―仕様の品質を飛躍的に高める手法 [単行本]
    VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける

    最新のクチコミ

    ★★★★★

    まだ読み終わっていませんが、きれいな商品が届き一安心でした。中古購入の時はやっぱり写真が欲しいです。お安く買えて良かったです。ありがとうございました。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    メイベリン メール便対応商品なので単品で購入しました。 実店舗ですと探すのが大変ですが 手軽に購入できました。 ウォーターシャイニーダイヤモンドダイヤ

    • クチコミ投稿 1件
    購入品

    ★★★★★

    急に寒くなって、湿度も下がってきたので慌てて購入しました。年1回の交換なので、お安く購入できて良かったです。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    送料込みでもこんなにお安くていいの?!というお値段で購入できて本当に感謝です。 結果大当たり♪購入してよかったです! なんで早く買わなかったかと後悔したほど。 手元の細かい作業がとてもやりやすいです。 しかも卓上型だとデスク上のスペースを多少取られますが、これは全くとられませんからありがたいです☆ 私は今のところ1.8倍が使いやすい倍率に感じますが、必要に応じて最大6倍ですからほとんどの場合をカバーできるのではないでしょうか。 おすすめです! 最近、目の酷使がたたり近視と乱視と老眼が進み近くも遠くも見えにくく困っていました。 たまたま細かい作業をする趣味を持っているため、そんな状態に限界を感じ両手を使える卓上型ルーペを探していました。 そうしたらサンバイザーのような形のルーペを発見!しかも激安! 他店では3,000円台で同商品を販売しているところもあるくらいなので品質はハズれではないと確信し注文しました。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    綺麗な色でリラックス出来そう、と夫が申しております。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    誕生日プレゼントで購入しました。使いやすいと好評でした。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    作動音が多少気になりますが、到着も早く値段も安く概ね満足しております。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    顔用にオレンジ、体用にブルーをリピートしました。寒くなると肩や腰が痛くなりますがこれを貼るとましになります。 今回、サンプルが入ってなかったのが残念でした。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    味の濃さもちょうどよく美味しかったです! 小ぶりなので、メインだと大人1〜1.5人分、お子様には1〜2切れでちょうどいいのかなと!もう一品必要って時にもおすすめです!

    • クチコミ投稿 1件
    購入品

    ★★★★★

    柔らかくて、小さな花柄(?)もかわいくて。購入してよかったです。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    社内研修用で購入させていただきました。 最安値です。

    • クチコミ投稿 1件
    購入品

    ★★★★★

    コロナ対策でひとり鍋をしようと夫婦2人分購入しました。 最初にお粥を炊いて目止めをし、翌日は固形燃料を使って卓上キムチ鍋。底が平らなのでポケットコンロに乗せても安定感があって良かったです。心ゆくまで熱々の鍋を美味しく頂きました。 そしてなんといってもこのお値段で可愛いデザイン!和洋問わず、色々な熱源に対応しているのですごく使いやすいです!

    • クチコミ投稿 1件
    購入品

    ★★★★★

    2とおなじですわ。テレビでは分かりやすいんですが本は今一。というか何か中身のレイアウトなどが雑。まぁ安いから仕方ないですけど。

    • クチコミ投稿 1件
    購入品