-
[文献書誌] Issam A. Hamid: "Dynamic extension for the specification of distributed systems" Asia-Pacific Software Engineering Conference. 256-267 (1996)
-
[文献書誌] Issam A. Hamid: "Dynamic Modeling for the Specification of Distributed Systems" ASIAN-Computing Science Conference.1179. 287-298 (1996)
-
[文献書誌] Issam A. Hamid: "Dynamic Modelling of the Behavior of Distributed Systems Specification" Information Modelling and Knowledge Bases VII. 34. 294-313 (1996)
-
[文献書誌] Issam A. Hamid: "Dynamic Evolution of Distributed Systems Specification using Reflective Language" International Journal on Software Engineering & Knowledge Engineering. 5・3. 511-540 (1995)
-
[文献書誌] Issam A. Hamid: "Parallel Routing algorithm for rearrangeable class of switching interconnection network" 2nd IEEE International Conference on Communication. 13.5.1-13.5.8 (1995)
-
[文献書誌] Issam A. Hamid: "Modeling Methodology for the specification behavior of distributed systems" 2nd IEEE International Conference on Communication. 9.5.1-9.5.8 (1995)
-
[文献書誌] Issam A. Hamid: "Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language" Transaction of IEICE, Information & Systems. E78-D・4. 363-382 (1995)
-
[文献書誌] Issam A. Hamid: "Dynamic Evolution of Distributed Systems Specification using Reflective Language" The First Asia-Pacific Software Engineering Conference. 208-219 (1994)
-
[文献書誌] Issam A. Hamid: "Highly Parallel Computation Model for Setting Rearrangeable Type Interconnection Network" International Symposium on Parallel Architectures, Algorithms, and Networks. 197-204 (1994)
-
[文献書誌] Issam A. Hamid and 大須賀節雄: "Type Evolution in a Reflective Object-Oriented Language" 情報処理学会論文誌. 35・7. 1352-1379 (1994)
-
[文献書誌] Issam A. Hamid: "Rule Checking Expert System (RCES) using First Order Predicate Logic" Proc. of the Third International conference on Software Engineering. 207-216 (1994)
-
[文献書誌] Issam A. Hamid: "分散システム仕様のための動的拡張" 情報処理学会ソフトウェア工学研究会資料信技報. 96-SE-110・71. 9-16 (1996)
-
[文献書誌] Issam A. Hamid: "Modeling constraints specification of object interactions in distributed systems" ソフトウェア開発のためのドメイン分析・モデリング技術シンポジウム. 96・5. 113-122 (1996)
-
[文献書誌] Issam A. Hamid: "分散システム仕様を検査する意味論的振る舞い" 情報処理学会ソフトウェア工学研究会資料信技報. 95・55. 33-40 (1995)
-
[文献書誌] Issam A. Hamid: "並列コンピュータのための高速再配置可能結合網" 情報処理学会ハイパォ-マンズコンピューティング研究会資料信技報. 94・21. 25-32 (1995)
-
[文献書誌] Issam A. Hamid: "再構成可能なペンズINを設定するための高速並列計算モデル" 情報処理学会計算機アーキテクチャ研究会資料信技報. 94・107. 17-24 (1994)
-
[文献書誌] Issam A. Hamid: "ルールチェッキングエキズパートシステムの検証法" 情報処理学会ソフトウェア工学研究会資料信技報. 94・73. 71-30 (1994)
-
[文献書誌] Issam A. Hamid: "オブジェクトの振る舞いと要求仕様記述の適合化" 情報処理学会プログラミング言語研究会資料信技報. 94・21. 41-48 (1994)
-
[文献書誌] Issam A. Hamid: "分散システムの振る舞いの動的拡張に対する形式的枠組" 情報処理学会ソフトウェア工学研究会資料信技報. 94・18. 81-88 (1994)
-
[文献書誌] Issam A. Hamid: "A Formal Framework For Dynamic Extension of Distributed Systems Behaviors" 情報処理学会システムソフトウェアとオペレーティング・システム研究会資料信技報. 94・1・3. 89-96 (1994)
-
[文献書誌] Issam A. Hamid,前川道博: "芸術と科学の融合を目指した新しい統合化教育システムの構築" 情報処理学会情報システム研究会資料信技報. 94・4. 1-10 (1994)