VDM++によるオブジェクト指向システムの高品質設計と検証

このページは Validated Designs for Object-oriented Systems の訳本である「VDM++によるオブジェクト指向システムの高品質設計と検証」(翔泳社 2010年)のサポートページです。これから内容が追加されますが、とりあえず サンプルモデル, 演習の解答, セミナー資料 などをご覧下さい。VDMそのものの情報に関しては the VDM Portalをご覧下さい。

Tool について

株式会社 CSK Systems 様から VDMTools の特別版 VDMTools Lite が、本書の例題を試す為に無償で提供されています。 www.vdmtools.jp　をご覧下さい。動作環境は Windows 2000/XP/Vista/7, Mac (G4, G5 and x86) そして Linux です。コード生成(Java, C++)や動的リンクライブラリ、そして CORBA サポートを含む完全版については VDM.SP@csk.com までお問い合わせ下さい。

VDMTools の代わりの選択肢としてオープンソースの Overture プロジェクトの成果もお使いいただけます。概要は downloaded へどうぞ。Overture のツール(Windows, Mac そして Linux用)のダウンロードは次の場所からどうぞ freely available。

参考

Validated Designs for Object-oriented Systems. John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef. ISBN: 1-85233-881-4. Springer, New York. 2005. Download the BIB file entry vdmbook.bib.

You can purchase the book on-line at the Springer web-site. A Japanese translation is available as ISBN 978-1-85233-881-7 from August 2010, also available from the same publisher.

セミナー資料

本書の内容を補完する資料は VDM Portal から入手することができます。

正誤表

原書の正誤表は Errata sheet にあります。訳書の正誤表はこれから整備する予定です。

-- SakoHiroshi - 10 Aug 2010