DSpace Collection: http://hdl.handle.net/10061/12 Sun, 26 May 2013 09:27:38 GMT 2013-05-26T09:27:38Z ソフトウェア委託開発プロジェクトの超上流工程における非機能要件評価に関する研究 http://hdl.handle.net/10061/8611 Title: ソフトウェア委託開発プロジェクトの超上流工程における非機能要件評価に関する研究 Authors: 齊藤康廣; 門田暁人; 松本健一 Tue, 01 Jan 2013 00:00:00 GMT http://hdl.handle.net/10061/8611 2013-01-01T00:00:00Z An Approach to RTL False Path Mapping Using Uniqueness of Paths http://hdl.handle.net/10061/8610 Title: An Approach to RTL False Path Mapping Using Uniqueness of Paths Authors: Hiroshi Iwata; Satoshi Ohtake; Hideo Fujiwara Tue, 01 Sep 2009 00:00:00 GMT http://hdl.handle.net/10061/8610 2009-09-01T00:00:00Z Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers http://hdl.handle.net/10061/8582 Title: Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers Authors: Kenji Hashimoto; Ryuta Sawada; Yasunori Ishihara; Hiroyuki Seki; Toru Fujiwara Thu, 01 Nov 2012 00:00:00 GMT http://hdl.handle.net/10061/8582 2012-11-01T00:00:00Z 構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例 http://hdl.handle.net/10061/7850 Title: 構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例 Authors: 高井利憲 Fri, 01 Jun 2012 00:00:00 GMT http://hdl.handle.net/10061/7850 2012-06-01T00:00:00Z