|
- 本位田真一:知識工学手法によるソフトウェア・プロトタイピングに関する研究 早稲田大学,1986年3月
- S. Honiden, I. Sugiyai:Performance Evaluation by Qpit*i, Journal of Information Processing, Vol. 7, No. 4, pp. 262-268, 1985年 2月
- 本位田真一, 松本吉弘:リアルタイムシステムにおけるプロトタイピングの一手法, 情報処理学会論文誌 , Vol. 26, No.5, pp. 946-953, 1985年 9月
- 本位田真一、内平直志、大須賀昭彦、粕谷利明:推論型システム記述言語MENDEL, 情報処理学会論文誌, Vol. 27, No.2, pp. 219-22, 1986年 2月
- S. Honiden, N. Sueda, A. Hoshi, N. Uchihira, K. Mikame: Software Prototyping with Reusable Components, Journal of Information Processing, Vol. 9 No. 3, pp. 123-129, 1986年 9月, in also IEEE Tutorial "Software Reuse: Emergency Technology",1988年
- 甲斐宗徳,笠原博徳,成田誠之助,本位田真一,田村信介:マルチプロセッサスケジューリングアルゴリズムを用いた論理型オブジェクト指向言語MENDELの並列処理手法, 電気学会論文誌C,Vol. 107-C, No.2, pp. 149-156, 1987年 2月
- 田村恭久,伊藤潔,本位田真一: 並行処理ソフトウェアシステムの設計向きプロトタイピング手法とそのツール 情報処理学会論文誌,Vol. 28, No. 9, pp. 923-932, 1987年 9月
- 沢村淳,志田圭介,本位田真一,伊藤潔: 知識工学手法による待行列ネットワークのボトルネック診断, 情報処理学会論文誌,Vol. 30, No. 8, pp. 990-1002, 1989年 8月
- 伊藤潔,本位田真一,田村恭久,志田圭介:シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法 シミュレーション,Vol. 8, No. 3, pp. 181-190, 1989年 9月
- N. Uchihira, S. Honiden: Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic, IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, Vol. E-23, No. 12, pp. 2001-2010, 1990年12月
- 伊藤潔,本位田真一,沢村淳,志田圭介:定性推論と定量推論を導入した待行列ネットワークのボトルネック診断と改善法, 人工知能学会誌, Vol. 5, No.1, pp. 92-105, 1991年 1月
- 古川忠始,本位田真一,大須賀昭彦,津田淳一郎:代数的仕様記述と図式仕様記述の相補的役割について, 情報処理学会論文誌, Vol. 31, No. 2, pp. 182-193, 1991年 2月
- S. Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai.: An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design, Journal of Real-Time Systems, Kluwer Academic Publishers, Vol. 1, No. 3, pp. 313-331, 1991年 4月
- Y. Fujiwara, S. Honiden: A Nonmontonic Temporal Logic and its Kripke Semantics, Journal of Information Processing, Vol. 14, No.1, pp. 16-22, 1992年 2月
- 志田圭介,伊藤潔,本位田真一:同期型待行列ネットワークのボトルネックに対する定性的なパラメータチューニング法, 人工知能学会誌, Vol. 6, No. 6, pp. 105-117, 1992年11月
- 本位田真一、大須賀昭彦、内平直志:代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法, 情報処理学会論文誌, Vol. 33, No. 2, pp.173-182, 1992年 2月
- K. Yoshida, A. Ohsuga, M. Nagata, S. Honiden:△-extension of Algebraic Specification, Journal of Information Processing, Vol. 15, No. 2, pp. 177-186, 1993年1月
- K. Itoh, Y. Tamura, S. Honiden: TransObj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications,International Journal of Software Engineering and Knowledge Engineering, Vol. 2, No. 1, World Scientific, pp. 5-29, 1992年3月
- N. Uchihira, M. Arami, S. Honiden: A Petri-Net-Based Programming Environment and its Design Methodology for Cooperating Discrete Event Systems, IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, Vol. E75-A, No. 10, pp. 1335-1347, 1992年10月
- S. Honiden, N. Uchihira:Net-Oriented Analysis and Design, IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, Vol. E75-A, No. 10, pp. 1317-1325, 1992年10月
- 松浦佐江子,本位田真一:ソフトウェア・プロセスにおける協調とその抽象化について, コンピュータソフトウェア, Vol. 10, No. 2, pp. 48-64, 1993年 3月
- S. Honiden, N. Kotaka, Y. Kishimoto.: Formalizing Specification Modeling in OOA, IEEE Software, Vol. 10, No.1, pp.54-66, 1993年 1月
- 大須賀昭彦,坂井公,本位田真一:等式論理の帰納的定理を証明する手続き, 電子情報通信学会論文誌, Vol. J76-D-I, No. 3, pp. 130-138, 1993年 3月
- 西村一彦,本位田真一:複合ビューポイントによる仕様化プロセスの分析, 情報処理学会論文誌, Vol. 34, No. 5, pp. 1074-1086, 1993年5月
- 大須賀昭彦,坂井公,本位田真一:Metis-ASにおける代数的仕様の検証手続き, 情報処理学会論文誌, Vol. 34, No. 11, pp. 2242-2250, 1993年11月
- S. Honiden, K. Nishimura, N. Uchihira, K. Itoh:An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems, IEEE Trans. on Software Engineering, Vol. 20, No. 11, pp.849-867, 1994年11月
- 斉藤康彦,本位田真一:オブジェクト指向モデルを用いた要求獲得の支援,情報処理学会論文誌,Vol. 35, No. 11, pp. 2469-2479, 1994年11月
- 半田恵一,本位田真一:遺伝的アルゴリズムによる素子の整列配置,電気学会論文誌C,電子・情報・システム部門誌, Vol. 115-C, No. 4, pp. 580-588, 1995年4月
- 松浦佐江子,本位田真一:仕様変更のプログラムへの写像―仕様変更プロセスを利用したプログラム合成 ―情報処理学会論文誌, Vol. 36, No. 5, pp. 1221-1227, 1995
- 大須賀昭彦,坂井公,本位田真一:代数的仕様を用いたソフトウェア開発環境Metis-AS, 情報処理学会論文誌, Vol. 36, No.5, pp. 1192-1202, 1995
- 山本純一,大須賀昭彦,本位田真一:代数仕様技術によるオブジェクト指向分析設計の検証支援,情報処理学会論文誌,Vol. 36, No. 5, pp. 1070-1080, 1995
- Y. Kishimoto, N. Kotaka, S. Honiden: Adapting Object-Communication Methods Dynamically, IEEE Software, Vol. 12, No.3, pp.65-74, 1995
- J. Yamamoto, A. Ohsuga, S. Honiden:COOAD: A Case Tool for Object-Oriented Analysis and Design, International Journal of Software Engineering and Knowledge Engineering, Vol. 5, No. 3, pp.367-389, World Scientific, 1995
- 松浦佐江子,本位田真一:仕様変更プロセスの効果的な再利用-まね方をまねる―,情報処理学会論文誌, Vol. 36, No. 11, pp. 2666-2680, 1995
- Y. Tahara and S. Honiden: An Analysis of Simulation between Petri Nets through Rewriting Logic, IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, Vol. E78-A, No. 11, pp. 1498-1503, 1995年11月
- 名取万里,加賀谷聡,本位田真一:ドメイン分析に基づく仕様再利用手法,情報処理学会論文誌,Vol. 37, No. 3,pp.393-408, 1996年
- N. Uchihira and S. Honiden: Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints in MENDELS ZONE, Journal of Systems and Software, Vol. 33, No. 3, pp.207-221, 1996年
- S. Honiden, A. Ohsuga, N. Uchihira: MENDELS ZONE: A Parallel Program Development System based on Formal Specifications, Information and Software Technology, Vol. 38, No. 3, pp. 181-189, 1996年3月
- 来間啓伸,大須賀昭彦,本位田真一:協調アーキテクチャに基づくソフトウェア・モジュールの仕様記述モデル,情報処理学会論文誌, Vol. 37, No. 6, pp. 1171-1186, 1996年
- 斉藤康彦, 本位田真一: 企業情報システムの要求分析のためのドメインモデル, 情報処理学会論文誌, Vol. 37, No. 10, pp. 1829-1838, 1996年
- N. Uchihira and S. Honiden:A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems, IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, Vol. E79-A, No.11, pp. 1797-1808, 1996年
- 松浦佐江子,来間啓伸,本位田真一:EVA:仕様変更プロセスを用いたプログラム開発支援システム, 情報処理学会論文誌, Vol. 38, No. 1, pp.114-130, 1997年
- 内平直志,本位田真一:三段階ネット指向ソフトウェア設計法, 情報処理学会論文誌, Vol. 38, No. 1, pp. 101-113, 1997年
- 名取万里,加賀谷聡,本位田真一:データ中心アプローチとユースケースに基づくフレームワーク構築手法,情報処理学会論文誌, Vol. 38, No. 3, pp. 634-656, 1997年
- 田原康之,粂野文洋、 大須賀昭彦,本位田真一:オブジェクト指向におけるリフレクションの代数的意味論 情報処理学会論文誌, Vol. 38, No. 4, pp.826-834, 1997年
- S. Matsuura, H. Kuruma, S. Honiden:EVA: A Flexible Programming Method for Evolving Systems,IEEE Trans. on Software Engineering, Vol. 23, No. 5, pp. 296-313, 1997年
- N. Uchihira, S. Honiden, T. Seki:Hypersequential Programming-A New Paradigm for Concurrent Program Development -IEEE Concurrency, Vol. 5, No. 3, pp.44-54, 1997.
- A. Ohsuga, Y. Nagai, Y. Irie, M. Hattori, S. Honiden:Plangent: An Approach to Making Mobile Agents Intelligent IEEE Internet Computing, Vol. 1., No. 4, pp.50-57, 1997年
- 永井保夫,大須賀昭彦,本位田真一:制約処理パターンを用いたオブジェクト指向ソフトウェア開発, コンピュータソフトウェア, Vol. 15, No. 1, pp.2-23, 1998年1月
- A. Fukumoto, T. Hayashi, A. Ohsuga, S. Honiden, N. Mori:Application of Algebraic Specification to Verifying the Design of Safety Logic in Nuclear Power Plants Nuclear Technology, An International Journal of the American Nuclear Society, Vol. 124, No. 3, pp. 255-264,1998年12月
- F. Kumeno, A. Ohsuga, S. Honiden:Flage: A Programming Language for Adaptive Software IEICE Transactions on Information and Systems, Vol. E81-D, No.12, pp.1394-1403, 1998年12月
- M. Hattori, N. Kase, A. Ohsuga, S. Honiden:Agent-Based Drivers’ Information Assistance Systems, New Generation Computing, 17, pp. 359-367, 1999
- 川村隆浩、田原康之、長谷川哲夫、大須賀昭彦、本位田真一:Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク 電子情報通信学会論文誌、Vol. J82-D-1, No.9, pp.1165-1179, 1999
- 田原康之、大須賀昭彦、本位田真一:ビヘイビアパターンに基づくモバイルエージェントシステム開発手法 情報処理学会論文誌、Vol. 40, No.12, pp.4319-4332, 1999
- F. Kumeno, A. Ohsuga, S. Honiden:Autonomous Adaptation by Mobile Agent and Thesaurus IEICE Transactions on Information and Systems, Vol. E83-D, No. 4, pp. 679-690, 2000
- 川村隆浩、長谷川哲夫、関俊文、大須賀昭彦、本位田真一:マルチエージェントフレームワークBee-gentを用いた電力系統作業停止計画向け分散スケジューリングシステムの開発 電気学会論文誌, Vol.120-C, No.12 (2000), pp.2003-2011.
- T. Kawamura, S. Joseph, A. Ohsuga, and S. Honiden: Designing Multi-Agent Systems Based on Pairwise Agent Interactions IEICE Trans. INF. & SYST., Vol. E84-D, No.8, pp. 968-980, 2001
- 服部正典,大須賀昭彦,本位田真一: 開放型分散環境におけるプランニングモバイルエージェントアーキテクチャの提案 電子情報通信学会論文誌, Vol. J84-D-1 No.8, pp.1169-1180.
- 吉田和樹, 本位田真一:コンポーネントベース・フレームワーク開発手法におけるコンポーネントの形式的仕様記述 電子情報通信学会論文誌、 Vol.J85-D1 No.2, pp.210-227.
- 長健太,入江豊,大須賀昭彦,関口勝彦,本位田真一:組み込み機器向け知的移動エージェントμPlangentを用いた電力系統巡視システム, 電子情報通信学会論文誌 (掲載予定).
- 吉田和樹, 本位田真一:コンポーネントベース・フレームワーク開発手法におけるコンポーネントの抽出・設計方法論 情報処理学会論文誌, Vol. 43, No. 1(平成14年1月号)
- 田原康之、大須賀昭彦、本位田真一 IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現 情報処理学会論文誌, Vol. 43, No. 6(平成14年6月号)
- 飯島正、本位田真一、土居範久 共生/寄生エージェントモデルによる発展的P2Pアプリケーション構築法 情報処理学会論文誌, Vol. 43, No. 6(平成14年6月号)
- 市瀬 龍太郎,武田 英明,本位田 真一 階層的知識間の調整規則の学習,人工知能学会論文誌,Vol. 17, No. 3, pp. 230-238, (2002)
- N. Yoshioka, T. Kawamura, A. Ohsuga, and S. Honiden Evaluation of A Multi Agent Framework for Open Distributed Systems IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, Vol.E85-A, No.11 (2002)
- 岡宅靖邦、吉岡信和、本位田真一 アドホックネットワークにおけるエージェント間共同作業のための認証機構 電子情報通信学会論文誌 Vol. J86-B No.3 pp.419-427, 2003年3月号
- 粂野文洋、本位田真一 モバイルアプリケーションのためのエージェントプラットフォームMolFie 電子情報通信学会論文誌 2003年3月号
- 岡宅靖邦、吉岡信和、本位田真一 MIC方式を用いたモバイル環境に適したエージェントの多重管理方式の提案 電気学会C部門誌特集号「オブジェクト指向とエージェント」 Vol.123, No.4, Vol. 123-C No.4 pp.670-676, 2003年
- 田原康之、大須賀昭彦、本位田真一 モバイルエージェントアプリケーションのための仕様記述言語Pigeon 電子情報通信学会論文誌「ソフトウェアエージェントとその応用」特集号 Vol.J86-D1, No.8, 2003年
- 服部正典、大須賀昭彦、本位田真一 ユビキタス環境におけるContext-Awareなパーソナルエージェントの構築とその実証実験 電子情報通信学会論文誌「ソフトウェアエージェントとその応用」特集号 Vol.J86-D1, No.8, 2003年
- 田原康之、大須賀昭彦、本位田真一 パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発 情報処理学会論文誌 Vol.44, No.6, 2003年
- 吉岡信和、大須賀昭彦、本位田真一 パーベイシブ・コンピューティングのためのマルチエージェントフレームワーク: Mobeet Framework 電気学会論文誌C Vol.123-C,No.8,2003年
- 服部正典、大須賀昭彦、関俊文、一色正男、本位田真一 ユビキタスパーソナライズエージェントによる買い物支援サービスの実証実験 電気学会論文誌C Vol.123-C, No.11, 2003年
- 服部正典、長健太、大須賀昭彦、本位田真一、深澤良彰 エージェントフレームワークを用いた車両端末向け情報提供システムの構築と評価 情報処理学会論文誌 Vol.44, No.12, 2003年
- 岡宅泰邦、奥富秀俊、吉岡信和、大岸伸之、本位田真一 高安全モバイルエージェントシステムアーキテクチャ 電気学会論文誌C Vol.124-C, No.1, No.1 pp.56-63, 2004年
- 吉岡信和、田原康之、本位田真一 モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ 情報処理学会論文誌:データベース Vol.44, No.SIG18(TOD 20), pp.45-57, 2003年12月
- 吉岡信和、本位田真一 ユビキタスネットワークに対応した動的パターン適用に基づくモバイルエージェントシステム構築法 情報処理学会論文誌 Vol.45, No.1, pp.12-23, 2004年1月
- 吉岡信和、大須賀昭彦、田原康之、本位田真一 セキュリティを考慮したモバイルエージェントシステム構築法 情報処理学会論文誌Vol.45, No.3, 2004 年
- 石川冬樹,吉岡信和,本位田真一, パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム,電子情報通信学会論文誌, VOL.J87-D-I NO.7, 2004年
- 石川冬樹,田原康之,吉岡信和,本位田真一, Webサービス連携のためのモバイルエージェント動作記述, 情報処理学会論文誌「オブジェクト指向とWeb技術」特集号Vol.45 No.6, 2004年
- 来間啓伸,本位田真一, ポリシに基づくWeb サービス・コミュニティ連合のモデル, 情報処理学会論文誌「オブジェクト指向とWeb技術」特集号Vol.45 No.6, 2004年
- Y. Okataku, N.Yoshioka, and S. Honiden, “An Authentication Architecture for Collaboration among Agents in Ad Hoc Networks”, Electronics and Communications in Japan, Part 1 Vol.87 No.5 pp.11-19(2004)
- 松崎和賢,吉岡信和,本位田真一, モバイルエージェントによる動的環境下のサービス利用の効率的実現手法, 人工知能学会誌 Vol.19 No.4, 2004年
- N. Sueda, Y. Kusui, K. Mikame, S. Honiden:Prolog Application in Software Components Reuse, North-Holland The Role of Language in Problem Solving, 1984年10月
- S. Honiden, et al.: An Application of Prolog to a Grammar Construction and Validation Process in Syntactic Pattern Recognition including Noisy Chromosome Analysis IEEE Proc. of ISNCR-84, 1984年10月
- K. Mikame, N. Sueda, A. Hoshi, S. Honiden: Knowledge Engineering Application in Image Processing Graphics Interface'85, 1985年 5月
- S. Honiden et al.: MENDEL:Prolog based Concurrent Object Oriented Language IEEE Proc. of COMPCON'86, 1986年 3月
- N. Uchihira, T. Kasuya, K. Matsumoto, S. Honiden: Concurrent Program Synthesis with Reusable Components using Temporal Logic IEEE Proc. of COMPSAC'87, 1987年10月
- S. Honiden et al.: An Application of Structural Modeling and Automated Reasoning to Concurrent Program Design IEEE Proc. of HICSS-22, 1989年 1月
- Y. Fujiwara, S. Honiden: Relating the TMS to autoepismic Logic Proc. of IJCAI-89, 1989年 8月
- K. Itoh, Y. Tamura, S. Honiden: Knowledge-based parameter tuning for queuing network type system Proc. of CAPE'89, 1989年10月
- N. Uchihira, H. Kawata, K. Matsumoto, M. Ito, S. Honiden: Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse IEEE Proc. of HICSS-23, 1990年 1月
- S. Honiden et al.: An Application of Artificial Intelligence to Real-Time Systems Info Japan'90, 1990年10月
- K. Itoh, K. Shida, S. Honiden: Role of Qualitative and Quantitative Reasoning in Diagnosis and Improvement for Queueing Network Bottleneck Info Japan'90, 1990年 10月
- Y. Fujiwara, S. Honiden: On logical foundations of the ATMS Proc. of ECAI-90 Workshop, 1990年 8月
- K. Itoh, K. Shida, S. Honiden: Qualitative Reasoning Based Parameter Tuning on Bottlenecks of Synchronized Queueing Network IEEE Proc. of COMPSAC'91, 1991年 9月
- S. Honiden et al.: An Application of Artificial Intelligence to Prototyping Process for performance Design in Real-time Systems Proc. of ESEC'91, 1991年10月
- S. Honiden et al.: An Integration Environment to Put Formal Specification to Practical Use in Real-time System IEEE Proc. of 6th IWSSD, 1991年10月
- N. Kotaka, Y. Kishimoto, S. Honiden: Specification Process Modeling in OOA Proc. of TOOLS PACIFIC'91, 1991年12月
- S. Komiya, M. Saeki, S. Honiden: An Experimental Analysis for Classifying Specification Processes IEEE, Proc. of SEKE'93, 1993年 6月
- S. Matsuura, S. Honiden: Software Process Modeling using Functional Language Miranda Proc. of JCSE'93, 1993年11月
- Y. Nagai, S. Honiden: Composition-Based Mapping of Design Plans into Implementation-Level Architectures IEEE Proc. of CAIA-94, 1994年 3月
- J. Yamamoto, A. Ohsuga, S. Honiden: Object-Oriented Analysis and Design Support System Using Algebraic Specification Techniques Proc. of First Asia-Pacific Software Engineering Conference, pp. 388-397, 1994年12月
- N. Uchihira and S. Honiden: Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints in MENDELS ZONE Proc. of HICSS-28, 1995年1月
- A. Kagaya, Y. Tahara, A. Ohsuga, Y. Nagai, and S. Honiden:The Agent Oriented Language Plangent,The 10th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'95),Workshop #1,Objects, Scripts, and the Web,1995年10月
- A. Kagaya, M. Natori, and S. Honiden:Integration of Framework Components by Reusing Design Processes,The 10th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'95),Workshop #27,Framework-Centered Software Development,1995年10月
- T. Uraoka, A. Ohsuga, and S. Honiden: Automatic Verification of Consistency between State Transition Diagram and Logic Diagram for Process Control Safety and Reliability in Emerging Control Technologies, 1995年11月
- S. Matsuura and S. Honiden: Knowledge Acquisition and Integration on Specification Change- A Method for Systematic Reuse Proc. of Asia-Pacific Software Engineering Conference, APSEC'95, 1995年12月
- F. Kumeno, Y. Tahara, A. Ohsuga, and S. Honiden: Evolutional Agents: Field-Oriented Programming Language, Flage Proc. of Asia-Pacific Software Engineering Conference, APSEC'95, 1995年12月
- Y. Tahara, F. Kumeno, A. Ohsuga, and S. Honiden: Formal Semantics of Agent Evolution in the Language Flage Object-Based Parallel and Distributed Computation Jean-Pierre Briot, Jean-Marc Geib and Akinori Yonezawa (Eds), LNCS 1107, 1996年8月
- Y. Tahara, F. Kumeno. A. Ohsuga, and S. Honiden: Formal Semantics of Agent Evolution in the Language Flage Proc. of 3rd ModelAge Workshop 'Formal Models of Agents', 1996年,1月
- N. Uchihira and S. Honiden: Hyperseaquential Programming-a novel paradigm for concurrent programming, Software Engineering for Parallel and Distributed Systems, Proc. of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, 1996年3月
- Y. Tahara, F. Kumeno, A. Ohsuga, and S. Honiden:An Algebraic Semantics of Reflective Objects LNCS 1049,2nd International Symposium on Object Technologies for Advanced Software, ISOTAS'96, 1996年3月
- M. Natori, A. Kagaya, S. Honiden: Reuse of Design Processes Based on Domain Analysis IEEE Fourth International Conference on Software Reuse, 1996年4月
- N. Uchihira, S. Honiden, T. Seki:Hypersequential Programming-A Novel Paradigm for Concurrent Programming 1st International Workshop on Software Engineering for Parallel and Distributed Systems, Berlin, 1996.
- S. Matsuura, H. Kuruma, S. Honiden:Program Development with Reuse of Programming Processes The Ninth International Conference on Software Engineering & Knowledge Engineering, Madrid, 1997
- F. Kumeno, S. Honiden:A Framework for Adaptive Software by Agent and Thesaurus The Ninth International Conference on Software Engineering & Knowledge Engineering, Madrid, 1997
- S. Honiden:Plangent: An Intelligent Agent System for Network Computing, ICSE98 International Workshop on Computing and Communications in the Presence of Mobility, 1998
- Y. Tahara, A. Ohsuga, S. Honiden:Agent System Development Method based on Agent Patterns The 21st International Conference on Software Engineering (ICSE 99), 1999
- N. Kase, M. Hattori, A. Ohsuga, and S. Honiden:InfoMirror: Agent-based Information Assistance to Drivers, Proc. International Conference on Intelligent Transportation systems (ITSC99), IEEE/IEEJ/JSAI (1999), pp.734-739
- N. Yoshioka, Y. Tahara, A. Ohsuga, S. Honiden:Safety and Security in Mobile Agents ICSE-2000 Workshop. Agent-Oriented Software Engineering, 2000.6 also in Security for Mobile Agents, Agent-Oriented Software Engineering, LNCS 1957 (2001), pp.223-234.
- S. Honiden, A. Ohsuga, Y. Tahara, M. Hattori:Intelligent Mobile Agent System on the Internet,SSGRR 2000, International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, 2000. 8
- T. Kawamura, S. Joseph, A. Ohsuga, S. Honiden:Qualitative Evaluation of Pair wise Interaction between Agents The Joint Symposium ASA/MA 2000, 2000.9
- T. Kawamura, T. Hasegawa, A. Ohsuga, S. Honiden: Rental Application to Rental Service - Development of Advanced ASP Framework The 4th International Enterprise Distributed Object Computing Conference
- Y. Tahara, A. Ohsuga, S. Honiden:Agent communication language patterns and their tool support International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000)
- N. Yoshioka, Y. Tahara, A. Ohsuga, S. Honiden:A Methodology For Safety Of Mobile Agents International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000)
- M. Hattori, A. Ohsuga, and S. Honiden:Planning mobile agent architecture for open network environment, Symposium on Software mobility and adaptive behavior, AISB01 Convention (2001)
- Y. Tahara, A. Ohsuga, and S. Honiden:Behavior Patterns for Mobile Agent Systems from the Development Point of View ISADS 2001, The Fifth International Symposium on Autonomous Decentralized Systems
- Y. Tahara, A. Ohsuga, and S. Honiden: Secure and Efficient Mobile Agent Application Reuse Using Patterns, in Proc. Symposium on Software Reusability (SSR2001) (2001), pp.78-85.
- Y. Tahara, A. Ohsuga, and S. Honiden:Mobile Agent Security with the IPEditor, Development Tool and the Mobile UNITY Language Agents 2001 (2001)
- R. Ichise, H. Takeda, and S. Honiden Automated Alignment of Multiple Internet Directories Poster Proceedings of the 10th International World Wide Web Conference, pp. 194-195, (2001).
- R. Ichise, H. Takeda, and S. Honiden Rule Induction for Concept Hierarchy Alignment Proceedings of the IJCAI-01 Workshop on Ontology Learning (OL-2001), (2001).
- R. Ichise, H. Takeda, and S. Honiden An Examination of the Relationships between Internet Directories, Proceedings of the EKAW-02 Workshop on Knowledge Management through Corporate Semantic Web (2002).
- M. Hattori, K. Cho, A. Ohsuga, M. Ishiki, and S. Honiden Context-aware agent platform in ubiquitous environments and its verification tests, IEEE International Conference on Prevasive Computing and Communications (PerCom) (2003).
- H. Kaneko, Y. Fukuzawa, F. Kumeno, N. Yoshioka, and S. Honiden Mobile Agent Based Evacuation System When The Battery Runs Out : Easter, IEEE International Conference on Prevasive Computing and Communications (PerCom) (2003).
- T. Hasegawa, K. Cho, F. Kumeno, S. Nakajima, A.Ohsuga, and S. Honiden Interoperability for Mobile Agents by incarnation Agents, Scecond International Conference on Autonomous agents and Multiagent Systems (AAMAS-03) (2003).
- R. Ichise, H. Takeda, and S. Honiden Integrating Mulitiple Internet Directories by Instance-based Learing Subtitle, Eighteenth International Joint Conference in Artificail Intelligence (IJCAI-03) (2003) (8).
- M. Hattori, A. Ohsuga, and S. Honiden Panning Mobile Agent Architecture for Realizing Mobile Intteligence The 2003 International Conference on Parellel and Distributed Processing Techniques and Applications, June 24-27, 2002, Monte-Carlo Resort, Las-Vegas, USA
- Y. Okataku, H. Okutomi, N. Yoshioka, and S. Honiden A Security Architecture or Collaboration Among Many and Unspecifiled Agents 8th International Workshop on Mobile Multimedia Communications (MoMuC2003), Oct. 6-8 2003, Munich, Germany
- Y. Tahara, N. Yoshioka, and S. Honiden A Formal Model of Active Contents Based on the Ambient Calculus, 5th International Workshop on Mobile Agents for Telecommunication Applications (MATA'03), Oct.8-10 2003, Marrakech, Moocco
- K.Matsumoto, S.Honiden Software Design Method for Agent Systems from Scenarios, 19th International Conference on Computers and Their Applications (CATA-2004), March 18-20, 2004, Seattle, Washington U.S.A
- K. Matsuzaki, N. Yoshioka, and S. Honiden, Ubiquitous Application Development using a Mobile Agent-based System, International Workshop on Ubiquitous Computing (IWUC 2004), April 13-14, 2004 - Porto, Portugal
- F. Ishikawa, N. Yoshioka, Y. Tahara, and S. Honiden, Mobile Agent System for Web Services Integration in Pervasive Networks, International Workshop on Ubiquitous Computing (IWUC 2004), April 13-14, 2004 - Porto, Portugal
- F. Ishikawa, Y. Tahara, N. Yoshioka, and S. Honiden, Behavior Descriptions of Mobile Agents for Web Services Integration, 2004 IEEE International Conference on Web Services (ICWS 2004), July 6-9, 2004 - San Diego, USA.
- S. Nagano, T. Hasegawa, A. Ohsuga, and S. Honiden, Dynamic Invocation Model of Web Services Using Subsumption Relations, 2004 IEEE International Conference on Web Services (ICWS 2004), July 6-9, 2004 - San Diego, USA
- Y. Tahara, A. Ohsuga, and S. Honiden, Pigeon : a Specification Language for Mobile Agent Applications, The Third International Joint Conference on Autonomous Agents & Multi Agent Systems(AAMAS-04), July 19-23, 2004
- T. Doi, N. Yoshioka, Y. Tahara, and S. Honiden, Bridging the Gap between AUML and Implementation using IOM/T, International Workshop on Programming Multi-Agent Systems(ProMAS 2004), July 19-20, 2004.
- F. Ishikawa, N. Yoshioka, Y. Tahara, and S. Honiden, Toward Synthesis of Web Services and Mobile Agents, AAMAS'2004 Workshop on Web Services and Agent-based Engineering (WSABE), July 19, 2004 - New York, USA.
- N. Yoshioka, S. Honiden, A multi-agent framework for ubiquitous information system: mobeet framework, Sixth International Bi-Conference Workshop on AGENT-ORIENTED INFORMATION SYSTEMS (AOIS-2004), July 20, 2004
- E. Platon and S. Honiden, Assistant Team for Negotiation Support System: A Preliminary Study, Seventh Pacific Rim International Workshop on Multi-Agents (PRIMA2004) August 9&10 2004 - Auckland, New Zealand
- N. Yoshioka, S. Honiden, A. Finkelstein, Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems The 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2004) 20-24 September 2004, Monterey, California, USA
- N. Yoshioka and S. Honiden, A Pattern Oriented Mobile Agent Framework for Mobile Computing, International Workshop on Mobility Aware Technologies and Applications (MATA2004), October 20-22, 2004 Florianópolis, Brazil
- K. Matsuzaki, N. Yoshioka, and S. Honiden, Location-aware Application Development Methodology using Mobile Agent-based System, International Workshop on Mobility Aware Technologies and Applications (MATA2004), October 20-22, 2004 - Florianópolis, Brazil
- E. Platon, N. Sabouret, and S. Honiden, T-compound Interaction and Listening Agents, Engineering Societies in the Agent World (ESAW2004) October 20-22, 2004 - Toulouse, France
- E. Platon, N. Sabouret, and S. Honiden, T-shaped Interaction Compounds and Listening Agents, Third International Workshop on Agent-Oriented Methodologies Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA2004) October 24, 2004 - Vancouver, Canada
- 伊藤潔,本位田真一,内平直志: ソフトウェア開発のためのプロトタイピング・ツール 啓学出版,1987年 9月
- 本位田真一,市川照久:KE養成講座(2)エキスパートシステム基礎技術 オーム社,1989年12月
- 本位田真一,山口亨:オブジェクト指向システム分析 啓学出版,1990年 2月(新装版:近代科学社,1995年4月)
- 本位田真一,伊藤潔: 続オブジェクト指向システム分析 啓学出版,1992年10月(新装版:近代科学社,1995年4月)
- 本位田真一,山城明宏:オブジェクト指向システム開発 日経BP社, 1993年 6月 (韓国語への翻訳版,東逸出版社,1996年10月)
- 古宮誠一,本位田真一: プロジェクト管理の成功への秘訣 共立出版,1993年11月
- 本位田真一:オブジェクト指向モデリング 日経BP出版センター,1995年3月
- 本位田真一,青山幹雄,深澤良彰,中谷多哉子:オブジェクト指向分析・設計 共立出版,1995年6月
- 本位田真一,吉田和樹:デザインパターン ソフトバンク,1995年10月
- 本位田真一:ビジネスオブジェクト トッパン,1996年6月
- 本位田真一、大須賀昭彦 オブジェクト指向からエージェント指向へ ソフトバンク、1998年5月
- 本位田真一、飯島正、大須賀昭彦 エージェント技術 共立出版、1999年7月
- 本位田真一、大須賀昭彦 増補改訂 オブジェクト指向からエージェント指向へ ソフトバンク、2001年12月
- 本位田真一:オペレーティングシステム マイクロコンピュータハンドブック,オーム社,1985年
- 本位田真一他:制御分野における自動プログラミング 自動プログラミング・ハンドブック,オーム社,1989年
- 本位田真一:シュレィア/メラー法によるオブジェクト指向分析 CASEのすべて,オーム社,1991年
- 本位田真一:要求仕様技術 ソフトウェア事典,丸善,1990年
- 内平直志,本位田真一:ペトリネットと時相論理,ペトリネットとその応用,計測自動制御学会,1992年
- 本位田真一:オブジェクト指向分析・設計 オブジェクト指向コンピューティング,岩波書店,1993年11月
- 本位田真一:オブジェクト指向 新版 情報処理ハンドブック,情報処理学会編,オーム社,1995年11月
- 本位田真一:オブジェクト指向技術 図解 コンピュータ百科事典,オーム社,1995年
- 本位田真一:オブジェクト指向技術 コンパクト版,図解 コンピュータ百科事典,オーム社,1996年
- 石川冬樹,吉岡信和,本位田真一, パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム電子情報通信学会論文誌, VOL.J87-D-I NO.7, 2004年7月
- 石川冬樹,田原康之,吉岡信和,本位田真一, Webサービス連携のためのモバイルエージェント動作記述, 情報処理学会論文誌「オブジェクト指向とWeb技術」特集(Vol.45 No.6),2004年6月
- 来間啓伸,本位田真一, ポリシに基づくWeb サービス・コミュニティ連合のモデル, 情報処理学会論文誌「オブジェクト指向とWeb技術」特集号(Vol.45 No.6),2004年6月
- 松崎和賢,吉岡信和,本位田真一, モバイルエージェントによる動的環境下のサービス利用の効率的実現手法, 人工知能学会誌第19巻4号2004年
- 田原 康之, 吉岡 信和, 大須賀 昭彦, 本位田 真一分散システム開発におけるモデル検査への視覚的支援手法情報処理学会論文誌, Vol. 46, No. 2, 2005.
|
|
- 松本吉弘,本位田真一: プロセス制御システムへのデータベース技術の応用,情報処理, Vol. 23, No. 10, 1982年10月
- 本位田真一,内平直志,大須賀昭彦,粕谷利明: 推論型システム記述言語MENDEL,情報処理学会知識工学と人工知能研究会,85-AI-39-10 (1985).
- 新井政彦,本位田真一: 診断型エキスパート・システム,情報処理, Vol. 28, No. 5, 1987年 2月
- 本位田真一他: 時制論理とペトリネット,オペレーションズ・リサーチ, Vol. 32, No. 9, 1987年 9月
- 本位田真一他:制御分野における自動プログラミング,情報処理, Vol. 28, No. 5, 1987年10月
- 本位田真一他: 自動プログラミング,電気学会雑誌, Vol. 108, No. 5, 1988年 5月
- 伊藤潔,本位田真一: プロトタイピング支援ツール,情報処理, Vol. 30, No.4, 1989年 4月
- 松本一教,内平直志,本位田真一:時相論理とその応用,情報処理, Vol. 30, No. 6, 1989年 6月
- 本位田真一,大須賀昭彦,内平直志: 代数的仕様と時制論理によるリアルタイムSAの形式的支援,情報処理学会ソフトウェア工学研究会,90-SE-73-3 (1990).
- 伊藤潔,本位田真一: 定性推論のパラメータチューニングへの応用,情報処理, Vol. 32, No. 2, 1991年 4月
- 大須賀昭彦,本位田真一: 協調アーキテクチャにおけるエージエント系のための代数的記述法,マルチ・エージェントと協調計算ワークショップ(MACC'92) (1992).
- K. Yoshida, A. Ohsuga, J. Yamamoto and S. Honiden: A Program Transformation from a Term Rewriting System into a Parallel Logic Program, 日本ソフトウェア科学会プログラム合成・変換研究会 (1992).
- 山本純一,大須賀昭彦,本位田真一: 代数的仕様による制御装置仕様の記述と検証,情報処理学会ソフトウェア工学研究会,92-SE-83-6 (1992),pp.41-48.
- 浦岡徹,山本純一,大須賀昭彦,本位田真一: 代数仕様によるプラント制御エキスパート・システムの記述と検証,情報処理学会ソフトウェア工学研究会, 92-SE-86-15 (1992),pp.107-114.
- 山本純一,大須賀昭彦,本位田真一: 代数仕様を核言語とするオブジェクト指向分析・設計支援,情報処理学会ソフトウェア工学研究会,92-SE-89-4 (1992),pp.25-32.
- 大須賀昭彦,本位田真一: 代数仕様の帰納的定理証明のためのスクリプト言語,第3回ソフトウェア工学の基礎ワークショップ(FOSE'96) (1996),pp.182-185.
- 田原康之,粂野文洋,大須賀昭彦,本位田真一: エージェント指向言語 Flage,マルチ・エージェントと協調計算ワークショップ(MACC'93) (1993).
- 本位田真一: 産業界におけるソフトウェア・エンジニアリングの動向,日本品質管理学会、品質, Vol. 23, No.2, 1993年 4月
- 粂野文洋,田原康之,大須賀昭彦,本位田真一: Field Oriented Language, Flage,第1回ソフトウェア工学の基礎ワークショップ(FOSE'94) (1994),pp.25-32.
- 田原康之,粂野文洋,大須賀昭彦,本位田真一: エージェントモデルにおけるメタレベルアーキテクチャの代数的意味論,第1回ソフトウェア工学の基礎ワークショップ(FOSE'94) (1994),pp.105-110.
- 本位田真一、山城明宏: オブジェクト指向分析・設計,情報処理, Vol. 35, No. 5, 1994年 5月
- 青山幹雄,本位田真一: オブジェクト指向分析・設計の実際と評価、情報処理, Vol. 35, No. 5, 1994年 5月
- 田原康之,粂野文洋,大須賀昭彦,本位田真一: エージェント指向言語Flage,情報処理学会プログラミング-言語・基礎・実践-研究会,94-PRG-15-2 (1994),pp.9-16.
- 永井保夫,田原康之,入江豊,大須賀昭彦,本位田真一: PlangentI: インテリジェント・ネットワークエージェント,人工知能学会ホットトピックスと並列人工知能研究会(インターネット情報システム特集),SIG-HOT/PPAI-9602-6 (1996),pp.29-36.
- 浦岡徹,大須賀昭彦,本位田真一: プロセス制御のための状態遷移図とロジック図の整合性検証,第2回ソフトウェア工学の基礎ワークショップ(FOSE'95) (1995),pp.91-100.
- 永井保夫,大須賀昭彦,本位田真一: オブジェクト指向ソフトウェア開発における制約処理パターンの提案,第3回ソフトウェア工学の基礎ワークショップ(FOSE'96) (1996),pp.122-129.
- 服部正典,田原康之,大須賀昭彦,本位田真一: PlangentII: インテリジェント・ネットワークエージェント -分散環境におけるコンポーネントの検索/獲得問題への適用,第3回ソフトウェア工学の基礎ワークショップ(FOSE'96)(1996),pp.194-197.
- 田原康之,入江豊,大須賀昭彦,本位田真一: パターンに基づくエージェントシステム開発手法,第5回ソフトウェア工学の基礎ワークショップ(FOSE'98) (1998),pp.116-125.
- 川村隆浩,加瀬直樹,長谷川哲夫,大須賀昭彦,本位田真一: モバイルエージェントを用いた分散型停止計画支援エージェントシステムの開発,電子情報通信学会人工知能と知識処理研究会,AI98-3,信学技報,Vol.98,No.58 (1998),pp.15-22.
- 田原康之,長谷川哲夫,大須賀昭彦,本位田真一: 知的ネットワークエージェントPlangentのセキュリティ・セーフティ,第一回インターネットテクノロジーワークショップ,日本ソフトウェア科学会インターネットテクノロジー研究会 (1998).
- 川村隆浩,田原康之,長谷川哲夫,大須賀昭彦,本位田真一: 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案,ソフトウェアエージェントとその応用ワークショップ,電子情報通信学会人工知能と知識処理研究会,AI98-47,信学技報,Vol.98,No.436 (1998),pp.55-62.
- 本位田真一:動きはじめたモバイルエージェント、情報処理, Vol.39, No.8, 1998年8月
- 川村隆浩,吉岡信和,長谷川哲夫,大須賀昭彦,本位田真一: マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価,第二回インターネットテクノロジーワークショップ,日本ソフトウェア科学会インターネットテクノロジー研究会 (1999).
- 長健太,入江豊,大須賀昭彦,関口勝彦,本位田真一: μPlangent: 組み込み機器向け知的移動エージェント,第二回インターネットテクノロジーワークショップ,日本ソフトウェア科学会インターネットテクノロジー研究会 (1999).
- 川村隆浩,吉岡信和,長谷川哲夫,大須賀昭彦,本位田真一: マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価,ソフトウェアエージェント,電子情報通信学会人工知能と知識処理研究会,AI99-50,信学技報,Vol.99,No.290 (1999),pp.71-78.
- 長谷川哲夫,長健太,粂野文洋,中島震,大須賀昭彦,本位田真一: インカネーション・エージェントによる移動エージェントの相互運用方式,オブジェクト指向シンポジウム(OO2000),情報処理学会ソフトウェア工学研究会 主催,情報サービス産業協会・日本ソフトウェア科学会 共催 (2000),pp.79-86.
- 吉岡信和,田原康之,大須賀昭彦,本位田真一: セキュリティを考慮したモバイルエージェントシステム設計法,オブジェクト指向シンポジウム(OO2000) 情報処理学会ソフトウェア工学研究会 主催,情報サービス産業協会・日本ソフトウェア科学会 共催 (2000),pp.33-40.
- T. Kawamura, S. Joseph, A. Ohsuga, and S. Honiden: Quantitative Evaluation of Pairwise Interactions between Agents, ソフトウェア・エージェントとその応用ワークショップ(SAA2000),電子情報通信学会「ソフトウェアエージェントとその応用」特集論文誌編集委員会 主催,電子情報通信学会 人工知能と知識処理研究専門委員会 共催 (2000),pp.257-268.
- 川村隆浩,長野伸一,大須賀昭彦,本位田真一: エージェントのメンタルモデルを利用したマルチエージェントシステムの効率的な高信頼化手法の提案, ソフトウェアエージェントとその応用ワークショップ(SAA2000),電子情報通信学会「ソフトウェアエージェントとその応用」特集論文誌編集委員会 主催,電子情報通信学会 人工知能と知識処理研究専門委員会 共催 (2000),pp.107-116.
- 服部正典,大須賀昭彦,本位田真一: 開放型分散環境におけるプランニングモバイルエージェントアーキテクチャの提案, ソフトウェアエージェントとその応用ワークショップ(SAA2000),電子情報通信学会「ソフトウェアエージェントとその応用」特集論文誌編集委員会 主催,電子情報通信学会 人工知能と知識処理研究専門委員会 共催 (2000),pp.61-70.
- 長健太,入江豊,大須賀昭彦,関口勝彦,本位田真一: 組み込み機器向け知的移動エージェントμPlangentを用いた電力系統巡視システム, ソフトウェアエージェントとその応用ワークショップ(SAA2000),電子情報通信学会「ソフトウェアエージェントとその応用」特集論文誌編集委員会 主催,電子情報通信学会 人工知能と知識処理研究専門委員会 共催 (2000),pp.174-182.
- 粂野文洋,長健太,長谷川哲夫,大須賀昭彦,中島震,本位田真一: 移動エージェント相互運用を実現するソフトウェア・アーキテクチャ,第7回ソフトウェア工学の基礎ワークショップ(FOSE2000) (2000),pp.173-180.
- 吉田和樹、本位田真一: コンポーネントベース・フレームワーク技術におけるコンポーネントの抽出/設計方法論, 情報処理学会ソフトウェア工学研究会, 2000. 7
- 田原康之,大須賀昭彦,本位田真一: Mobile UNITY によるモバイルエージェントセキュリティの形式的仕様記述,第7回ソフトウェア工学の基礎ワークショップ(FOSE2000) (2000),pp.261-266.
- 市瀬 龍太郎,武田 英明,本位田 真一:異なる知識体系間における知識交換規則 の学習,日本ソフトウェア科学会マルチ・エージェントと協調計算研究会, MACC-2000,(2000)
- 吉田和樹、本位田真一: アプリケーションの形式的仕様記述とコンポーネントベース・フレームワーク技術の適用,情報処理学会ソフトウェア工学研究会, 2000. 11
- 市瀬 龍太郎,武田 英明,本位田 真一:インスタンスに基づく階層的知識源の統合,人工知能学会AIチャレンジ研究会,SIG-Challenge-0111, pp. 61-66, (2001)
- 金子平祐, 深澤良彰, 粂野文洋, 本位田真一, 携帯情報機器におけるアプリケーションソフトウェアの自律的サバイバル 2001年ソフトウェア技術に関するジョイントワークショップ JWST(Joint Workshop on Software Technology) 2001 October 18-19,2001
- 市瀬 龍太郎,武田 英明,本位田 真一:WWWにおける情報源に関する知識の共生,情報処理学会知能と複雑系研究会,SIG-ICS-124, pp. 33-40, (2001)
- 武田英明, 市瀬龍太郎, 村田剛志, 本位田真一. 知識共生プロジェクト. 情報処 理学会研究報告「知能と複雑系」, (124):25?32, 2001. (Paper) (Slide)
- 細部博史, 本位田真一, XMLを対象とした制約の利用による情報視覚化方式、インタラクション2001論文集, 情報処理学会, 2001年3月
- K. Hiroshige, K. Kawakami, H. Sasaki, Y. Okataku, and S. Honiden: Mobile Agent-Based Middleware for Mobile Terminals, IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, (2001)
- 川上 憲治,広重 一仁,佐々木 宏,岡宅 泰邦,本位田 真一:モバイル環境向けエージェント移動制御,情報処理学会 モバイルコンピューティングとワイヤレス通信研究会,SIG-MBL-20,pp.123-129,(2002)
- 川上 憲治,広重 一仁,吉岡 信和,本位田 真一:モバイル環境向けエージェント移動制御 (その2),情報処理学会 モバイルコンピューティングとワイヤレス通信研究会,SIG-MBL-21,pp.89-94,(2002)
- 広重 一仁,川上 憲治,本位田 真一:モバイルミドルウェアにおけるエージェント移動制御,情報処理学会 マルチメディア,分散,協調とモバイルシンポジウム,DICOMO 2002,pp.405-408,(2002)
- 石川 冬樹,吉岡 信和,本位田 真一:パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム,情報処理学会OO2003シンポジウム,2003, 8
- 服部 正典,大須賀 昭彦,本位田 真一, 深澤 良彰:ユビキタス環境における状況依存型アプリケーションフレームワークの構築と評価,情報処理学会OO2003シンポジウム,2003,8
- 吉岡 信和,田原 康之,本位田 真一:モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ,第10回ソフトウェア工学の基礎ワークショップ(FOSE'03), 2003,11
- 西村 一彦,本位田 真一:テキストマイニング技法を応用した要求獲得支援,第10回ソフトウェア工学の基礎ワークショップ(FOSE'03), 2003,11
- 土肥 拓生,吉岡 信和、本位田 真一:エージェント間プロトコル記述言語FOPLの提案,第10回ソフトウェア工学の基礎ワークショップ(FOSE'03), 2003,11
- 石川 冬樹,田原 康之,吉岡 信和,本位田 真一:Webサービス連携のためのモバイルエージェント動作記述,第10回ソフトウェア工学の基礎ワークショップ(FOSE'03), 2003,11
- 松崎 和賢,吉岡 信和,本位田 真一:エージェントのペアリングによる再利用性と動的環境適応性を考慮に入れた記述分離,第10回ソフトウェア工学の基礎ワークショップ(FOSE'03), 2003,11
- 土肥 拓生,吉岡 信和,田原 康之,本位田 真一 インタラクションプロトコル記述言語FOPL JAWS 2003(合同エージェントシンポジウム&ワークショップ)
- 苅部卓哉,吉岡 信和,田原康之,本位田 真一 モバイルエージェントによるデジタルコンテンツ 流通 JAWS 2003(合同エージェントシンポジウム&ワークショップ)
- 松崎 和賢,吉岡 信和,田原康之,本位田 真一 アドホックなサービス利用を支援するエージェントプラットフォーム拡張の提案 JAWS 2003(合同エージェントシンポジウム&ワークショップ)
- 石川 冬樹,吉岡 信和,田原 康之,本位田 真一 モバイルエージェントによるWebサービス連携モデル JAWS 2003(合同エージェントシンポジウム&ワークショップ)
- 苅部 卓哉,吉岡 信和,本位田 真一:UMLを用いたセキュアなアプリケーション開発のための支援手法,第10回ソフトウェア工学の基礎ワークショップ(FOSE'03), 2003,11
- 吉岡信和, 大須賀昭彦, 本位田真一ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用, システム/制御/情報 Vol.48, No.11, システム制御情報学会, pp.22-27(2004)
- 清雄一, 松崎和賢, 本位田真一,P2Pシステムにおける自律型コンテンツの流通, 合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- NGUYEN Khanh Ngoc, 石川冬樹, 田原康之, 本位田真一, コンテンツカプセル化エージェントの動作制御のためのポリシーモデル, 合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 苅部卓哉, 吉岡信和, 田原康之, 本位田真一,アクティブコンテンツ:コンテンツ流通のためのモバイルエージェントフレームワーク,合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 武藤宏美, 田原康之, 深澤良彰, 本位田真一,ホットスポットにおけるリソースレンタルシステムの提案と評価,合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 石川 冬樹,田原 康之, 吉岡 信和, 本位田 真一, 階層型モバイルエージェントの合成における合意記述,合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一, P2P グリッドにおけるサービスの効率的障害退避,合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 安藤靖志, 増谷修, 岩崎弘利, 本位田真一, 深澤義彰, フェロモンモデル:交通渋滞予測への適用,合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一, マルチエージェントシステムのインタラクション主導要求分析,合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 松崎 和賢, 吉岡 信和, 本位田 真一, 位置情報を利用するエージェントのロケーション指向設計 ,合同エージェントワークショップ&シンポジウム2004 (JAWS2004) 2004年10月27日~29日
- 松崎 和賢,吉岡 信和,本位田 真一 , 位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計,第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) 2004年11月11日~13日
- 鄭 顕志,吉岡 信和,深澤 良彰,本位田 真一 ,P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築,第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) 2004年11月11日~13日
- 石川 冬樹,田原 康之,吉岡 信和,本位田 真一 ,階層型モバイルエージェントの自律的な合成のための記述とその基板に関する検討, 第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) 2004年11月11日~13日
- 土肥 拓生,吉岡 信和,田原 康之,本位田 真一 ,マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析, 第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) 2004年11月11日~13日
- 苅部 卓哉,吉岡 信和,田原 康之,本位田 真一 ,マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発, 第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) 2004年11月11日~13日
- 吉岡 信和,本位田 真一 ,ロジック書き換えパターンの検証方法の提案, 第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004) 2004年11月11日~13日
|