BT

ソフトウェア検証  に関するすべてのコンテンツ rss

関連するアーティクル ソフトウェア検証 rss

人のフォロワー CSPベースのモデル検査ツール「Process Analysis Toolkit」 作者: 藤本洋(キャッツ株式会社) フォローする 0 人のフォロワー 投稿 2011年11月27日

人のフォロワー 書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介 作者: 今井健男(株式会社 東芝 研究開発センター) フォローする 0 人のフォロワー 投稿 2011年11月15日

人のフォロワー イベントレポート:「ProofSummit2011」 作者: 株式会社 豆蔵 小林 健一 フォローする 0 人のフォロワー 投稿 2011年10月5日

InfoQにログインし新機能を利用する


パスワードを忘れた方はこちらへ

Follow

お気に入りのトピックや著者をフォローする

業界やサイト内で一番重要な見出しを閲覧する

Like

より多いシグナル、より少ないノイズ

お気に入りのトピックと著者を選択して自分のフィードを作る

Notifications

最新情報をすぐ手に入れるようにしよう

通知設定をして、お気に入りコンテンツを見逃さないようにしよう!

BT