はてなブログトップ

VDM

このタグでブログを書く

言葉の解説

ネットで話題

関連ブログ

VDM

(コンピュータ)

【う゛いでぃーえむ】

VDM

Vienna Development Method

IBMのウィーン研究所で1960年代から70年代にかけて開発された、数学を基盤として仕様、プログラムの正当性を保証するための手法で、形式手法と呼ばれる手法のひとつ。

このタグの解説について

この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

42ブックマーク動画の音ズレ関連のトラブルは「VDM」で全部解決 | 教えて君.net 動画を再生するときによくあるのが映像と音声のタイミングが合っていない「音ズレ」というトラブルだ。口の動きと声が一致していないと腹話術みたいで気持ち悪いのでエンコ技を使って落とした動画の音ズレを解決してやろう。音ズレには大きく分けると3種類ある。音が途中でブチブチ止まるもの、最初から一定間隔でずっ...

www.oshiete-kun.net

19ブックマーク VDM++による形式仕様記述 VDM自体やその言語，ツールに関するFAQです． VDMに限らない形式手法全般については，著者もかかわっているディペンダブル・システムのための形式手法の実践ポータルなどをご参照下さい．書籍にて解説しなかった情報を中心に載せています．あくまで著者自身の試用・見解に基づくものですので，特にツールに関する情報...

research.nii.ac.jp

11ブックマーク VDM++による形式仕様記述近代科学社より出版されている書籍「VDM++による形式仕様記述」のWebサイトです．VDMToolsやOverture（Eclipseベースのツール）の利用法なども載せています． Amazonへのリンク（紹介文を下記に引用）機能仕様書の曖昧さ、不正確さ、不整合などに起因する手戻りに悩まされている開発者、近年話題となっている形式手法を...

research.nii.ac.jp

7ブックマーク Amazon.co.jp: VDM++によるオブジェクト指向システムの高品質設計と検証: ソフトウェア開発の実践仕様の品質を飛躍的に高める手法: ジョンフィッツジェラルド (著), 酒匂寛 (翻訳): 本

www.amazon.co.jp

6ブックマークヤギの人 on Twitter: "「高いところから落ちるのが好きなタニシ」 Not sure if this is the right sub for this…but, my snails like to climb as high as they can an… https://t.co/vDM0fr0Kol"

6ブックマーク GitHub - opensourcecorp/vdm: A General-Purpose Versioned-Dependency Manager

5ブックマーク VDM、SPINから始める形式手法入門 | 開発深知ブログ

blog.devshinchi.jp

5ブックマーク「Blender 3.5」の新機能！スカルプトで簡単に形状を加えられるVDMブラシを解説【Blender ウォッチング】

forest.watch.impress.co.jp