気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
shinsahara.comエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
CSK VDMTools
VDMTools公式ページへのリンク CSKシステムズが上記公式URLを開始しましたので、このページ内の「公式」... VDMTools公式ページへのリンク CSKシステムズが上記公式URLを開始しましたので、このページ内の「公式」情報は、徐々に上記へ移行する予定です。 例題 | ライブラリー|ニュースレター | セミナー資料 | 製品パンフレット | 関連文献 | 以下は英語情報 VDM情報 | VDM++教科書 | Overture Project CSK VDMToolsは、ISO標準のVDMを拡張した形式仕様記述言語VDM-SLと、そのオブジェクト指向拡張であるVDM++による、分析・設計・開発を支援する実用性の高い統合ツールです。2005年、（株）CSKシステムズがデンマークの会社から全ての権利を買い取り、100倍高速化し、ライセンス契約のもとに無料で提供しています。 ツールやマニュアルのダウンロード方法詳細は、VDMTools公式ページをご覧ください。 VDMToolsはすでに産業界と大学で
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
shinsahara.com
business.nikkei.com
www.iwanami.co.jp
equiz-genai.com
bunshun.jp
natgeo.nikkeibp.co.jp
togetter.com
anond.hatelabo.jp
www.riken.jp
togetter.com
www.jiji.com
2009/11/10 リンク