不完全な仕様に起因するソフトウェアトラブルが増えるなかで、曖昧さの無い高品質な仕様を作成する手段として、形式手法がクローズアップされています。CSKシステムズは、最も確立した形式手法のひとつであるVDM（Vienna Development Method）を用いたソフトウェア開発のノウハウをコンサルティングサービスとして提供します。
- VDM-SLは仕様記述言語として1996年にISO標準化(ISO/IEC 13817-1)
|
|
|
 対象業務と解決できる課題 |
対象業務：仕様の品質向上を検討している業種・業務全般
- 上流工程で品質を確保することにより、下流工程からの手戻りが減少
- 曖昧さの無い仕様により、オフショア／ニアショアにおける品質不良が改善
- 仕様をライブラリ化することにより、既存システムの流用／改修にかかるコストを圧縮
|
| 提供サービス |
お客様の開発プロセスに形式手法（VDM）のアプローチを組み合わせて、検証された正しい仕様に基づく高品質なソフトウェア開発の実現を支援します。
- VDM導入を支援するコンサルティングサービス
- 言語仕様とモデル記述をマスターするVDM教育サービス
- VDM仕様トライアル記述サービス
|
| VDMTools |
VDMによる開発を支援する統合開発環境としてCSKシステムズが提供しています。
主な機能：
- 仕様の構文、型チェック機能
- 実行可能仕様のインタープリタとデバッグ機能
- 実行可能仕様のコードカバレージ計測機能
- UMLモデリングツールとの連動機能
- 実行可能仕様からJavaやC++への生成機能（オプション）
|
| VDM information web site |
VDMに関する情報発信・VDMの学習を行うためのコミュニティサイトです。
VDMToolsのご利用につきましては、information web siteからお申込み、ダウンロードしていただくことができます。
（※web site へのユーザ登録が必要です）
|
