| Search: |
Professor Emeritus : Shimomura, Takao |
| ○ | Software Engineering |
| ○ | Algorithmic Debugging, Program Slicing, Visual Program Generator, Distributed Processing System (debugging, program slice, visual programming, distributed processing system, automatic software generation) (Research on methods for easily developing software of high quality. Algorithmic debugging automatically locates a fault using error-cause analysis. Program slicing extracts a part of a program that implements a specified function or influenced by some modifications. Visual program generator helps a user develop a complicated program through a graphical user interface. Distributed program debugging assistant helps a user locate a fault by replaying the execution that keeps causal relationships.) |
| 1. | Takao Shimomura : 個別指導・評価に役立つe-ラーニングシステム, 学事出版, 東京, Aug. 2014. |
|
| 2. | Takao Shimomura : 新訂版 Javaによるインターネットプログラミング, 近代科学社, 東京, Mar. 2010. |
|
| 3. | Takao Shimomura : Easy, Enjoyable, Effective E-Learning, Nova Science Publishers, Inc., New York, Dec. 2008. |
|
| 4. | Takao Shimomura : Aptyシステム操作ガイド, メディアテック出版, Tokyo, Dec. 2006. |
|
| 5. | Takao Shimomura : Javaによるインターネットプログラミング, 近代科学社, Tokyo, Mar. 2002. |
|
| 6. | Takao Shimomura : 上級プログラマへの道, CORONA PUBLISHING CO.,LTD, Tokyo, Oct. 1999. |
|
| 7. | Takao Shimomura : ソフトウェア工学大事典, 朝倉書店, Tokyo, Dec. 1998. |
|
| 8. | Takao Shimomura : プログラムスライシング技術と応用, KYORITSU SHUPPAN.CO.,LTD, Tokyo, Jul. 1995. |
| 1. | Takao Shimomura, Kenji Ikeda and Montanaro Adriano : Distribution and Sharing of E-Learning Courseware by Weighted Keywords, International Journal of Information and Education Technology (IJIET), Vol.5, No.9, 698-703, 2014. (DOI: 10.7763/IJIET.2015.V5.595) |
|
| 2. | Takao Shimomura and Kenji Ikeda : Two Types of Deadlock Detection: Cyclic and Acyclic, Intelligent Systems for Science and Information, Studies in Computational Intelligence, Vol.542, 233-259, 2014. (DOI: 10.1007/978-3-319-04702-7_14, Elsevier: Scopus) |
|
| 3. | Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura : Estimation of Transition Times of a Hopping Machine Based on Wavelet Analysis, SICE Journal of Control, Measurement, and System Integration, Vol.6, No.6, 396-402, 2013. (DOI: 10.9746/jcmsi.6.396) |
|
| 4. | Takao Shimomura : SEMANTIC PROGRAM VISUALIZATION WITH ATTACHABLE DISPLAY CLASSES, International Journal of Computers and Applications, Vol.35, No.2, 1-9, 2013. (DOI: 10.2316/Journal.202.2013.2.202-3463, Elsevier: Scopus) |
|
| 5. | Takao Shimomura : Extensible Sharable Learning Architecture, International Journal of Web Engineering, Vol.2, No.1, 21-35, 2013. (DOI: 10.5923/j.web.20130201.03) |
|
| 6. | Takao Shimomura and Adriano Montanaro : Platform-Independent Courseware Sharing, International Journal of Information Technology and Computer Science, Vol.5, No.5, 1-9, 2013. (DOI: 10.5815/ijitcs.2013.05.01) |
|
| 7. | Takao Shimomura : GA-driven Automatic Refactoring based on Design Patterns, Software Engineering, Vol.2, No.2, 29-35, 2012. (DOI: 10.5923/j.se.20120202.03) |
|
| 8. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : BCLS Method for Stationary Systems in Closed Loop Environment, SICE Journal of Control, Measurement, and System Integration, Vol.5, No.2, 78-84, 2012. (DOI: 10.9746/jcmsi.5.78) |
|
| 9. | Takao Shimomura : Command Tag-based Automatic Diagnosis for Computer System Troubles, International Journal of Computers and Applications, Vol.34, No.3, 192-199, 2012. (DOI: 10.2316/Journal.202.2012.3.202-3408, Elsevier: Scopus) |
|
| 10. | Takao Shimomura : AUTOMATED SERVER-SIDE REGRESSION TESTING FOR WEB APPLICATIONS, International Journal of Computers and Applications, Vol.34, No.2, 119-126, 2012. (DOI: 10.2316/Journal.202.2012.2.202-3225) |
|
| 11. | Takao Shimomura : Perceptible Software for Maintenance and Enhancement, Software Engineering, Vol.1, No.1, 1-8, 2011. (DOI: 10.5923/j.se.20110101.01) |
|
| 12. | Takao Shimomura : Automatic Troubleshooter Generation for Computer Administration and Networks, International Journal of Information Processing and Management, Vol.2, No.4, 85-94, 2011. (DOI: 10.4156/ijipm.vol2.issue4.9) |
|
| 13. | Takao Shimomura, Kenji Ikeda and Takahashi Muneo : Functional Web Component Generation for Visual Web Application Programming, International Journal of Computers and Applications, Vol.33, No.2, 167-174, 2011. (DOI: 10.2316/Journal.202.2011.2.202-2730) |
|
| 14. | Min Zheng, Kenji Ikeda and Takao Shimomura : Estimation of Continuous-Time Nonlinear Systems by Using the Unscented Kalman Filter, SICE Journal of Control, Measurement, and System Integration, Vol.3, No.5, 324-329, 2010. (DOI: 10.9746/jcmsi.3.324, CiNii: 1573105975976153216) |
|
| 15. | Takao Shimomura, CHEN LIANG QUAN and TAKAHASHI MUNEO : EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION, International Journal of Software Engineering and Knowledge Engineering, Vol.20, No.2, 233-251, 2010. (DOI: 10.1142/S0218194010004700) |
|
| 16. | Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura : Estimation of the transition time of piecewise linear systems by using wavelet analysis, Transactions of the Society of Instrument and Control Engineers, Vol.45, No.7, 349-355, 2009. (DOI: 10.9746/sicetr.45.349, CiNii: 1390001204504071424) |
|
| 17. | Takao Shimomura and Chen Liang Quan : Automatic Generation of Web Applications from Visual High-Level Functional Web Components, Advances in Software Engineering, Vol.2009, No.879725, 1-16, 2009. (DOI: 10.1155/2009/879725) |
|
| 18. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias Compensation of Recursive Least Squares Estimate in Closed Loop Environment, SICE Journal of Control, Measurement, and System Integration, Vol.1, No.5, 400-405, 2008. (DOI: 10.9746/jcmsi.1.400) |
|
| 19. | Takao Shimomura, Lang Sok Nhor, Chen Liang Quan and Kenji Ikeda : Context-Dependent Extensible Syntax-Oriented Verifier with Recursive Verification, WSEAS Transactions on Information Science and Applications, Vol.5, No.2, 44-53, 2008. (Elsevier: Scopus) |
|
| 20. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-compensated Least Squares Method in Closed Loop Environment, Transactions of the Society of Instrument and Control Engineers, Vol.43, No.12, 1097-1102, 2007. (CiNii: 1520853832639592448) |
|
| 21. | Takao Shimomura, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda : Web-based Laboratory Network Management System that Integrates Multiple Servers, WSEAS Transactions on Information Science and Applications, Vol.4, No.12, 1422-1430, 2007. (Elsevier: Scopus) |
|
| 22. | Takao Shimomura, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda : Uniform Tag-based Rich Component Generation for Web Application Development, WSEAS Transactions on Information Science and Applications, Vol.4, No.12, 1431-1438, 2007. (Elsevier: Scopus) |
|
| 23. | Takao Shimomura, Lang Sok Nhor, Chen Liang Quan and Kenji Ikeda : Customizable Pattern-Oriented Verifiers forWeb Applications, WSEAS Transactions on Information Science and Applications, Vol.4, No.12, 1439-1446, 2007. (Elsevier: Scopus) |
|
| 24. | Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo : Visual Programming of Hierarchical Frames for Web Applications, WSEAS Transactions on Information Science and Applications, Vol.4, No.5, 968-975, 2007. (Elsevier: Scopus) |
|
| 25. | Takao Shimomura and Chen Liang Quan : Hierarchical frame and frameset components for visual programming of web applications, INTERNATIONAL JOURNAL of SYSTEMS APPLICATIONS, ENGINEERING & DEVELOPMENT, Vol.1, No.1, 1-7, 2007. |
|
| 26. | Takao Shimomura, Takahashi Muneo, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda : Easy enjoyable effective automated practice and test system, INTERNATIONAL JOURNAL of EDUCATION AND INFORMATION TECHNOLOGIES, Vol.1, No.1, 1-7, 2007. |
|
| 27. | Takao Shimomura : Visual Design and Programming for Web Applications, Journal of Visual Languages and Computing, Vol.16, No.3, 213-230, 2005. (DOI: 10.1016/j.jvlc.2004.08.005, Elsevier: Scopus) |
|
| 28. | Takao Shimomura, Takahashi Muneo, Kenji Ikeda and Yoshio Mogami : Visual Design for Server-Side Programs and Program Generation, Transactions of Information Processing Society of Japan, Vol.45, No.7, 1737-1744, 2004. |
|
| 29. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time Model Identification by Using Adaptive Observer, Transactions of the Society of Instrument and Control Engineers, Vol.40, No.4, 415-423, 2004. (CiNii: 1520572357091461760) |
|
| 30. | Takao Shimomura : A Page-Transition Framework for Image-Oriented Web Programming, ACM SIGSOFT Software Engineering Notes, Vol.29, No.2, 30-38, 2004. (DOI: 10.1145/979743.979764) |
|
| 31. | Takao Shimomura, Muneo Takahashi, Kenji Ikeda and Yoshio Mogami : Web application generator by image-oriented design, ACM SIGSOFT Software Engineering Notes, Vol.28, No.2, 14-19, 2003. |
|
| 32. | Zhang Xinjun and Takao Shimomura : An Approach to Slicing Widget-Based Event-Driven Programs and Its Implementation, IEICE Transactions on Information and Systems, Vol.E84-D, No.10, 1411-1420, 2001. (Elsevier: Scopus) |
|
| 33. | Xinjun Zhang and Takao Shimomura : A Program Slicer Using Def-Slice-Use Tables for Efficiently Slicing Both User-Defined and Library Functions, IEICE Transactions on Information and Systems, Vol.E83-D, No.9, 1741-1751, 2000. (Elsevier: Scopus) |
|
| 34. | Takao Shimomura : FIND: Automated Debugging Assistant System, Systems and Computers in Japan, Vol.28, No.4, 1-11, 1997. |
|
| 35. | Takao Shimomura : FIND: デバッグ自動化支援システム, The Transactions of the Institute of Electronics, Information and Communication Engineers D-I, Vol.79, No.7, 446-456, 1996. |
|
| 36. | Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi and Tadashi Ohta : プログラムスライシングに基づくソフトウェア改造方式, Transactions of Information Processing Society of Japan, Vol.36, No.9, 2183-2194, 1995. |
|
| 37. | Tetsuya Chikaraishi, Yasushi Oki, Takao Shimomura and Tadashi Ohta : The Network Security Reference Model: Its Security Subject and Their Classification Criteria, Communications and Multimedia Security, 80-96, 1995. |
|
| 38. | Takao Shimomura : 手続き型言語におけるアルゴリズミックデバッギングの一実現方式, Transactions of Information Processing Society of Japan, Vol.35, No.11, 2414-2426, 1994. |
|
| 39. | Takao Shimomura : プログラムバグ潜在域の最適化に関する考察, Transactions of Information Processing Society of Japan, Vol.35, No.8, 1591-1601, 1994. |
|
| 40. | Takao Shimomura : CASEツールの開発におけるソフトウェアバグの分析, Transactions of Information Processing Society of Japan, Vol.35, No.7, 1380-1389, 1994. |
|
| 41. | Takao Shimomura : Critical Slice の拡張と分割検証の定式化, Transactions of Information Processing Society of Japan, Vol.34, No.11, 2401-2411, 1993. |
|
| 42. | Takao Shimomura : Critical Slice-Based Fault Localization for Any Type of Error, IEICE Transactions on Information and Systems, Vol.76, No.6, 656-667, 1993. |
|
| 43. | Takao Shimomura : Bug Localization Based on Error-Cause-Chasing Methods, Transactions of Information Processing Society of Japan, Vol.34, No.3, 489-500, 1993. |
|
| 44. | Takao Shimomura : 変数値エラーにおけるCritical Sliceに基づくバグ究明戦略, Transactions of Information Processing Society of Japan, Vol.33, No.4, 501-511, 1992. |
|
| 45. | Takao Shimomura : Automatic Resumption Mechanism for Program Debugging, ACM SIGSOFT Software Engineering Notes, Vol.16, No.4, 37-41, 1991. |
|
| 46. | Takao Shimomura and Sadahiro Isoda : Linked-List Visualization for Debugger, IEEE Software, Vol.8, No.3, 44-51, 1991. |
|
| 47. | Sadahiro Isoda, Takao Shimomura and Yuji Ono : VIPS: A Visual Debugger, IEEE Software, Vol.4, No.3, 8-19, 1987. |
|
| 48. | Takao Shimomura : A Method for Automatically Generating Business Graphs, IEEE Computer Graphics and Applications, Vol.3, No.6, 55-59, 1983. (DOI: 10.1109/MCG.1983.263242) |
| 1. | Takao Shimomura, Kenji Ikeda and Yoshio Mogami : Automatic Program Generation based on Visual Image-Oriented Design, Bulletin of Faculty of Engineering, The University of Tokushima, Vol.48, No.48, 5, 2003. (CiNii: 1572543026615871232) |
|
| 2. | Takao Shimomura and 沖 也寸志 : データベースのセキュリティ設計支援, ATR Journal, No.18, 2-3, 1995. |
|
| 3. | Takao Shimomura : クリティカルスライスとデバッグへの応用, NTT R&D, Vol.42, No.8, 1017-1026, 1993. |
|
| 4. | Takao Shimomura, 高橋 健司 and 国立 勉 : エラー逆追跡方式に基づくバグ究明支援システム, NTT R&D, Vol.40, No.11, 1453-1458, 1991. |
|
| 5. | Takao Shimomura, 近藤 彰一, 高橋 健司 and 国立 勉 : ソフトウェアのテスト品質を把握し，作業を効率化, NTT技術ジャーナル, 47-48, 1991. |
|
| 6. | 磯田 定宏 and Takao Shimomura : ソフトウェアの実行状況を図式化し，デバッグ作業を効率化, NTT技術ジャーナル, 75-77, 1990. |
|
| 7. | Sadahiro Isoda, Takao Shimomura, Shuichiro Yamamoto and Hiroaki Kuroki : Integrated CASE System: SoftDA, NTT REVIEW, Vol.2, No.2, 52-61, 1990. |
|
| 8. | 磯田 定宏, 山本 修一郎, Takao Shimomura and 黒木 宏明 : 設計情報とコードの一体管理方式に基づくソフトウェア開発支援システムSoftDA, NTT R&D, Vol.38, No.11, 1239-1248, 1989. |
|
| 9. | Ryohei Nakano, Gennai Nakaniwa and Takao Shimomura : Conversational Statistical Analysis System, Review of the Electrical Communication Laboratories, Vol.26, No.7-8, 7-8, 1978. |
|
| 10. | 中庭 源内, 中野 良平 and Takao Shimomura : 会話型統計解析システム, 日本電信電話公社電気通信研究所研究実用化報告, Vol.27, No.4, 661-674, 1978. |
| 1. | Takao Shimomura, 高橋 宗雄, Kenji Ikeda and Yoshio Mogami : Webプログラミングフレームワーク, Journal of Information Processing Society of Japan, Vol.45, No.12, 1266-1271, Dec. 2004. |
|
| 2. | Takao Shimomura : Program Slicing技術とテスト，デバッグ，保守への応用, Journal of Information Processing Society of Japan, Vol.33, No.9, 1078-1086, Sep. 1992. |
|
| 3. | Takao Shimomura : Program Slicing技術とテスト，デバッグ，保守への応用, 電子情報通信学会東北支部専門講習会, 46-53, Jan. 1991. |
| 1. | Tomoaki Kashiwao, Mayu Hiura, Bahadori Alireza, Kenji Ikeda and Takao Shimomura : Optimization of a Light Reflector Angle of Surface-mount-devide Light-emitting Diode Packaging Using Ray-tracing Simulation, Proceedings of SICE Annual Conference 2016, 361-364, Tsukuba, Sep. 2016. |
|
| 2. | Tomoaki Kashiwao, Mayu Hiura, Daigo Hara, Kenji Ikeda and Takao Shimomura : Effect of Optical Properties of Components for Light Extraction Efficiency of SMD LEDs, SICE Annual Conference 2014, 1936-1940, Sapporo, Sep. 2014. |
|
| 3. | Takao Shimomura and Kenji Ikeda : Waiting Blocked-Tree Type Deadlock Detection, Proc. of Science and Information Conference 2013 (SAI2013), 45-50, London, Oct. 2013. |
|
| 4. | Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura : Identification of a Hopping Machine Based on a Piecewise Affine Model, SICE Annual Conference 2013, 501-504, Nagoya, Sep. 2013. |
|
| 5. | Takao Shimomura, Kenji Ikeda and Montanaro Adriano : AUTOMATIC COURSEWARE TRANSFERS BETWEEN DIFFERENT PLATFORMS, Proc. of 6th International Technology, Education and Development Conference (INTED2013), 4334-4341, Valencia, SPAIN, Mar. 2013. |
|
| 6. | Takao Shimomura and Kenji Ikeda : Extensible Web-based Learning Architecture, Proc. of the 2012 International Conference on Software Engineering Research and Practice (SERP'12), 1-7, Las Vegas, Jul. 2012. |
|
| 7. | Takao Shimomura, Kenji Ikeda and Montanaro Adriano : GAME-ORIENTED STIMULATING E-LEARNING, Proc. of 6th International Technology, Education and Development Conference (INTED2012), 4221-4228, Valencia, Spain, Mar. 2012. |
|
| 8. | Takao Shimomura : Extensible Web-based Troubleshooter Generation for Computer Administration, Proc. of International Conference on Computer, Electrical, and Systems Sciences, and Engineering (ICCESSE2011), 760-766, Paris, France, Nov. 2011. |
|
| 9. | Takao Shimomura and Kenji Ikeda : Tag Command-based Automatic Trouble Diagnosis for Computer Administration, the 5-th International Conference on New Trends in Information Science and Service Science (NISS2011), 97-102, Macao, Oct. 2011. |
|
| 10. | Kenji Ikeda, Yoko Hatanaka and Takao Shimomura : Linear Approximation Model for Snake Robots and its Application, Proc. of SICE Annual Conference 2011, 2915-2918, Tokyo, Sep. 2011. |
|
| 11. | Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura : A Design of the Scale Parameter of Wavelet Transformation for the Estimation of Transition Time in PWL Systems, Proc. of SICE Annual Conference 2011, 973-978, Tokyo, Sep. 2011. |
|
| 12. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : BCLS Method for the Estimation of Continuous-Time Models in Closed Loop Environment, Proceedings of 2010 IEEE International Conference on Control Applications, 1369-1373, Yokohama, Sep. 2010. |
|
| 13. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias Compensated State Space Identification Method in Closed Loop Environment, Proceedings of IFAC ALCOSP 2010, Antalya, Turkey, Aug. 2010. |
|
| 14. | Takao Shimomura : PercSoft: A Novel Approach to Software Maintenance and Enhancement, 2010 Fifth International Conference on Software Engineering Advances, 1-6, Nice, Aug. 2010. |
|
| 15. | Takao Shimomura, Kenji Ikeda and Takahashi Muneo : An Approach to GA-driven Automatic Refactoring based on Design Patterns, 2010 Fifth International Conference on Software Engineering Advances, 213-218, Nice, Aug. 2010. |
|
| 16. | Min Zheng, Kenji Ikeda and Takao Shimomura : Estimation of Continuous-time Nonlinear Systems by using the Unscented Kalman Filter, Proc. of SICE Annual Conference 2010, 2192-2195, Taipei, Aug. 2010. |
|
| 17. | Kenji Ikeda, Tomoaki Kashiwao and Takao Shimomura : Estimation of a Transition Time in Piecewise Linear Systems, Proc. of SICE Annual Conference 2010, 620-624, Taipei, Aug. 2010. |
|
| 18. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-Compensated State Space Model Identification, Proceedings of 19th International Symposium on Mathematical Theory of Networks and Systems, 1369-1372, Budapest, Jul. 2010. |
|
| 19. | Takao Shimomura and Kenji Ikeda : SERVER-DRIVEN REGRESSION TEST FOR WEB APPLICATIONS AND ITS PERFORMANCE, Proceedings of the IASTED International Conference on Software Engineering, 234-239, Innsbruck, Austria, Feb. 2010. |
|
| 20. | Takao Shimomura, Kenji Ikeda and Takahashi Muneo : ATTACHABLE SOFTWARE VISUALIZATION FOR MULTIPLE-THREAD PROGRAMS, Proceedings of the IASTED International Conference on Software Engineering, 135-141, Innsbruck, Austria, Feb. 2010. |
|
| 21. | Takao Shimomura, Kenji Ikeda and Muneo Takahashi : Synchronization of Multi-window requests for Server-side Regression Test of Web Applications, Proceedings of the 9th International Conference on Quality Software (QSIC2009), 1-6, Jeju, Korea, Aug. 2009. |
|
| 22. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-Compensated Least Squares Method in Closed Loop Environment, --- Estimation under colored noise ---, Proceedings of ICCAS-SICE 2009, 4923-4926, Fukuoka, Aug. 2009. |
|
| 23. | Takao Shimomura, Chen Liang Quan and Kenji Ikeda : Customizable Functional Web Components for Visual Web Programming, 2009 WRI World Congress on Computer Science and Information Engineering, 580-584, Los Angeles, Apr. 2009. |
|
| 24. | Takao Shimomura, Kenji Ikeda and Takahashi Muneo : Web-Based Troubleshooter Generation for System Administration, 2009 WRI World Congress on Computer Science and Information Engineering, 760-764, Los Angeles, Apr. 2009. |
|
| 25. | Takao Shimomura, Chen Liang Quan and Kenji Ikeda : SERVER-SIDE REGRESSION TEST FOR WEB APPLICATION DEVELOPMENTS, Proceedings of the IASTED International Conference on Software Engineering, 63-68, Innsbruck, Feb. 2009. |
|
| 26. | Takao Shimomura, Kenji Ikeda and Muneo Takahashi : SOFTWARE VISUALIZATION WITH ATTACHABLE DISPLAY CLASSES, Proceedings of the IASTED International Conference on Software Engineering, 37-42, Innsbruck, Feb. 2009. |
|
| 27. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias Compensation of Recursive Least Squares Estimate in Closed Loop Environment, Proceedings of the 18th International Symposium on Mathematical Theory and Networks and Systems, Virginia, USA, Jul. 2008. |
|
| 28. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-Compensated Least Squares Method in Closed Loop Environment, --- A filter design for colored noise ---, Proceedings of 2008 International Symposium on Advanced Control of Industrial Processes, 329-334, Jasper, May 2008. |
|
| 29. | Takao Shimomura, Lang Sok Nhor and Kenji Ikeda : Extensible Syntax-Oriented Verifier and Its Implementation, Proceedings of the IASTED International Conference on Software Engineering, 298-303, Innsbruck, Austria, Feb. 2008. |
|
| 30. | Kashiwao Tomoaki, Kenji Ikeda and Takao Shimomura : Estimation of the transition time of hybrid systems by using wavelet analysis, Proc of SICE Annual Conference, 2546-2549, Takamatsu, Sep. 2007. |
|
| 31. | Zheng Min, Kenji Ikeda and Takao Shimomura : Estimation of Rotary Inverted Pendulum by using the Unscented Kalman Filter, --- Estimation of the initial state ---, Proceedings of SICE Annual Conference, 1670-1673, Takamatsu, Sep. 2007. |
|
| 32. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-compensated adaptive observer for a continuous-time model estimation, Preprints 9th IFAC Workshop Adaptation and Learning in Control and Signal Processing, St. Petersburg, Aug. 2007. |
|
| 33. | Takao Shimomura, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda : Integrated Laboratory Network Management System, Proceedings of the 7th WSEAS International Conference on Applied Informatics and Communications, 188-193, Athens, Aug. 2007. |
|
| 34. | Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo : Apty: Easy Enjoyable Effective e-Learning, Proceedings of the 7th WSEAS International Conference on Applied Informatics and Communications, 211-216, Athens, Aug. 2007. |
|
| 35. | Chen Liang Quan and Takao Shimomura : Uniform Rich-Component Generation for Web Applications, International Conference on Cybernetics and Information Technologies, Systems and Applications, 300-305, Orlando, Jul. 2007. |
|
| 36. | Takao Shimomura, Kenji Ikeda, Chen Ling Quan, Lang Sok Nhor and Takahashi Muneo : Visual Pivot-Table Components for Web Application Development, Proc. of 3rd IASTED International Conference on Advances in Computer Science and Technology, 90-95, Phuket, Apr. 2007. |
|
| 37. | Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo : Customizable Verifiers for Web Applications and Their Implementation, Proceedings of International Conference on Computer Engineering and Applications, 396-401, Gold Coast, Australia, Jan. 2007. |
|
| 38. | Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo : Rich Component Generation for Web Applications Using Custom Tags, Proceedings of International Conference on Computer Engineering and Applications, 390-395, Gold Coast, Australia, Jan. 2007. |
|
| 39. | Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo : Visual Programming for Web Applications that Use HTML Frame Facilities, Proceedings of International Conference on Computer Engineering and Applications, 384-389, Gold Coast, Australia, Jan. 2007. |
|
| 40. | Min Zheng, Kenji Ikeda and Takao Shimomura : Parameter estimation of rotary inverted pendulum based on unscented Kalman filter, Proc. of SICE-ICCAS 2006, 5022-5025, Busan, Oct. 2006. |
|
| 41. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model identification by using adaptive observer, --- Estimation of the initial state ---, Proc. of SICE-ICCAS 2006, 1796-1799, Busan, Oct. 2006. |
|
| 42. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Parameter convergence of a continuous-time model estimation method by using adaptive observer, Proceedings of 17th International Symposium onMathematical Theory of Networks and Systems, 1096-1101, Kyoto, Jul. 2006. |
|
| 43. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Discrete-time state variable filters for the estimation of a continuous-time model, Proceedings of the 14th IFAC Symposium on System Identification, 861-866, Newcastle, Australia, Mar. 2006. |
|
| 44. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-Time Model Identification by using Adaptive Observer, --- On the reduction of the computational cost ---, Proceedings of SICE 2005, 246-251, Okayama, Aug. 2005. |
|
| 45. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-Time Model Identification using Adaptive Observers, --- On the Selection of State Variable Filters ---, Proceedings of the 24th IASTED International Conference Modelling, Identification, and Control, 160-165, Innsbruck, Feb. 2005. |
|
| 46. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : A sufficient condition for the convergence of adaptive observer in continuous-time model identification, Proceedings of IFAC Workshop on Adaptive and Learning in Control and Signal Processing, 699-704, Yokohama, Aug. 2004. |
|
| 47. | Muneo Takahashi, Inada Eisuke and Takao Shimomura : An Analysis of Errors in Client Server Systems, 10th ISSAT International Conference Reliability and Quality in Design, 341-345, Las Vegas, Aug. 2004. |
|
| 48. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-Time Model Identification by using Fast Adaptive Observer, Proceedings Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Jul. 2004. |
|
| 49. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-Time Model Identification By Using Adaptive Observer, --- A case of non-uniform sampling ---, Proc. of the 23rd IASTED International Conference Modelling, Identification, and Control, 92-97, Grindelwald, Feb. 2004. |
|
| 50. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model identification by using adaptive observer, Preprints of 13th IFAC Symposium on System Identification, 325-330, Rotterdam, Aug. 2003. |
|
| 51. | Muneo Takahashi, Takanori Aoki and Takao Shimomura : An Experiment on the Derivation of Effort Estimation Model Based on Object Points, 9th ISSAT International Conference on Reliability and Quality in Design, 245-249, Hawaii, Aug. 2003. |
|
| 52. | Takao Shimomura, Muneo Takahashi, Kenji Ikeda and Yoshio Mogami : An Approach to Brain-Image Oriented Programming for Web Applications, Proc. of 7th World Multiconference on Systemics, Cybernetics and Informatics, 436-441, Orlando, Jul. 2003. |
|
| 53. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Adaptive Observer of Sampled-Data Systems, Proceedings of the 22nd IASTED International Conference MODELLING, IDENTIFICATION, AND CONTROL, 102-107, Innsbruck, Feb. 2003. |
|
| 54. | Muneo Takahashi, Akihiro Shimoda and Takao Shimomura : Applicability of Object Point Analysis to Software Sizing, Proc. of 15th Asia Quality Symposium, 228-231, Taejon, Nov. 2001. |
|
| 55. | Zhang Xinjun and Takao Shimomura : A Widget-based Event-driven Program Slicer, Proc. of IASTED International Conference on Software Engineering and Applications, 141-146, Anaheim, Aug. 2001. |
|
| 56. | Takao Shimomura, Xinjun Zhang and Muneo Takahashi : An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer, Proc. of 16th IFIP World Computer Congress - International Conference on Software: Theory and Practice, 65-72, Beijing, Aug. 2000. |
|
| 57. | Xinjun Zhang, Yumiko Tashiro, Hiroki Takata, Tetsuo Fujii, Mitsuhisa Yamamuro, Daisuke Kasai and Takao Shimomura : An Approach to Automated Program Testing and Debugging, Proc. of 6th Asia-Pacific Software Engineering Conference, 582-589, Takamatsu, Dec. 1999. |
|
| 58. | Takao Shimomura, Xinjun Zhang and Muneo Takahashi : Analysis of Potential Fault Region for Automated Fault Localization, Proc. of the IASTED 3rd International Conference on Software Engineering and Applications, 37-42, Arizona, U.S.A., Oct. 1999. |
|
| 59. | Takao Shimomura and Muneo Takahashi : Two-Phase Fault Localization for Distributed Systems, Proc. of the Tenth IASTED International Conference on Parallel and Distributed Computing and Systems, 351-356, Las Vegas, Oct. 1998. |
|
| 60. | Takao Shimomura, Hideki Muguruma and Kousai Yamamoto : A Step to Automated Fault Localization for Distributed Systems, Proc. of the IASTED International Conference on Parallel and Distributed Computing and Networks, 98-101, Singapore, Aug. 1997. |
|
| 61. | Yasushi Oki, Takao Shimomura and tadashi Ohta : An Access Determination Algorithm for Preventing Non-Secure Information Flows, International Conference on Networks, 1-4, Jan. 1996. |
|
| 62. | Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi and Tadashi Ohta : An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND, 2nd International Workshop on Automated and Algorithmic Debugging, 1-13, Jan. 1995. |
|
| 63. | Yasushi Oki, Tetsuya Chikaraishi, Takao Shimomura and Tadashi Ohta : A Design Method for Data Integrity in Object-Oriented Database Systems, IEEE SICON/ICIE'95, 204-209, Jan. 1995. |
|
| 64. | Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi and Tadashi Ohta : An Independent Software-Modification Method, Infernational Conference on Software Maintenance, 214-221, Jan. 1995. |
|
| 65. | Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi and Tadashi Ohta : Intelligent Software-Fault Location for Distributed Processing Systems, 7th International Conference on Systems Research Informatics and Cybernetics, 164-168, Jan. 1994. |
|
| 66. | Takao Shimomura : Critical Slice and Its Application to Program Debugging, 3rd Annual Software Engineering Research Forum, 269-276, Jan. 1993. |
|
| 67. | Takao Shimomura and Sadahiro Isoda : Visual Representation Technique for List Structures and Its Implementation in a Visual Debugger VIPS, 2nd International Conference on High Technology, Information Science and Computer Technology, 191-194, Jan. 1991. |
|
| 68. | Takao Shimomura and Sadahiro Isoda : CHASE: A Bug-Locating Assistant System, COMPSAC'91, 412-417, Jan. 1991. |
|
| 69. | Takao Shimomura and Sadahiro Isoda : VIPS: A Visual Debugger for List Structures, COMPSAC'90, 530-537, Jan. 1990. |
|
| 70. | Sadahiro Isoda, Takao Shimomura and Yuji Ono : Visual Debugger VIPS: Visual Representation of Program Execution, COMPSAC'85, 62-68, Jan. 1985. |
| 1. | 松村 剛, Kenji Ikeda and Takao Shimomura : Energy-recovery control of bipedal walking robot, 2013年度 計測自動制御学会四国支部学術講演会, 175-176, Nov. 2013. |
|
| 2. | 中野 秀信, Kenji Ikeda and Takao Shimomura : Stabilization of the bipedal walking robot using orthogonal function expansion, 2013年度 計測自動制御学会四国支部学術講演会, 123-124, Nov. 2013. |
|
| 3. | 加藤 渓祐, Kenji Ikeda and Takao Shimomura : Web アプリケーションのデバッグ・保守支援, 電気関係学会四国支部連合大会, Vol.17, No.5, 337, Sep. 2013. |
|
| 4. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Linear Approximation Model for Bipeds Robot and its Application, SICE 13th Annual Conference on Control Systems, Mar. 2013. |
|
| 5. | 西村 拓也, Kenji Ikeda and Takao Shimomura : サーバベースWeb アプリケーション回帰統合テスト支援方式, 電気関係学会四国支部連合大会, 327, Sep. 2012. |
|
| 6. | 木村 心, Kenji Ikeda and Takao Shimomura : Waiting ブロック・ツリー型デッドロックの検出, 電気関係学会四国支部連合大会, 290, Sep. 2012. |
|
| 7. | 石田 達大, Kenji Ikeda and Takao Shimomura : An Approach to Design Pattern-Based Refactoring, 電気関係学会四国支部連合大会, 278, Sep. 2011. |
|
| 8. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-Compensated State Space Identification Method, --- A Numerical Analysis of the Gap between the Singular Subspaces ---, 第11回適応学習制御シンポジウム資料, 61-66, Jan. 2011. |
|
| 9. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Numerical Analysis of Bias Compensated State Space Model Identification, 第53回自動制御連合講演会論文集, 678-683, Nov. 2010. |
|
| 10. | Kenji Ikeda, Tomoaki Kashiwao and Takao Shimomura : Estimation of a Transition Time in Piecewise Linear Systems, 第10回計測自動制御学会制御部門大会資料, Mar. 2010. |
|
| 11. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-Compensated State Space Identification Method, 第10回適応学習制御シンポジウム資料, 91-94, Jan. 2010. |
|
| 12. | Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura : Estimation of the transition time of piecewise linear systems by using wavelet analysis, 第52回自動制御連合講演会講演論文集, Nov. 2009. |
|
| 13. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : A parameter estimation method based on a reduced order plant model, 38th SICE Symposium on Control Theory, 1-4, Sep. 2009. |
|
| 14. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-compensated least squares method in closed loop environment, --- Identification under colored noise ---, Proceedings of SICE 9th Annual Conference on Control Systems, Mar. 2009. |
|
| 15. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-Time Model Estimation in Closed-Loop Environment, --- On the relaxation of the identifiability condition ---, 9th SICE Symposium on Adaptive and Learning Control, 1-4, Jan. 2009. |
|
| 16. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias Compensated Recursive Least Squares Estimate in Closed Loop Environment, 第51回自動制御連合講演会, 584-587, Nov. 2008. |
|
| 17. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias Compensated Recursive Least Squares Estimate in Closed Loop Environment, --- On the improvement of the convergency ---, 37th SICE Symposium on Control Theory, 105-110, Sep. 2008. |
|
| 18. | Mami Sawada, Kenji Ikeda, Takao Shimomura and Yoshio Mogami : Continuous-time model estimation in closed loop environment, --- Iterative algorithm by using bias-compensated least squares method ---, Proc. of the 52nd Annual Conference of ISCIE, 331-332, May 2008. |
|
| 19. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-compensated Least Squares Method in Closed Loop Environment, --- Fast iterative algorithm ---, 第8回制御部門大会, Mar. 2008. |
|
| 20. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-Compensated Least Squares Method in Closed Loop Environment, --- A filter design with colored noise ---, 8, 57-60, Jan. 2008. |
|
| 21. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-compensated Least Squares Method in Closed Loop Environment, --- A formulation based on the transfer function representation ---, 第50回自動制御連合講演会, 320-323, Nov. 2007. |
|
| 22. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Bias-compensated Least Squares Method in Closed Loop Environment, 第36回制御理論シンポジウム資料, 143-146, Sep. 2007. |
|
| 23. | Mami Sawada, Kenji Ikeda and Takao Shimomura : Continuous-time model estimation by using adaptive observer, --- Consistency of estimated parameters ---, Proceedings of the 51st Annual Conference of the Institute of Systems, Control and Information Engineers, 235-236, May 2007. |
|
| 24. | Masayuki Imoto, Yoshio Mogami, Norihiko Ono, Norio Baba, Kenji Ikeda and Takao Shimomura : Search for Global Optimal Solution of The Unknown Function by Using Variable Hierarchical Structure Learning Automata, 講演論文集, 717-718, May 2007. |
|
| 25. | Toshiyuki Akamine, Yoshio Mogami, Norihiko Ono, Kenji Ikeda and Takao Shimomura : Autonomous Transfer System for Mobile Object Using Stochastic Real-Valued Reinforcement Learning Unit, 講演論文集, 681-682, May 2007. |
|
| 26. | Masahiro Takahata, Yoshio Mogami, Norihiko Ono, Norio Baba, Kenji Ikeda and Takao Shimomura : Stock prices forecast system by using neural networks, 講演論文集, 637-638, May 2007. |
|
| 27. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model estimation by using bias compensated adaptive observer, 第7回適応学習制御シンポジウム資料, 93-98, Jan. 2007. |
|
| 28. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model estimation method by using adapitve observer, --- Iterative design of the state variable filters ---, 第49回自動制御連合講演会資料, Nov. 2006. |
|
| 29. | Makio Kinoshita, Yoshio Mogami, Kenji Ikeda and Takao Shimomura : The area weather forecast system based on improvement-type reinforcement learning unit, 第49回自動制御連合講演会, Nov. 2006. |
|
| 30. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model identification by using adaptive observer, --- Redesign of state variable filters ---, Proc. of SICE 6th Annual Conference on Control Systems, 25-28, May 2006. |
|
| 31. | Kazumasa Sakao, Kenji Ikeda and Takao Shimomura : Parameter estimation of a continuous-time nonlinear system by using unscented Kalman filter, 第50回システム制御情報学会研究発表講演会講演論文集, 291-292, May 2006. |
|
| 32. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model identification by using adaptive observer, --- Estimation of the noise model ---, Proc. of 6th SICE Symposium on Adaptive and Learning Control, 31-34, Mar. 2006. |
|
| 33. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Stability analysis of continuous-time model identification method by using adaptive observer, 第48回自動制御連合講演会資料, 639-642, Nov. 2005. |
|
| 34. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model identification by using adaptive observer, --- On the existence of an optimal solution ---, Proc. of the 34th SICE Symposium on Control Theory, 133-136, Oct. 2005. |
|
| 35. | Yoshio Mogami, Mitsuhiro Matsumoto, Takao Shimomura and Kenji Ikeda : Application of the variable hierarchical structure learning autmata to the search for global optimal solution of the unknown multimodal objective function, 平成17年度電気関係学会四国支部連合大会講演論文集, 305, Sep. 2005. |
|
| 36. | Yoshio Mogami, Yuki Miyaura, Kenji Ikeda and Takao Shimomura : The area weather forecast system using reinforcement learning unit, 平成17年度電気関係学会四国支部連合大会講演論文集, 304, Sep. 2005. |
|
| 37. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : A design of state variable filters in continuous-time model identification, Proc. of SICE 5th Annual Conference on Control Systems, 49-52, May 2005. |
|
| 38. | Makio Kinoshita, Yoshio Mogami, Takao Shimomura and Kenji Ikeda : Regional rainfall forecast system based on reinforcement learning, 第49回システム制御情報学会研究発表講演会講演論文集, 291-292, May 2005. |
|
| 39. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-Time Model Identification By Using Adaptive Observer, --- Generalization of the State Variable Filters ---, 第47回自動制御連合講演会, Nov. 2004. |
|
| 40. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : A recursive algorithm of continuous-time model identification for MIMO systems, 33rd SICE Symposium on Control Theory, 229-232, Nov. 2004. |
|
| 41. | 坂尾 一将, Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Accuracy Improvement of Subspace Model Identification of Continuous Time System, 平成16年電気関係学会四国支部連合大会講演論文集, 80, Sep. 2004. |
|
| 42. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : Continuous-time model identification by using fast adaptive observer, 第4回制御部門大会資料, 231-236, May 2004. |
|
| 43. | Mitsuhiro Matsumoto, Yoshio Mogami, Norio Baba, Takao Shimomura and Kenji Ikeda : Search for Global Optimal Solution of The Unknown Function by Using Variable Hierarchical Structure Learning Automata, Proceedings of the 48th Annual Conference of the Institute of Systems, Control and Information Engineers, 35-36, May 2004. |
|
| 44. | Yuuki Miyaura, Yoshio Mogami, Kenji Ikeda and Takao Shimomura : The Area Weather Forecast System Using Reinforcement Learning Unit, Proceedings of the 48th Annual Conference of the Institute of Systems, Control and Information Engineers, 461-462, May 2004. |
|
| 45. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : 適応観測器を用いた連続時間モデル同定, 第32回制御理論シンポジウム資料, 261-264, Nov. 2003. |
|
| 46. | Takao Shimomura, 高橋 宗雄, Kenji Ikeda and Yoshio Mogami : 動的テーブルによるWebアプリケーション自動合成, 第2回 情報科学技術フォーラム, 181-182, Sep. 2003. |
|
| 47. | 沖 也寸志, 力石 徹也 and Takao Shimomura : 強制アクセス制御のセキュリティレベル設定問題に関する一考察, 電子情報通信学会総合全国大会, A-331, Mar. 1995. |
|
| 48. | Takao Shimomura, 沖 也寸志, 力石 徹也 and 太田 理 : 改造に伴う影響を除去するソフトウェア独立改造方式, 情報処理学会全国大会, 7M-6, Sep. 1994. |
|
| 49. | 沖 也寸志, 力石 徹也, Takao Shimomura and 太田 理 : オブジェクト指向データベースのためのインテグリティレベルによるアクセス制御, 電子情報通信学会秋季全国大会, A-188, Sep. 1994. |
|
| 50. | 力石 徹也, 沖 也寸志, Takao Shimomura and 太田 理 : ネットワークセキュリティ参照モデルに基づくセキュリティ問題の分類, 電子情報通信学会秋季全国大会, B-681, Sep. 1994. |
|
| 51. | Takao Shimomura : プログラムバグ潜在域Critical Sliceの最適化技法, 情報処理学会全国大会, 5-165, Oct. 1993. |
|
| 52. | 伊藤 智子 and Takao Shimomura : 知的プログラムレビュー支援システム(IRASY)の提案, 情報処理学会全国大会, 5T-9, Oct. 1992. |
|
| 53. | 高橋 健司 and Takao Shimomura : プログラム解析作業履歴を利用したデバッグ方式, 電子情報通信学会秋季全国大会, D-47, Sep. 1991. |
|
| 54. | 高橋 健司 and Takao Shimomura : ビジュアルデバッガのデバッグ作業効率評価, 情報処理学会全国大会, 4R-5, Mar. 1991. |
|
| 55. | 近藤 彰一 and Takao Shimomura : カバレッジを利用した機能テスト手法の評価, 電子情報通信学会秋季全国大会, D-78, Mar. 1991. |
|
| 56. | 高橋 健司, Takao Shimomura and 磯田 定宏 : カバレッジテストの品質向上効果に関する分析, 情報処理学会全国大会, 1R-4, Mar. 1990. |
|
| 57. | Takao Shimomura, 高橋 健司 and 磯田 定宏 : 実行フロー逆追跡に基づくバグ究明支援方式の評価, 電子情報通信学会秋季全国大会, D-153, Sep. 1989. |
|
| 58. | 高橋 健司, Takao Shimomura and 磯田 定宏 : プログラム実行状況図形表示におけるリスト構造レイアウト方式, 情報処理学会全国大会, 6R-8, Sep. 1989. |
|
| 59. | 高橋 健司, Takao Shimomura, 森下 順次 and 磯田 定宏 : 既存デバッグツールを利用した高速なビジュアルデバッグ方式, 情報処理学会全国大会, 2M-3, Mar. 1989. |
|
| 60. | Takao Shimomura, 森下 順次 and 磯田 定宏 : プログラム·バグの分析と防止策の提案, 電子情報通信学会春季全国大会, D-421, Mar. 1989. |
|
| 61. | 篠塚 恵史, Takao Shimomura and 磯田 定宏 : 拡張可能テンプレートを用いた設計書·コード作成支援エディタ, 情報処理学会全国大会, 1N-2, Mar. 1988. |
|
| 62. | 森下 順次, Takao Shimomura and 磯田 定宏 : ビジュアル·デバッグ方式の評価, 電子情報通信学会春季全国大会, D-378, Mar. 1988. |
|
| 63. | 斎 直人, 黒木 宏明, 山本 修一郎 and Takao Shimomura : 設計情報ネットワークに基づくソフトウェア設計法, 情報処理学会全国大会, 3R-6, Mar. 1987. |
|
| 64. | Takao Shimomura, 森下 順次 and 磯田 定宏 : プログラム実行フロー逆追跡方式に基づくデバッグ支援, 電子情報通信学会情報·システム部門全国大会, 614, Mar. 1987. |
|
| 65. | 黒木 宏明, 斎 直人, 山本 修一郎 and Takao Shimomura : ソフトウェア関係情報に基づく再利用方式, 情報処理学会全国大会, 2F-1, Sep. 1986. |
|
| 66. | Takao Shimomura, 小野 雄二 and 磯田 定宏 : データの動画表示機能をもつビジュアルデバッガシステムVIPS, 情報処理学会全国大会, 4R-12, Sep. 1984. |
|
| 67. | Takao Shimomura, 小田 泰充, 佐藤 允, 奥沢 修 and 岡田 博 : モジュール間インタフェース自動検証法の一手法, 電子通信学会総合全国大会, 1492, Mar. 1980. |
|
| 68. | 佐藤 允, 小田 泰充, 奥沢 修 and Takao Shimomura : プログラム設計情報格納法の一考察, 情報処理学会全国大会, 4C-8, Mar. 1980. |
|
| 69. | 奥沢 修, 小田 泰充, 佐藤 允 and Takao Shimomura : 設計情報記述言語SDLの特徴について, 電子通信学会情報·システム部門全国大会, 404, Mar. 1979. |
| 1. | Kenji Ikeda, Yoshio Mogami and Takao Shimomura : 適応観測器を用いた連続時間モデル同定における収束条件について, 第4回適応学習制御シンポジウム資料, 111-114, Mar. 2004. |
|
| 2. | Takao Shimomura, Muneo Takahashi, Kenji Ikeda and Yoshio Mogami : Web アプリケーションにおけるイメージ指向プログラミングの試み, 情報処理学会プログラミング研究会発表資料, 1-7, Jan. 2003. |
|
| 3. | 高橋 宗雄, 下田 昌弘 and Takao Shimomura : オブジェクトポイント法の適用性に関する一考察, ソフトウェアサイエンス研究会信学技報, Vol.SS99, No.33, 25-32, Sep. 1999. |
|
| 4. | Tetsuya Chikaraishi, Yasushi Oki, Takao Shimomura and Tadashi Ohta : ネットワークセキュリティ参照モデルのセキュリティ課題とその分類基準, 通信の快適性·安全性·信頼性ワークショップ, 1-9, Jan. 1995. |
|
| 5. | Yasushi Oki, Takao Shimomura and Tetsuya Chikaraishi : オブジェクト指向データベースの改ざん防止方式, 交換システム工学研究会, 55-60, Jan. 1994. |
|
| 6. | Takao Shimomura : Critical Sliceとデバッグへの応用, 知能ソフトウェア工学研究会, 17-25, Jan. 1993. |
| 1. | Takao Shimomura : Automatic Bug Locator for Automatically Locating Bug through Interaction with an Operator, 08/781796 (Jan. 1997), 5854925 (Dec. 1998). | |
| 2. | Takao Shimomura : バグ自動検出装置, 8-123086 (May 1996), 9-305432 (Nov. 1997), 2816666 (Aug. 1998). | |
| 3. | Takao Shimomura : ソフトウェア改造支援装置および方法, 6-143133 (Jun. 1994), 8-16381 (Jan. 1996), 2832330 (Oct. 1998). | |
| 4. | Takao Shimomura : 属性結合の機密保護装置, 6-43409 (Mar. 1994), 7-253989 (Oct. 1995), 2717502 (Nov. 1997). |