Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
ソフトウエアの信頼性を高めるための
Poster
形式手法とその数学的背景に関する研究
ソフトウェアシステムのリスク低減に 対する形式手法からのアプローチ
社会を支えるソフトウェアの信頼性・安全性 形式
- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび
形式手法の研究と実践から ざっくばらんに．．． 形式手法
システム
資料 - アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の
西川会夏祭り - 那須烏山市
