PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings Oct 2018
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings Oct 2018
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings Oct 2018
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings Oct 2018
Journal of International Association of P2M 13(1) 121-141 2018
In the project management knowledge, there are the easy one to make to explicit knowledge and the difficult one. For example, making the knowledge of quantitative management process to explicit knowledge is relatively easy. However, as for the pre...
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings 2017-January 1-7 Nov 2017
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings 2017-January 1-6 Nov 2017
2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017 2017-January 2285-2290 Nov 2017 [Refereed]
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings 1195-1201 Jan 2017
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings 2493-2498 Jan 2017
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings 2869-2875 Jan 2017
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings 1983-1992 Jan 2017
<p>This paper analyzes initial objectives and latest status of mergers and acquisitions (M&A) in which global Electronics Manufacturing Service (EMS) firms have acquired plants from Japanese firms in the early 2000's. The results indicate that fir...
Journal of International Association of P2M 12(1) 36-54 2017
Regardless of industry type, project management is one of the skills required in a lot of enterprises. The hierarchical organizations have a few opportunities to study the project management. In the graduate school's PBL (Project Based Learning) a...
Journal of International Association of P2M 11(2) 47-61 2017
Software developed in an external project is transferred to customer. In this study, the interviews about the transfer were conducted to the eight project managers (PM) belonging to large companies which are entrusted the information system develo...
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016 5:1-5:6 Oct 2016 [Refereed]
Journal of International Association of P2M 11(1) 122-135 2016
Software developed in the external project is transferred to the operation team through the customer. Value of the software is found to use by customer in the operation phase. The software development project should keep in mind that the values cr...
Transactions of the Japanese Society for Artificial Intelligence 29(5) 427-435 2014
Thanks to the popularization of information and communication technology, the nurses work using mobile devices to communicate with co-workers and record nursing care at hospital. In this paper, aiming to facilitate nursing care, we propose a metho...
Universal Access in Human-Computer Interaction. Aging and Assistive Environments - 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III 387-394 2014 [Refereed]
Human Work Interaction Design. Work Analysis and HCI - Third IFIP WG 13.6 Working Conference, HWID 2012, Copenhagen, Denmark, December 5-6, 2012, Revised Selected Papers 35-45 2013 [Refereed]
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012 1449-1454 2012 [Refereed]
IEICE Transactions 88-A(6) 1481-1486 Jan 2005 [Refereed]
Investment planning for power plants involves making a long-term plan covering various facility investments, such as the construction of a new power plant or the replacement of an old plant with a new one, under uncertain environments. In this pap...
IEICE Transactions 88-A(4) 941-947 Jan 2005 [Refereed]
Hypersequential programming is a new method of concurrent-program development in which the original concurrent program is first serialized, then tested and debugged as a set of sequential programs (scenarios), and finally restored into the target ...
Journal of Japan Industrial Management Association 56(5) 366-376 2005
Investment planning is the selection of low-cost generation plants to meet customer demands over a multi-decade time horizon. In uncertain business environments, it is important to make management decisions considering not only the optimality, but...
Proceedings of the SICE Annual Conference 665-670 Dec 2004
Hypersequential programming is a new way of concurrent-program development, in which the original concurrent program is first serialized, then tested and debugged as a set of sequential programs (scenarios), and finally restored into the target co...
International Journal of Parallel Programming 28(2) 155-157 Jan 2000 [Refereed]
Hypersequential programming is a new paradigm of concurrent programming. The original concurrent program is first serialized, then the sequential version is tested and debugged, and finally the target concurrent program is synthesized by paralleli...
International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999 205-209 Jan 1999 [Refereed]
A novel concurrent programming paradigm called 'Hypersequential Programming' (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for ...
1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan 1998-March 16-23 Jan 1998 [Refereed]
Hypersequential programming can produce a highly reliable concurrent program, by precluding the injection of harmful nondeterminism. This method serializes, the program to remove all types of nondeterminism (intended, harmful, and persistent). The...
Transactions of Information Processing Society of Japan 38(1) 101-113 Jan 1997
Petri net is a formal, graphical, and executable language to describe concurrent Systems, which is used in many software design methods. However, most design methods use a Petri net as an extended state transition system and do not make the best u...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1336 267-280 Jan 1997
International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings 277-283 Jan 1997
Hypersequential programming is a new paradigm of concurrent programming in which the original concurrent program is first serialized, then tested and debugged as a sequential program, and finally restored into the target concurrent program by para...
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics 4 3186-3191 Dec 1996
This paper proposes SAVE/SFC (Simulation and Verification Environment for SFC), which supports validation of sequence control programs written by SFC for chemical plant control systems. SAVE/SFC has four characteristic features: (1) automatic gene...
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E79-A 1797-1808 Jan 1996
This paper concerns a Petri-net-based model for describing reactive and concurrent systems. Although many high-level Petri nets have been proposed, they are insufficiently practical to describe reactive and concurrent systems in the detail modelin...
Journal of Systems and Software 33 207-221 Jan 1996
In this paper, we examine "program adjustment", a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite st...
Information and Software Technology 38 181-189 Jan 1996
MENDELS ZONE is a formal specification-based practical parallel program development system on an MIMD machine with 64 processors. It has been applied to the several practical applications: one such application is described in formal specifications...
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E78-A 1487-1497 Nov 1995
This paper proposes a practical method of program validation for state-based reactive concurrent systems. The proposed method is of particular relevance to plant control systems. Plant control systems can be represented by extended state transitio...
IEEE Transactions on Software Engineering 20 849-867 Jan 1994
This paper describes an application of artificial intelligence technology to the implementation of a rapid prototyping method in Object-Oriented Performance Design (OOPD) for real-time systems. OOPD consists of two prototyping phases for real-time...
The temporal logic model checking method is very useful for verification of concurrent programs that can be expressed by finite state transition systems. However, a major drawback to using this method is that as the scale of the programs increases...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 550 LNCS 189-209 Jan 1991
This paper presents an application of structural modeling and automated reasoning as a software development environment for real-time systems. This application satisfies two major requirements for such an environment: (1) to synthesize an absolute...
Proceedings of the Hawaii International Conference on System Science 2 64-73 Jan 1990
The authors describe a concurrent program synthesis system (Mendels Zone) consisting of reusable software using temporal logic and Petri nets. The concurrent program consists of nonsynchronization parts (called body parts) and synchronization part...
S. Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai
Proceedings of the Hawaii International Conference on System Science 2 134-141 Dec 1989
An application of structual modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 315 LNCS 50-68 Jan 1988
Proceedings - IEEE Computer Society's International Computer Software & Applications Conference 455-464 Dec 1987
A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components fr...
Journal of information processing 9 123-129 Dec 1986
Recently, a prototyping method has attracted attention as a software specification method. This paper proposes a prototyping method with reusable components based on knowledge engineering. This method provides support to even non-expert personnel ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 221 LNCS 108-116 Jan 1986
Proceedings - IEEE Computer Society International Conference 230-234 Jan 1986
The concurrent object-oriented language MENDEL (MEta iNferential system DEscription Language), which is based on Prolog, is described. The characteristics of MENDEL include a meta-inference mechanism, object concurrency, and propositional temporal...
The journal of science policy and research management 28(3) 251-253 Feb 2014
In this opening article, the authors describe the background of this special issue. Service innovations are now required for both economic growth and social well-being improvement. The aim of the special issue is to encourage new perspectives and ...
Proceedings of International Association of P2M 2019
Despite the widely recognized importance and the standardized process of project & program risk management, there are still difficulties in implementing and executing the process in practical situations. It is assumed that an underlying cause woul...
Proceedings of International Association of P2M 2018
In the project management knowledge, there are the easy one to make to explicit knowledge and the difficult one. For example, making the knowledge of quantitative management process to explicit knowledge is relatively easy. However, as for the pre...