トップページ  >  教員個別情報  >  発表論文
内平 直志 (UCHIHIRA, Naoshi)副学長, 教授, 東京サテライト長
知識科学系, 知識マネジメント領域

発表論文

111件
Balancing the trade-off between accuracy and interpretability in software defect prediction.
Toshiki Mori, Naoshi Uchihira
Empirical Software Engineering, 24, 2, 779-825, 2019
IoT Service Business Ecosystem Design in a Global, Competitive, and Collaborative Environment
Naoshi Uchihira, Hirokazu Ishimatsu, Keisuke Inoue
PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET 2016): TECHNOLOGY MANAGEMENT FOR SOCIAL INNOVATION, 1195-1201, 2016
Service innovation structure analysis for recognizing opportunities and difficulties of M2M businesses
Naoshi Uchihira, Hirokazu Ishimatsu, Shigeaki Sakurai, Yoshiteru Kageyama, Yuji Kakutani, Kazunori Mizushima, Hiroshi Naruse, Susumu Yoneda
Technology in Society, 43, 173-182, 2015
Future direction and roadmap of concurrent system technology
Naoshi Uchihira
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E90A, 11, 2443-2448, 2007
Scenario-based hypersequential programming
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
International Journal of Parallel Programming, 28, 2, 155-177, 2000
Hypersequential programming - A new way to develop concurrent programs
N Uchihira, S Honiden, T Seki
IEEE CONCURRENCY, 5, 3, 44-&, 1997
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
Naoshi Uchihira, Shinichi Honiden
Journal of Systems and Software, 33, 3, 207-221, 1996
Service Design Based on Customer Value Classification in IoT Systems
Sadaaki Shinjo, Naoshi Uchihira
Advances in the Human Side of Service Engineering, 493-502, 2021
Dialogue Tool for Value Creation in Digital Transformation: Roadmapping for Machine Learning Applications
Naoshi Uchihira
Advances in the Human Side of Service Engineering, 518-526, 2021
Exploitation Pattern for Machine Learning Systems
Satoshi Okuda, Gaku Nemoto, Toshiki Mori, Norihiko Ishitani, Kazuhiko Nishimura, Naoshi Uchihira
2021 36th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC), -, 2021
Dynamic Capability in Business Ecosystem: How to Obtain New Capabilities from Existing Environment
Kenichiro Banka, Naoshi Uchihira
2021 IEEE Technology & Engineering Management Conference - Europe (TEMSCON-EUR), -, 2021
Prediction of Arrival Time of Vessels Considering Future Weather Conditions
Takahiro Ogura, Teppei Inoue, Naoshi Uchihira
Applied Sciences, 11, 10, 4410-4410, 2021
シニア技術者から中堅層への経験知の伝え方の考察 ─ IT 企業A 社SE 部門における知の継承の課題と研究方法─
細野一雄, 内平直志, 遠山亮子
ナレッジ・マネジメント研究, 18, 17-30, 2020
Smart SE: Smart Systems and Services Innovative Professional Education Program
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 1113-1114, 2020
Model of Tacit Knowledge Transfer in Lean Management Implementation in an Organization
Norani Nordin, Roshidah Mohamed, Naoshi Uchihira
Lean Manufacturing and Six Sigma - Behind the Mask, -, 2020
Understanding Cross-Cultural Team Building of Remote Multinational Offshore R&D Teams: Case study of OA Equipment Manufacturing and Vehicle Manufacturing
Yang Wang, Takata Yuizono, Naoshi Uchihira
The 14th International Conference on Knowledge, Information and Creativity Support Systems (KICSS2019), -, 2019
Requirement engineering in knowledge-intensive manufacturing shop floors: A knowledge-based approach
Le Anh Hoang, Naoshi Uchihira
The 14th International Conference on Knowledge, Information and Creativity Support Systems (KICSS2019), -, 2019
Innovation Design Method for the Internet of Things: Requirements and Perspectives
Naoshi Uchihira
2019 Portland International Conference on Management of Engineering and Technology (PICMET), 1-8, 2019
スクラム・ベースド・ラーニングにおける参加者の意識行動変容と知識創造に対する気づき分析
酒瀬川泰孝, 中鉢欣秀, 西原(廣瀬)文乃, 植木真理子, 内平 直志
ナレッジ・マネジメント研究年報, 17, 17-49, 2019
事業部門長による組織知創造と知識リーダーシップの関係性の探索 ―IT企業の事業部門ナレッジマネジメントの事例研究―
細野一雄, 内平直志
ナレッジ・マネジメント研究年報, 17, -, 2019
Information Supervisory Control of Human Behavior - A Formal Model and Simulation
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, 2025-2030, 2019
Competencies of Bridge Managers for Facilitating Global R&D Projects Toward Their Competency Development Framework
Nawarerk Chalarak, Yasuo Sasaki, Naoshi Uchihira
2019 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET), -, 2019
UX-centric Design Method for Open Innovation
Tatsuya Suganuma, Naoshi Uchihira
2019 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET), -, 2019
Systems intelligence and organizational knowledge creation
Yasuo Sasaki, Jader Zelaya, Naoshi Uchihira
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings, -, 2018
A management model for making full use of personal ability in offshore RD: A case study of a company manufacturing office automation equipment
Yang Wang, Naoshi Uchihira, Yasushi Ogawa
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings, -, 2018
An IT service development model based on a service ecosystem: Case studies of cloud service companies
Kenichiro Banka, Naoshi Uchihira
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings, -, 2018
作業スタッフの行動ログを用いた時空間状況認識の性能向上について
早貸 舜, 平石邦彦, 内平直志
信学技報, 117, 506, 67-72, 2018
Information supervisory control of human behavior - Experiments and formal modeling
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 Asian Control Conference, ASCC 2017, 2018-, 1351-1356, 2018
Model-based approach to analysis of human behavior with applications to nursing and caregiving services
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017, 2017-, 1-4, 2017
Continual PM self-growth model: Utilizing the PM competency evaluation sheet
Yumiko Miyake, Naoshi Uchihira
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings, 2017-, 1-7, 2017
The role of bridge managers in global R & D projects
Naoshi Uchihira, Nawarerk Chalarak, Srigowtham Arunagiri
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings, 2017-, 1-6, 2017
Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
IFAC-PapersOnLine, 50, 1, 4582-4587, 2017
Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
Proc. of the 20th IFAC World Congress, 4668-4673, 2017
Matching potential customer needs to technology seeds: Using a virtual catalog to extract customer needs in B2B manufacturing companies
Tetsuro Sorabayashi, Yasuo Sasaki, Naoshi Uchihira
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings, 2493-2498, 2017
M&Aにおける知の変容要因:─国際的EMS企業の事例研究─
瀬川 良久, 内平 直志, 井川 康夫
開発工学, 37, 1, 41-47, 2017
情報システム開発におけるPMの引継ぎ能力モデル
三宅 由美子, 内平 直志
国際P2M学会誌, 11, 2, 47-61, 2017
`Game Theoretical Modeling of Information Supervisory Control
Sasaki, Yasuo, Uchihira, Naoshi
2017 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2017-January, 2285-2290, 2017
Innovation design and its verification & validation in the era of the Internet of Things
Naoshi Uchihira
2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016, -, 2016
ケアスタッフ連携スケジューリング問題 ~ 通信手段による比較とソルバーによる最適解 ~
平石邦彦, 崔舜星, 小林孝一, 佐々木康朗, 内平直志
信学技報, 115, 480, 91-96, 2016
突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果
崔舜星, 平石邦彦, 内平直志
信学技報, 115, 480, 91-96, 2016
Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 790-795, 2016
P2M視点によるソフトウェア開発プロジェクトの引継ぎに関する研究
三宅 由美子, 内平 直志
国際P2M学会誌, 11, 1, 122-135, 2016
Innovative Solution through Bifocal Thinking: A Case Study of Tacit Knowledge Creation to Optimize Contradictory Performances between Designs and Production Engineering
Yoshihisa Segawa, Naoshi Uchihira, Yasuo Ikawa
PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET 2016): TECHNOLOGY MANAGEMENT FOR SOCIAL INNOVATION, 2869-2875, 2016
The Evolutionary Process of IT Concept Words: A Case Study on Bigdata
Rieko Kataoka, Naoshi Uchihira, Yasuo Ikawa
PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET 2016): TECHNOLOGY MANAGEMENT FOR SOCIAL INNOVATION, 1983-1992, 2016
Innovation Design and Its Verification & Validation in the Era of the Internet of Things
Naoshi Uchihira
2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS, 1-4, 2016
How can we get "lessons learned" from real cases?
Kenji Hisazumi, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira
PROCEEDINGS OF THE 2016 WORKSHOP ON EMBEDDED AND CYBER-PHYSICAL SYSTEMS EDUCATION (WESE), 5:1-5:6-, 2016
音声つぶやきシステムのリアルタイム状況把握に対する効果について
梶原大起, 黒田賢, 宮本貴拓, 平石邦彦, 小林孝一, 崔舜星, 内平直志
サービス学会第3回国内大会予稿集, 290-293, 2015
Service Modeling Method for Machine-to-Machine Businesses to Overcome Difficulties
Naoshi Uchihira, Hirokazu Ishimatsu
PICMET '15 PORTLAND INTERNATIONAL CENTER FOR MANAGEMENT OF ENGINEERING AND TECHNOLOGY, 1596-1602, 2015
The Evolutionary Process from a Technology Concept to a Service Concept: A Cloud Computing Case Study
Rieko Kataoka, Yasuo Ikawa, Naoshi Uchihira
2014 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING & TECHNOLOGY (PICMET), 1855-1865, 2014
Service Innovation Structure Analysis for Recognizing Opportunities and Difficulties of M2M Businesses
Naoshi Uchihira, Hirokazu Ishimatsu, Yoshiki Kageyama, Yuji Kakutani, Kazunori Mizushima, Hiroshi Naruse, Shigeaki Sakurai, Susumu Yoneda
2014 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING & TECHNOLOGY (PICMET), 777-783, 2014
Behavior Modeling in Physical and Adaptive Intelligent Services
Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
2014 IEEE INTERNATIONAL INTER-DISCIPLINARY CONFERENCE ON COGNITIVE METHODS IN SITUATION AWARENESS AND DECISION SUPPORT (COGSIMA), 244-249, 2014
Discourse Analysis of Voice-Based Computer-Mediated Communication in Distributed Work
T. Chino, K. Torii, N. Uchihira, K. Hiraishi, Y. Hirabayashi, T. Sugihara
5th Int’l Conf. on Applied Human Factors and Ergonomics (AHFE) 2014, 3423-3434, 2014
センサデータと業務知識からのトピックモデルを用いた看護業務行動の推定
村上 知子, 鳥居 健太郎, 長 健太, 内平 直志
人工知能学会論文誌, 29, 5, 427-435, 2014
A pilot study in using a smart voice messaging system to create a reflection-in-caregiving workshop
Taro Sugihara, Yuji Hirabayashi, Kentaro Torii, Tetsuro Chino, Naoshi Uchihira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8515, 3, 387-394, 2014
Knowledge transfer in product-based service design
Naoshi Uchihira
Progressive Trends in Knowledge and System-Based Science for Service Innovation, 258-272, 2013
音声つぶやきによる介護サービスの可視化と改善―見える化して改善を促すためのツールの提案と評価―
平林裕治, 内平直志, 鳥居健太郎
デジタルプラクティス, 4, 3, 212-217, 2013
イベントログに基づいた行動型サービスの分析 (システム数理と応用)
甚田 貴徳, 青戸 渉, 宮崎 晃和, 崔 舜星, 小林 孝一, 平石 邦彦, 内平 直志
信学技報, 113, 121, 1-8, 2013
Speech interaction analysis on collaborative work at an elderly care facility
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
International Journal of Sociotechnology and Knowledge Development, 5, 2, 18-33, 2013
Work and speech interactions among staff at an elderly care facility
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
IFIP Advances in Information and Communication Technology, 407, 35-45, 2013
仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
崔 舜星, 平石 邦彦, 内平 直志, 鳥居 健太郎, 田中 俊明, 平林 裕治
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 111, 453, 17-22, 2012
Modeling of Complex Processes in Nursing and Caregiving Services
Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka
PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 1449-1454, 2012
看護・介護サービスにおける複雑なプロセスのモデル化にむけて (システム数理と応用)
平石 邦彦, 崔 舜星, 鳥居 健太郎, 内平 直志, 田中 俊明
電子情報通信学会技術研究報告 : 信学技報, 111, 294, 35-40, 2011
1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
鳥居 健太郎, 内平 直志, 田中 俊明, 平石 邦彦, 平林 裕治
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2011, 64-65, 2011
Design for service innovation: A methodology for designing service as a business for manufacturing companies
Sun K. Kim, Kosuke Ishii, Kurt A. Beiter, Naoshi Uchihira, Yuji Kyoya
International Journal of Services, Technology and Management, 13, 1-2, 40-62, 2010
Analysis and design methodology for recognizing opportunities and difficulties for product-based services
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
Journal of Information Processing, 16, 13-26, 2008
Analysis and design methodology for product-based services
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4914, 13-+, 2008
Analysis and design methodology for recognizing opportunities and difficulties for product-based services
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
PICMET '07: PORTLAND INTERNATIONAL CENTER FOR MANAGEMENT OF ENGINEERING AND TECHNOLOGY, VOLS 1-6, PROCEEDINGS, 2755-2762, 2007
Special section on concurrent/hybrid systems: Theory and applications
Atsushi Ohta, Haruo Hasegawa, Susumu Hashizume, Kunihiko Hiraishi, Shiro Masuda, Morikazu Nakamura, Hiroto Tanaka, Naoshi Uchihira, Shingo Yamaguchi, Satoshi Yamane
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E89-A, 11, 3165-, 2006
An optimization method for investment and maintenance planning of power plants under uncertain environments
K Handa, S Matsumoto, M Nakamoto, N Uchihira
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A, 6, 1481-1486, 2005
Making reactive systems highly reliable by hypersequential programming
N Uchihira
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A, 4, 941-947, 2005
不確実な電力事業環境下における発電設備投資計画法
武田 朗子, 内平 直志, 中本 政志, 松本 茂
日本経営工学会論文誌, 56, 5, 366-376, 2005
Highly reliable concurrent systems by hypersequential programming
N Uchihira
SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2779-2784, 2004
Special Section on Concurrent System Technology
Naoshi Uchihira
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E86-A, 2721-, 2003
Building test cases for use in Hypersequential Programming
C Rudram, P Croll, N Uchihira
INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 205-209, 1999
Building test cases for use in Hypersequential Programming
C Rudram, P Croll, N Uchihira
INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 205-209, 1999
Engineering safe, real-time distributed control systems
P Croll, C Rudram, C Chambers, N Uchihira
24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1, 445-452, 1998
How to make concurrent programs highly reliable - More than state space analysis
N Uchihira
1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998-March, 16-23, 1998
三段階ネット指向ソフトウェア設計法
内平 直志, 本位田真一
情報処理学会論文誌, 38, 1, 101-113, 1997
Scenario-based hypersequential programming: Formulation of parallelization
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1336, 267-280, 1997
Scenario-based hypersequential programming: Concept and example
N Uchihira, H Kawata
SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 277-283, 1997
Hyperseaquential Programming-a novel padigm for concurrent programming
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
Software Engineering for Parallel and Distributed Systems 1996, 62-73, 1996
A high-level Petri net for accurate modeling of reactive and concurrent systems
Naoshi Uchihira, Shinichi Honiden
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E79-A, 1797-1808, 1996
MENDELS ZONE: A parallel program development system based on formal specifications
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
Information and Software Technology, 38, 3, 181-189, 1996
Practical program validation for plant control systems using SFC and temporal logic
H Kawata, N Uchihira
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 4, 3186-3191, 1996
PRACTICAL PROGRAM VALIDATION FOR STATE-BASED REACTIVE CONCURRENT SYSTEMS - HARMONIZATION OF SIMULATION AND VERIFICATION
N UCHIHIRA, H KAWATA
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E78A, 11, 1487-1497, 1995
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
N. Uchihira, S. Honiden
Proceedings of the Annual Hawaii International Conference on System Sciences, 2, 359-368, 1995
PQL - MODAL LOGIC FOR COMPOSITIONAL VERIFICATION OF CONCURRENT PROGRAMS
N UCHIHIRA
SYSTEMS AND COMPUTERS IN JAPAN, 25, 1, 1-16, 1994
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems
Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
IEEE Transactions on Software Engineering, 20, 11, 849-867, 1994
NET-ORIENTED ANALYSIS AND DESIGN
S HONIDEN, N UCHIHIRA
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E75A, 10, 1317-1325, 1992
A PETRI-NET-BASED PROGRAMMING ENVIRONMENT AND ITS DESIGN METHODOLOGY FOR COOPERATING DISCRETE EVENT SYSTEMS
N UCHIHIRA, M ARAMI, S HONIDEN
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E75A, 10, 1335-1347, 1992
COMPOSITIONAL SYNTHESIS FOR COOPERATING DISCRETE EVENT SYSTEMS FROM MODULAR TEMPORAL LOGIC SPECIFICATIONS
N UCHIHIRA
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E75A, 3, 380-391, 1992
様相論理による並行プログラムの積重ね式検証法
内平 直志
電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ = The transactions of the Institute of Electronics, Information and Communication Engineers, 75, 2, 76-87, 1992
代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
本位田真一, 大須賀 昭彦, 内平 直志
情報処理学会論文誌, 33, 2, 173-182, 1992
An integration environment to put formal specifications into practical use in real-time systems
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design, 102-109, 1991
AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO PROTOTYPING PROCESS IN PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS
S HONIDEN, N UCHIHIRA, K ITOH
LECTURE NOTES IN COMPUTER SCIENCE, 550, 189-209, 1991
AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO PROTOTYPING PROCESS IN PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS
S HONIDEN, N UCHIHIRA, K ITOH
ESEC 91 : 3RD EUROPEAN SOFTWARE ENGINEERING CONFERENCE, 550, 189-209, 1991
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic
Naoshi Uchihira, Shinichi Honiden
IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, E-23, 12, 2001-2010, 1990
An application of structural modeling and automated reasoning to real-time systems design
Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai
Real-Time Systems, 1, 4, 313-331, 1990
Synthesis of concurrent programs: Automated reasoning complements software reuse
Naoshi Uchihira, Hideji Kawata, Kazunori Matsumoto, Mikako Ito, Shinichi Honiden
Proceedings of the Hawaii International Conference on System Science, 2, 64-73, 1990
Application of structural modeling and automated reasoning to concurrent program design
S. Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai
Proceedings of the Hawaii International Conference on System Science, 2, 134-141, 1989
MENDELS - CONCURRENT PROGRAM SYNTHESIS SYSTEM USING TEMPORAL LOGIC
N UCHIHIRA, K MATSUMOTO, S HONIDEN, H NAKAMURA
LECTURE NOTES IN COMPUTER SCIENCE, 315, 50-68, 1988
CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.
Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumotot, Shinichi Honiden
Proceedings - IEEE Computer Society's International Computer Software & Applications Conference, 455-464, 1987
MENDELS:Concurrent Program Synthesis with Reusable Components using Temporal Logic
Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumoto, Shinichi Honiden
IEEE Proc. of COMPSAC'87, 50-68, 1987
SOFTWARE PROTOTYPING WITH REUSABLE COMPONENTS.
Shinichi Honiden, Naomichi Sueda, Akira Hoshi, Naoshi Uchihira, Kazuo Mikame
Journal of information processing, 9, 123-129, 1986
推論型システム記述言語MENDEL
本位田真一, 内平 直志, 大須賀 昭彦, 粕谷利明
情報処理学会論文誌, 27, 2, 219-227, 1986
MENDEL: PROLOG BASED CONCURRENT OBJECT ORIENTED LANGUAGE.
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
Proceedings - IEEE Computer Society International Conference, 230-234, 1986
SOFTWARE PROTOTYPING WITH MENDEL
S HONIDEN, N UCHIHIRA, T KASUYA
LECTURE NOTES IN COMPUTER SCIENCE, 221, 108-116, 1986