ホーム > ニュース > 事例 > 形式手法ツール VDM情報

形式手法ツール VDM情報

2
tadashi
投稿者: tadashi | 投稿日時: 2007/8/12 9:06 | 公開日時: 2007/8/12 9:06 | 閲覧: 6331回
タグ:
http%3A%2F%2Fwww.vdmtools.jp%2F

論理的に問題のないプログラムを組むための形式手法の情報サイトです。スイカのシステム構築に使って成果をあげたのが有名です。XOOPS Cube はこういったサイト構築に使いやすいですね。

コメント(0)

新しいものから | 古いものから | ネスト表示 | RSS feed

トラックバック(0)

新しいものから | 古いものから | RSS feed

投票(2)

新しいものから | 古いものから | RSS feed
 
    To Top