著者

中谷 多哉子 近藤 城史 位野木 万里 津田 道夫 堀 昭三 片峯 恵一

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 (ISSN:09135685)

巻号頁・発行日

vol.109, no.150, pp.25-30, 2009-07-16

被引用文献数

2

---

多くの要求がプロジェクトの遂行中に変更され,それによる手戻りで納期が遅れることがある.この問題を解決するために,我々はPRINCEモデルと名付けた要求獲得のプロセスモデルを提唱している.このモデルは,要求獲得のプロセスを3+1の型に分類することによって,プロジェクトの全期間にわたって要求を獲得する計画を立案するためのモデルである.要求獲得を立案するためには,過去のプロジェクトで行われた要求獲得の実態を明らかにし,要求獲得プロセスを計画するための指針を導出しなければならない.本稿では,PRINCEモデルの概要を述べた後に,要求を観測する方法をガイドラインとしてまとめた結果を紹介し,ガイドラインを適用した結果を示すことによって,ガイドラインの今後の課題を検討する.

著者

片峯 恵一 廣田 豊彦 周能法 長澤 勲

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.37, no.6, pp.1130-1137, 1996-06-15

被引用文献数

4

---

ドメインの知識を記述するための言語処理系のプロトタイプ用言語には 1)言語処理系の開発に適していて 理解性 保守性にすぐれている 2)実際に運用可能な性能を実現できる 3)移植性にすぐれている などの要件がある.そのような要件を満たす言語として著者らはβ-Prologの開発を進めている.本研究では 決定的な述語をCへ変換することによって β-Prologのいっそうの高速化を目指した.具体的な変換手順は 1)β-Prologコンパイラの中間データである照合木を入力とする 2)照合木を抽象機械NTOAMの命令系列へ展開する 3) NTOAMの各命令をCの文へ変換する となる.このようにしてCへ変換された決定的な述語は NTOAM上で解釈される非決定的な述語と組み合わせて実行することができる.実行性能を評価した結果 非決定性を含む8-queenのような問題であっても SICStusのネイティブコード・コンパイラよりも高い性能を示した.人手でCプログラムヘ変換することによってさらに性能を向上させることが可能であるが そのためには膨大な労力を要し しかも理解性や保守性が低下する.したがって 本論文で提案した手法は 実用的なプロトタイプの開発にきわめて有用であると考えられる.The requirements for a language to be a good implementation language for knowledge representation languages include: 1) be suitable for developing language processors, and have good understandability and maintainability, 2) have fair performance tolerable for practical uses, and 3) have good portability. We have been developing β-Prolog to satisfy the above requirements. In this research, we have aimed to improve the performance of β-Prolog by translating determinate predicates to C. Our translation procedure works as follows: 1) input the matching trees which are intermediate data of the β-Prolog compiler, 2) flatten the matching trees into a sequence of NTOAM instructions, 3) convert each NTOAM instruction to C statements. The C program translated from determinate predicates can be linked with nondeterminate predicates which are interpreted by NTOAM. Our evaluation result shows that our method is superior in performance to SICStus native code compiler even when a program has nondeterminism like 8-queen. Manual translation to C program might improve the performance further, but it would take enormous efforts and degrade the understandability and maintainability. We think that our method is much effective for developing practical prototype systems.

著者

三瀬 敏朗 新屋敷泰史 橋本 正明 鵜林尚靖 片峯 恵一 中谷 多哉子

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2004, no.87, pp.113-120, 2004-08-20

被引用文献数

5

---

組込みソフト分野では、専任オペレータや安定した環境とは限らない状況での運用を要求される。組込みシステムの信頼性や安全性を確保するために、通常運用で想定から抜け落ちしやすい状況である非正常系に焦点を絞り、仕様分析段階で非正常系要件の抽出を行い、システムの設計要件を明確にする方法について検討を行った。このため、非正常系の分析や要因等の体系化を行い、システムにおける非正常系の連鎖から障害に至る挙動の抽出を行うために、状態とイベントのマトリクスを用いて分析を行う方法を検討し試行した。その結果、基本的な有効性を確認し、今後の課題を検討した。Embedded systems are in need of the consideration about exceptions because of the environment and requirements for running. However, in practice, the consideration about exceptions often slipped out of specifications. Thus, it is an important problem about the cost and quality of embedded systems. Therefore, we have been studying about the methodology to analyze exceptions with exception knowledge systematization and exception state/event analysis matrix. In this paper, we describe the analysis matrix, its application example, and future studies.

著者

三瀬 敏朗 新屋敷 泰史 中谷 多哉子 片峯 恵一 鵜林 尚靖 橋本 正明

出版者

プロジェクトマネジメント学会

雑誌

プロジェクトマネジメント学会研究発表大会予稿集

巻号頁・発行日

vol.2008, pp.211-216, 2008

---

家電製品などのソフトウェア組込み製品では,安全性や使用性などの高い品質が求められる.組込みソフトウェア開発プロジェクトでは徹底したテストが行われ,ソフトウェア仕様の不具合が発見されることによる開発の手戻りが多い.高品質なソフトウェア設計を開発の手戻りなく実施するためには,プロジェクトの課題を明確にし,その特性に適した品質マネジメントを行う必要がある,我々は,開発遅延したプロジェクトの調査を行い,製品が部分的な故障や誤操作などの正常な動作から逸脱した場合の振舞いが製品の非機能要求に逸脱していることが主要な要因であることを特定した.本論文では,非機能要求に着目した製品ソフトウェア開発における品質マネジメントを提案する.具体的には,ソフトウェア設計前に非機能要求を明確化するためのプロセスと,明確にできない非機能要求の項目を管理していくためのプロセスを追加した品質マネジメントと実現するためのツールと技法を提案し,その実用性の事例実験について述べる.

著者

久保 純哉 井上 富雄 三瀬 敏朗 新屋敷 泰史 橋本 正明 片峯 恵一 鵜林 尚靖 中谷 多哉子

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 (ISSN:09135685)

巻号頁・発行日

vol.108, no.326, pp.1-6, 2008-11-20

---

組込みソフトウェアの開発においては,システムの障害などを処理する非正常系が,開発規模の約7割を占めている.筆者らが既に提案している組込みソフトウェアの非正常系分析手法において,HAZOP(Hazard and Operability Study)のガイドワードは重要な役割を持っている.しかし,ガイドワードの体系は,未整理である.そこで,本稿は,要求された品質とその品質を実現するための機能の関係を示すQFD(Quality Function Deployment)と,ガイドワードの関係を考察する.

著者

片岡 洋 中谷 多哉子 廣田 豊彦 片峯 恵一 橋本 正明

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 (ISSN:09135685)

巻号頁・発行日

vol.103, no.217, pp.29-34, 2003-07-17

---

システム開発は多人数のプロジェクトにより成立するにもかかわらず,一般的な多くのCASEツールは,グループ活動の支援を行っていない.このような状況を背景に,我々はグループによる開発作業,特にレビューを現実的な方法で支援するため,CASEツールをルーズに統合するためのアーキテクチャを提案する.このようなCASEツールの統合により,各CASEツールが独立して動作することによる個人のシステム開発の活動の支援,さらに仕様情報を交換・共有する機構による円滑なレビューの支援が期待できる.

著者

筒井 雄一郎 橋本 正明 廣田 豊彦 片峯 恵一

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 (ISSN:09135685)

巻号頁・発行日

vol.101, no.502, pp.25-31, 2001-12-06

---

ソフトウェアの生産性や信頼性の観点から、ドメインの専門家が要求仕様を直接記述できる仕様記述言語の開発と、その仕様記述からプログラムを自動生成することが望まれている。著者らは、ドメインに特化した仕様記述言語の開発を行ってきた。さらに、システム開発を効率化するために、ドメイン特化仕様記述言語からオブジェクト指向プログラムを自動生成するジェネレータの研究と開発を行っている。その一つとして、動的な仕様からオブジェクト指向プログラムを自動生成するため研究を行っており、その中で自動生成における生成パターンを考案した。この生成パターンは、動的な仕様と対応したプログラムを生成するためのテンプレートであり、このテンプレートに基づいたジェネレータの開発を行っている。