1. トップ > 
  2. eラーニング講座一覧 > 
  3. IT専門分野 > 
  4. VDMにおける陽仕様と陰仕様の関係~各種ソートアルゴリズムの仕様定義~

VDMにおける陽仕様と陰仕様の関係~各種ソートアルゴリズムの仕様定義~

"形式仕様記述言語VDMでは、操作(operation)の事前条件と事後条件を 論理式で記述することで機能仕様を定義できる。また、インタプリタが実行可能な 操作を定義するための関数型プログラミング言語も用意されている。 前者の方法で定義した機能仕様を「陰仕様定義」、後者の方法で定義した 機能仕様を「陽仕様定義」という。
本コースでは、操作を構造化してサブ操作に分割し、各サブ操作の陰仕様定義を 記述することで、陽仕様定義が記述する抽象アルゴリズムの意図を明確化できる ことを、各種のソートアルゴリズムを例題に使って説明する"
※「富士通株式会社 ミドルウェア事業本部」との提携にてご提供するeラーニング講座です。

  • Point1
    該当分野に特化した技術について、わかりやすく解説しています!
  • Point2
    読みやすい画面レイアウトにより、内容をじっくりと読み解けます!
  • Point3
    期間内であれば、ご自分のペースで何度でも繰返し閲覧できます!

標準学習時間

1時間

講座チラシ

クラウドサービス型・買取型(Internet Navigware対応)

1.はじめに

  • 1.1 VDMとは
  • 1.2 陰仕様定義と陽仕様定義
  • 1.3 サブ操作の陰仕様定義を使った陽仕様定義の意味付け

2.共通部分のVDM記述(class NatArray)

  • 2.1 抽象化
  • 2.2 共通の型定義
  • 2.3 インスタンス変数
  • 2.4 共通の関数
  • 2.5 共通の操作

3.バブルソート

  • 3.1 バブルソートの陰仕様と陽仕様
  • 3.2 サブ操作bsortの陰仕様と陽仕様
  • 3.3 サブ操作bubbleの陰仕様と陽仕様

4.インサートソート

  • 4.1 インサートソートの陰仕様と陽仕様
  • 4.2 サブ操作isortの陰仕様と陽仕様
  • 4.3 サブ操作insertの陰仕様と陽仕様

5.クイックソート

  • 5.1 クイックソートの陰仕様と陽仕様
  • 5.2 サブ操作qsortの陰仕様と陽仕様
  • 5.3 サブ操作partitionの陰仕様と陽仕様

6.マージソート

  • 6.1 マージソートの陰仕様と陽仕様
  • 6.2 サブ操作msortの陰仕様と陽仕様
  • 6.3 サブ操作mrgArrayの陰仕様と陽仕様

7.ヒープソート

  • 7.1 ヒープソートの陰仕様と陽仕様
  • 7.2 ヒープ構造とは
  • 7.3 サブ操作downHeapの陰仕様と陽仕様
  • 7.4 サブ操作makeHeapの陰仕様と陽仕様
  • 7.5 サブ操作heap2arrayの陰仕様と陽仕様

8.おわりに

クラウドサービス型

受講期間 価格(税抜)
3ヶ月 18,000円

買取型

Internet Navigware対応

ライセンス数 価格(税抜)
期間無制限型 年間利用型
5クライアント 450,000円 225,000円
20クライアント 1,440,000円 720,000円
100クライアント 4,320,000円 2,160,000円

クラウドサービス型・買取型(Internet Navigware対応)

Microsoft Windows Vista、7、8、8.1 + PC/AT互換機 + キーボード + マウス
CPU:Pentium 300MHz 以上、メモリ:128MB 以上
画面解像度1024×768ピクセル以上、True Color(32ビット)のディスプレイ
Microsoft Internet Explorer 7、8、9、10、11
注意: JavaScript、およびCookieが有効であること
Adobe Flash Player
  • 本コースウェアはInternet Navigware V8.0 以降に対応しています。
  • 開発時点での確認です。プラグイン等、上位バージョンでの動作等、必ず「体験学習」のページでご確認ください。

▲ ページの先頭へ