|
JAIST Repository >
検索結果
検索結果表示: 6021-6030 / 6973.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 22-Oct-2008 | カラードペトリネットによるワークフローシステムのモデル化と検証 | 平石, 邦彦; 山本, 豊 |
| 1-Feb-2006 | An SNMP based failure detection service | Wiesmann, Matthias; Urban, Peter; Defago, Xavier |
| 27-May-2013 | raSAT: SMT for Polynomial Inequality | To, Van Khanh; Ogawa, Mizuhito |
| 11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
| 29-Jun-2011 | Modular Stacking-based Context-Sensitive Program Analysis | Li, Xin; Ogawa, Mizuhito |
| 21-Jun-2010 | Combining Testing and Static Analysis to Overflow and Roundoff Error Detection | Do, Ngoc Thi Bich; Ogawa, Mizuhito |
| 20-Nov-2007 | MDAフレームワークのEDA分野への適用 | 岩政, 幹人; 落水, 浩一郎 |
| 28-Mar-2007 | ソフトウェアアカウンタビリティ実現のためのGORAと法理論の利用に関する報告 | 杉森, 隼人; 落水, 浩一郎 |
| 7-Feb-2006 | UML図面群の変更波及解析に利用可能な依存関係の自動生成法 | 小谷, 正行; 落水, 浩一郎 |
| 28-Mar-2005 | 電子大学の履修管理システムを対象とした自己説明性および進化容易性を実現するためのソフトウェア構成手法の検討 | 早坂, 良; 藤枝, 和宏; 落水, 浩一郎 |
前へ
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
次へ
|
