Updated on 2025/11/13

写真a

 
HAYASHI SHINPEI
 
Organization
School of Computing Professor
Title
Professor
Homepage
https://se.comp.isct.ac.jp/~hayashi/
Profile

He is a full professor at the School of Computing, Institute of Science Tokyo, where he leads the Software Evolution Group within the Department of Computer Science. He received his B.Eng. in Information Engineering from Hokkaido University in 2004, followed by M.Eng. and Dr.Eng. degrees in Computer Science from Tokyo Institute of Technology in 2006 and 2008, respectively. His research interests focus on software evolution and software development environments. He is a member of IPSJ, IEICE, JSSST, IEEE-CS, and ACM.

External link

Degree

  • Doctor of Engineering ( 2008.12   Tokyo Institute of Technology )

Research Interests

  • Software Engineering

Research Areas

  • Informatics / Software

Education

  • Tokyo Institute of Technology   Graduate School of Information Science and Engineering   Department of Computer Science

    2006.4 - 2008.12

    　 More details

    Country： Japan

    researchmap

  • Tokyo Institute of Technology   Graduate School of Information Science and Engineering   Department of Computer Science

    2004.4 - 2006.3

    　 More details

    Country： Japan

    researchmap

  • Hokkaido University   School of Engineering   Department of Information Engineering

    2000.4 - 2004.3

    　 More details

    Country： Japan

    researchmap

Research History

  • Institute of Science Tokyo   School of Computing   Professor

    2024.10

    　 More details

    Country：Japan

    researchmap

  • Tokyo Institute of Technology   School of Computing   Professor

    2024.6 - 2024.9

    　 More details

  • Tokyo Institute of Technology   School of Computing   Associate Professor

    2018.4 - 2024.5

    　 More details

  • Tokyo Institute of Technology   School of Computing   Assistant Professor

    2016.4 - 2018.3

    　 More details

  • Tokyo Institute of Technology   Department of Computer Science, Graduate school of Information Science and Engineering   Assistant Professor

    2009.1 - 2016.3

    　 More details

  • Japan Society for the Promotion and Science   Research Fellow

    2006.4 - 2008.3

    　 More details

▼display all

Professional Memberships

Papers

▼display all

MISC

  • Cross-layer Feature Location

    58 ( 4 )   885 - 897   2017.4

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • ゴール指向要求分析法における不適切なゴール詳細化の検出 (ソフトウェアサイエンス)

    淺野 圭亮, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116 ( 512 )   127 - 132   2017.3

    　More details

    Language：Japanese   Publisher：電子情報通信学会  

    CiNii Books

    researchmap

  • イシュー上の議論構造の可視化とその理解支援ツール (ソフトウェアサイエンス)

    大内 裕晃, 林 晋平, 善明 晃由, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116 ( 512 )   49 - 54   2017.3

    　More details

    Language：Japanese   Publisher：電子情報通信学会  

    CiNii Books

    researchmap

  • Investigation Strategies and Relevance Metric on Dynamic Feature Location

    116 ( 127 )   169 - 174   2016.7

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Towards Analyzing Rewriting of Revision History

    32   3p   2015.9

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • A Prototype Tool for Logging Operations on Distributed Version Repositories

    115 ( 154 )   45 - 50   2015.7

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Toward Prioritizing Code Smell Detection Results for Prefactoring (知能ソフトウェア工学)

    セーリム ナッタウット, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115 ( 154 )   33 - 38   2015.7

    　More details

    Language：English   Publisher：電子情報通信学会  

    CiNii Books

    researchmap

  • Detecting Problems of an As-Is Model Using Metrics by an Integrated Goal-Oriented Method

    115 ( 154 )   155 - 160   2015.7

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Eliciting Security Functional Requirements Using Security Targets

    IPSJ SIG Notes   2015 ( 17 )   1 - 8   2015.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    Detecting and mitigating security threats of information systems in design phase helps to make them secure. However, the more threats we try to detect and mitigate, the more cost and knowledge of security threats are required. In this paper, we present a technique to detect security threats, show negative scenarios, mitigated scenarios and their security functions with comparing normal scenarios of a business process and the patterns created from knowledge of security. The scenarios of a business process are described with sequence diagrams. The knowledge is extracted from the documents called Security Target compliant to the international standard Common Criteria. We show the usefulness of our approach with several case studies.

    CiNii Books

    researchmap

  • Checking the Consisteny between Requirements Specification Documents and Regulations

    IPSJ SIG Notes   2015 ( 18 )   1 - 8   2015.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    When developers check the consistency between requirements specification documents and regulations by Model checking, they need state transition models of the documents and logic specifications of regulations. Moreover, they have to know which words in documents correspond to words in applicable regulations in respect of meaning so that they create logic specifications. In this paper, we propose a technique to reason the meaning of words in requirements specification documents by using co-occurrence restrictions in case frames and to create state transition models based on the reasoned meaning and logic specifications of applicable regulations. These specifications are created from these reasoned meaning and logic expressions which contain case frames as factors and express regulations. Our proposal is evaluated with a case study.

    CiNii Books

    researchmap

  • Detecting Bad Smells in Edit History of Source Code

    IPSJ SIG Notes   2015 ( 9 )   1 - 8   2015.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    History refactorings that improve the understandability and usability of a history of source code have been proposed. However, the proposed technique has not define where and how to refactor a history. We define bad smells in history and metrics for detecting them. Identifying the relationship between editing operations in a history by using the proposed metrics leads to automated detection of bad smells in history. We confirmed that our detection technique is useful due to its high accuracy.

    CiNii Books

    researchmap

  • 編集操作履歴の階層的なグループ化を用いたポリシー準拠のコミットの構成支援

    松田 淳平, 林 晋平, 佐伯 元司

    ソフトウェアエンジニアリングシンポジウム2014論文集   2014   76 - 84   2014.8

    　More details

    Language：Japanese  

    researchmap

  • Supporting Prefactoring Using Feature Location Results

    KOMATSUDA Takuya, HAYASHI Shinpei, SAEKI Motoshi

    Technical report of IEICE. SS   114 ( 127 )   109 - 114   2014.7

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    In order to find the opportunities for applying refactoring, several techniques for detecting bad smells in source code have been proposed. However, existing smell detectors are not suitable for developers who are trying to implement a specific feature because the detectors detect too many smells from the whole source code. In this paper, we propose a technique to detect bad smells specific to the focused feature for supporting prefactoring to improve the extendibility of the program before implementing the feature. In order to estimate the effect of the feature introduction before implementing it, dummy code imitating the deterioration of the design quality is inserted to the modules obtained using the result of a feature location technique. Comparing the detected smells in source code before and after inserting dummy code, we can specify which smells are strongly related to the target feature. Several preliminary evaluations indicated the effectiveness of our technique.

    CiNii Books

    researchmap

  • Supporting Prefactoring Using Feature Location Results

    2014 ( 18 )   1 - 6   2014.7

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • 産学連携によるソフトウェア進化パターン収集の試み

    丸山勝久, 沢田篤史, 小林隆志, 大森隆行, 林晋平, 飯田元, 吉田則裕, 角田雅照, 岩政幹人, 今井健男, 遠藤侑介, 村田由香里, 位野木万里, 白石崇, 長岡武志, 林千博, 吉村健太郎, 大島敬志, 三部良太, 福地豊

    研究報告組込みシステム（EMB）   2014 ( 1 )   1 - 8   2014.5

    　More details

    Language：Japanese   Publisher：一般社団法人情報処理学会  

    ソフトウェア進化を実践する上での指針や慣例がソフトウェア進化パターンである．我々は，Demeyer らのオブジェクト指向リエンジニアリングパターンを補完することを目的に，産学連携でパターンの収集を試みた．本稿では，その結果として，ソフトウェアプロダクトライン，コードクローン，ソフトウェア変更支援，プログラム理解支援，リファクタリングプロセスに関する進化パターンを提案する．

    CiNii Books

    researchmap

  • A Feature Location Technique Using the Dependency between Concepts in a Feature

    IPSJ SIG Notes   2014 ( 17 )   1 - 8   2014.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    Since existing feature location techniques lack the relationship between concepts in a feature, it is hard to locate the concepts in source code of high accuracy. This paper proposes a technique to locate the concepts in a feature using the dependency between the concepts. We apply an existing concept location technique to the description for each concept and obtain the list of modules. Some of modules which do not match the dependency between concepts are filtered out, and we can obtain more precise list of modules. The experiment shows the effectiveness of our technique.

    CiNii Books

    researchmap

  • Analyzing Requirements Sentences for Checking Use Case Description

    NAKAMURA Ryotaro, HAYASHI Shinpei, SAEKI Motoshi

    Technical report of IEICE. SS   113 ( 489 )   25 - 30   2014.3

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    Since use case descriptions written in a natural language are informal, it is difficult to analyze them automatically. To check whether descriptions satisfy their requirements by a model checker, this paper proposes a method to generate a case frame from a sentence in descriptions. First, we extract a verb from a sentence and find case frames associated with the verb from a dictionary. Then, we select the most adaptable one based on the analysis results of the sentence. We have implemented a supporting tool for the method. A case study for applying the tool and for translating the obtained case frames into a state transition model shows the feasibility of the method.

    CiNii Books

    researchmap

  • Quality Properties of Goals in an Attributed Goal Graph

    55 ( 2 )   893 - 908   2014.2

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • An Application of an Incremental Approach for Feature Location and Identification in Source Code

    KAZATO Hiroshi, HAYASHI Shinpei, KOBAYASHI Takashi, OSHIMA Tsuyoshi, MIYATA Shunsuke, NATSUKAWA Katsuyuki, HOSHINO Takashi, SAEKI Motoshi

    Technical report of IEICE. SS   113 ( 422 )   119 - 124   2014.1

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    Feature location (FL) is an important activity for rinding correspondence between features and modules in source code. However, recognizing features correctly is an inevitable prerequisite for existing FL techniques; otherwise the FL would end up with insufficient or incorrect modules for the features. In this paper, we propose an incremental technique for locating and identifying features by extending an existing dynamic FL technique based on formal concept analysis. We have applied the technique to an example web application and showed that the suggestions from our technique were useful for identifying alternative scenarios when the dynamic FL technique only covers its successful scenarios.

    CiNii Books

    researchmap

  • Fuzzy Constraint Satisfaction Applied to Class Responsibility Assignment Problems

    YANAGIDA Takuto, HAYASHI Shinpei, SAEKI Motoshi, MIMURA Hidenori

    Technical report of IEICE. SS   113 ( 159 )   13 - 18   2013.7

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    The authors formulate the class responsibility assignment (CRA) problem as the fuzzy constraint satisfaction problem (FCSP) to automate CRA, and show the results of automatic assignments of examples. Responsibilities are contracts or obligations of objects that they should assume; by aligning them to classes appropriately, quality designs realize. Typical conditions of a desirable design are having a low coupling between highly cohesive classes. However, because of a trade-off among such conditions, solutions that satisfy the conditions moderately are desired, and computer assistance is needed. The authors represent such conditions as fuzzy constraints, and formulate CRA as FCSP. That enables to apply common algorithms that solve FCSP to the problem, and to derive solution representing a CRA.

    CiNii Books

    researchmap

  • An Iterative Approach for Improving Feature Location and Identification

    KAZATO Hiroshi, HAYASHI Shinpei, KOBAYASHI Takashi, OSHIMA Tsuyoshi, MIYATA Shunsuke, NATSUKAWA Katsuyuki, HOSHINO Takashi, SAEKI Motoshi

    Technical report of IEICE. KBSE   113 ( 160 )   55 - 60   2013.7

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    Feature location (FL) is an activity of developers which identifies correspondence between software features and program elements in source code. Existing FL techniques assumes that developers adequately recognize features to be located and thus are not fully effective when their recognition is ambiguous. This paper proposes an iterative technique for refining both location and definition of features. Using a result of FL, the technique helps developers to update their recognition of features and improve the input of FL in the next iteration. An application example indicates the effectiveness of the approach.

    CiNii Books

    researchmap

  • Detection of Security Threats Using Patterns of Sequence Diagrams

    ABE Tatsuya, HAYASHI Shinpei, SAEKI Motoshi

    Technical report of IEICE. SS   113 ( 24 )   1 - 6   2013.5

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    Detecting security threats of information system in design phase helps to develop secure systems. However, the more threats we try to detect, the more cost and knowledge of security threats is required. In this paper, we present a technique to detect security threats and show negative scenarios with comparing normal scenarios of a business process and the threat patterns created from knowledge of security. The scenarios of a business process are described with sequence diagrams. The knowledge is extracted from the documents called Security Target compliant to the international standard Common Criteria. We show the usefulness of our approach with several case studies.

    CiNii Books

    researchmap

  • Using Multi-Dimensional Goal Graphs for Clarifying Requirements Structure

    INOUE Wataru, HAYASHI Shinpei, UGAI Takanori, SAEKI Motoshi

    Technical report of IEICE. KBSE   112 ( 496 )   25 - 30   2013.3

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    In this paper, we propose a multi-dimensional extension of goal graphs in goal-oriented requirementsanalysis in order to support the understanding and modifying of relations between goals. In this method, concernsof a requirements analyst and their relations respectively correspond to dimensions and the decompositions of goals.Based on the definitions of goal decompositions, analysts can understand and repair the relations between goalswith their concern using the goals' dimension. Additionally, the selection of goals to analyze is supported by showing goals which only belongs to the focused dimension by the analyst. We have developed a supporting tool andevaluated the efficiency of the method in experiments.

    CiNii Books

    researchmap

  • Supporting the Detection of Problems in Requirements Specification Documents Based on Syntactical Structure

    2013 ( 4 )   1 - 8   2013.3

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Session: Identifying Links between Source Code and Software Features

    2013   37 - 38   2013.1

    　More details

    Language：Japanese  

    researchmap

  • Report on Winter Workshop 2012 in Biwako

    Katsuhisa Maruyama, Takayuki Omori, Hiroshi Igaki, Masahide Nakamura, Kyohei Fushida, Masateru Tsunoda, Hiroshi Kazato, Joji Okada, Kozo Okano, Kazunori Sakamoto, Masanari Motohashi, Tomoji Kishi, Natsuko Noda, Takashi Kobayashi, Shinpei Hayashi

    IPSJ SIG Notes   2012 ( 12 )   1 - 8   2012.10

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    This paper reports on "Winter Workshop 2012 in Biwako(WW2012)", which was held at Biwako Conference Center in Hikone, Shiga from January 19 through 20, 2012.

    CiNii Books

    researchmap

  • Report on Winter Workshop 2012 in Biwako

    MARUYAMA KATSUHISA, OMORI TAKAYUKI, IGAKI HIROSHI, NAKAMURA MASAHIDE, FUSHIDA KYOHEI, TSUNODA MASATERU, KAZATO HIROSHI, OKADA JOJI, OKANO KOZO, SAKAMOTO KAZUNORI, MOTOHASHI MASANARI, KISHI TOMOJI, NODA NATSUKO, KOBAYASHI TAKASHI, HAYASHI SHINPEI

    Technical report of IEICE. SS   112 ( 275 )   67 - 74   2012.10

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    This paper reports on "Winter Workshop 2012 in Biwako (WW2012)", which was held at Biwako Conference Center in Hikone, Shiga from January 19 through 20, 2012.

    CiNii Books

    researchmap

  • A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)

    Shinpei Hayasi, Katsuhisa Maruyama, Motoshi Saeki

    IPSJ SIG Notes   2012 ( 12 )   1 - 6   2012.10

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    This paper gives our views on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) held at Essen, Germany on September 3-7, 2012 with the perspectives of both participation and organization.

    CiNii Books

    researchmap

  • A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)

    HAYASHI Shinpei, MARUYAMA Katsuhisa, SAEKI Motoshi

    Technical report of IEICE. SS   112 ( 275 )   75 - 80   2012.10

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    This paper gives our views on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) held at Essen, Germany on September 3-7, 2012 with the perspectives of both participation and organization.

    CiNii Books

    researchmap

  • A Technique for Extracting and Visualizing Implementation Structure of Software Features

    KAZATO Hiroshi, HAYASHI Shinpei, OKADA Satoshi, MIYATA Shunsuke, HOSHINO Takashi, SAEKI Motoshi

    Technical report of IEICE. SS   112 ( 164 )   91 - 96   2012.7

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    After a feature is located in source code, developers understand implementation structure around the location from static and/or behavioral point of view. This paper proposes a semi-automatic technique both for locating features and exposing their implementation structures in source code, using a combination of dynamic analysis and two data analysis techniques, sequential pattern mining and formal concept analysis. We have implemented our technique in a supporting tool and applied it to an example of a web application. The result shows that the proposed technique is not only feasible but helpful to understand implementation of features just after they are located.

    CiNii Books

    researchmap

  • A Supporting Tool to Identify Stakeholders' Imbalance and Lack in Requirements Analysis

    53 ( 4 )   1448 - 1460   2012.4

    　More details

    Language：Japanese  

    Software requirements elicitation is a cooperative work by stakeholders. It is important for project managers and analysts to understand stakeholder concerns and to identify potential problems such as imbalance or lack of stakeholders. This paper presents a technique and a tool which visualize the strength of stakeholders' interest of concerns on two dimensional screens. The tool generates anchored maps from an attributed goal graph by AGORA, which is an extended version of goal-oriented analysis methods. It has stakeholders' interest to concerns and its degree as the attributes of goals. Additionally an experimental evaluation is described, whose results show the user of the tool could identify imbalance and lack of stakeholders more accurately in shorter time than the case with a table of stakeholders and requirements.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00081787/

  • A Technique for Locating Features in Multi-Layer Systems Based on Formal Concept Analysis

    KAZATO Hiroshi, HAYASHI Shinpei, OKADA Satoshi, MIYATA Shunsuke, HOSHINO Takashi, SAEKI Motoshi

    Technical report of IEICE. SS   111 ( 481 )   139 - 144   2012.3

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    In multi-layer systems such as web applications, locating features is a challenging problem because each feature is often realized through a collaboration of program elements belonging to different layers. This paper proposes a semi-automatic technique to extract correspondence between features and program elements among layers, by merging execution traces of every layer to feed into formal concept analysis. To show the feasibility of our technique, we applied it to a web application which conforms to the typical three-layer architecture of Java EE and discuss its applicability to other layer systems in the real world.

    CiNii Books

    researchmap

  • A Trend Analysis on Software Evolution Research Based on a Literature Review on IWPSE Series

    OMORI Takayuki, MARUYAMA Katsuhisa, HAYASHI Shinpei, SAWADA Atsushi

    Technical report of IEICE. SS   111 ( 481 )   121 - 126   2012.3

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    We have recently carried out a comprehensive literature review on software evolution. In the review process, we have proposed and adopted a new taxonomy of software evolution research to classify research papers. In this paper we explain our software evolution taxonomy which consists of three perspectives: methods, targets, and objectives. We also discuss research trends on software evolution based on a classification result for papers published in the series of IWPSE proceedings.

    CiNii Books

    researchmap

  • Interactive Support for Understanding Feature Implementation with Feature Location

    53 ( 2 )   578 - 589   2012.2

    　More details

  • A Supporting Tool to Identify Stakeholders’ Imbalance and Lack in Requirements Analysis

    鵜飼孝典, 鵜飼孝典, 林晋平, 佐伯元司

    情報処理学会論文誌ジャーナル(CD-ROM)   53 ( 4 )   2012

    　More details

  • Visualizing Stakeholder Concerns for Software Development Meeting

    2010 ( 6 )   1 - 8   2011.4

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • A Supporting Tool for High-Quality Goal Graphs and Its Evaluation

    UGAI Takanori, HAYASHI Shinpei, SAEKI Motoshi

    IEICE technical report   110 ( 468 )   1 - 6   2011.3

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    In this article, a supporting tool to develop high-quality goal graphs is proposed and the result of an experiment is described. The tool highlights the goals which do not satisfy quality properties. The quality properties are defined based on IEEE Std 830. The result of an experiment shows that users can modify goal graphs rapidly because they can focus on parts that were not satisfy the quality properties.

    CiNii Books

    researchmap

  • Supporting Class Responsibility Assignment with Responsibility Description

    AKIYAMA Motohiro, HAYASHI Shinpei, KOBAYASHI Takashi, SAEKI Motoshi

    IEICE technical report   110 ( 458 )   73 - 78   2011.2

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    In object-oriented design, Class Responsibility Assignment (CRA) is important. However, it is not easy to detect where to improve CRA though there are some principles of CRA such as GRASP. In this paper, we propose a technique for supporting achievement of appropriate CRA by detecting inappropriate CRA automatically and suggesting candidates of appropriate CRAs to designers. In the technique, we have defined a responsibility description form which information included in a responsibility can be separately specified. Moreover, recommendation rules of alternatives of CRA based on GRASP are defined. Responsibility descriptions are analyzed with these rules. A designer improves a CRA based on suggested alternatives and achieves a more appropriate CRA. We have implemented a tool supporting the proposed technique and validated its usefulness by preliminary experiments.

    CiNii Books

    researchmap

  • ゴールグラフの品質向上支援ツール

    鵜飼孝典, 鵜飼孝典, 林晋平, 佐伯元司

    情報処理学会シンポジウム論文集   2011 ( 2 )   2011

    　More details

  • Visualizing Stakeholder Concerns for Software Development Meeting

    鵜飼孝典, 鵜飼孝典, 林晋平, 佐伯元司

    情報処理学会研究報告(CD-ROM)   2010 ( 6 )   2011

    　More details

  • Choosing Software Implementation Technologies Using Bayesian Networks

    51 ( 9 )   1765 - 1776   2010.9

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Choosing Software Implementation Technologies Using Bayesian Networks

    51 ( 9 )   1765 - 1776   2010.9

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Recent Researches for Supporting Software Construction and Maintenance with Data Mining

    KOBAYASHI Takashi, HAYASHI Shinpei

    27 ( 3 )   13 - 23   2010.7

    　More details

    Language：Japanese  

    CiNii Books

    researchmap

  • Supporting Refactoring Activities with Software Development Histories(<Series>Quick Report on Doctoral Theses Recommended by IPSJ SIGs)

    HAYASHI Shinpei

    IPSJ Magazine   51 ( 7 )   899 - 899   2010.7

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    CiNii Books

    researchmap

  • Generating State Transition Models from Use Case Descriptions

    TAKAKU YOHEI, HAYASHI SHINPEI, SAEKI MOTOSHI

    2010 ( 17 )   1 - 8   2010.3

    　More details

  • Structuring Source Code Deltas by Classifying Editing Operations

    HAYASHI Shinpei, SAEKI Motoshi

    IEICE technical report   109 ( 456 )   61 - 66   2010.3

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    This paper proposes a technique for structuring source code deltas on a developer's intentions. In this technique, the developer classifies his/her editing operations by annotating the time series of the editing history with the switching information of the intentions. Based on the classification, the history is automatically sorted and converted to appropriate patches to be committed. This paper also shows algorithms for automating the structuring process and a prototyping tool to implement them.

    CiNii Books

    researchmap

  • A Supporting Tool for Framework-Based Software Development with Behavioral Models

    ZENMYO Teruyoshi, HAYASHI Shinpei, SAEKI Motoshi

    IEICE technical report   109 ( 456 )   31 - 36   2010.3

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    This paper proposes a tool which generates a skeleton code and configuration files to support framework-based software development. The framework models that the tool uses include behavior and customization operations. The skeleton code and configuration files are generated by applying the customization operations based on mappings of requirements specifications to the behavioral model of frameworks. The requirements specification is automatically mapped to the framework model by the tool. Therefore, users of the tool can identify the usage of the framework without deep understanding of the framework.

    CiNii Books

    researchmap

  • Goal-Oriented Security Requirements Analysis Using Common Criteria as Domain Ontology

    SAEKI Motoshi, HAYASHI Shinpei, KAIYA Haruhiko

    IEICE technical report   109 ( 432 )   37 - 42   2010.2

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    This paper proposes the usage of security targets, which are documents compliant to Common Criteria (ISO/IEC 15408), as related knowledge sources to identify security functional requirements from functional requirements through eliciting threats and security objectives. Our proposed technique has been combined with GOORE.

    CiNii Books

    researchmap

  • Incremental Feature Location Using Dynamic Slicing

    SEKINE Katsuyuki, ZENMYO Teruyoshi, HAYASHI Shinpei, SAEKI Motoshi

    IEICE technical report   109 ( 170 )   25 - 30   2009.7

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    To understand the behavior of a feature in the software maintenance process, identifying the location in which the feature is implemented, i.e., feature location, is important. Feature location should be performed without rich knowledge of the implementation. In this paper, we propose an incremental feature location technique using dynamic slicing. In the technique, slices extracted from an execution trace are regarded as candidate portions in which the feature is implemented. To assist maintainers to find the suitable slice, similarity between the slices and characteristics of the feature is calculated. By inputting the characteristics, the maintainers can interactively search for the suitable slice on the graph consisting of the slices and the inclusion relations based on the similarity. We have developed a tool implementing the technique and confirm the efficiency of the technique through case studies.

    CiNii Books

    researchmap

  • A Technique for Choosing Implementation Platforms Using Bayesian Networks

    KAZATO HIROSHI, WEISS RAFAEL, HAYASHI SHINPEI, KOBAYASHI TAKASHI, SAEKI MOTOSHI

    2009 ( 3 )   1 - 8   2009.6

    　More details

  • Platform Independent Model Transformation based on Architectural Patterns

    WEISS RAFAEL, KAZATO HIROSHI, HAYASHI SHINPEI, SAEKI MOTOSHI

    2009 ( 4 )   1 - 10   2009.6

    　More details

  • An Integrated CASE Tool for Supporting Attributed Goal-Oriented Requirements Analysis Method

    SAEKI Motoshi, HAYASHI Shinpei, KAIYA Haruhiko

    IEICE technical report   109 ( 41 )   13 - 18   2009.5

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    This paper presents an integrated supporting tool for requirements analysis using attributed goal graphs. The tool assists seamlessly requirements analysts and stakeholders in their activities for requirements analysis.

    CiNii Books

    researchmap

  • Recovering Traceability Links between a NL Document and a Source Code by Using Domain Ontologies

    YOSHIKAWA TAKASHI, HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2009 ( 31 )   129 - 136   2009.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    Recovering traceability links between a source code and their NL documents is significant. In this paper, we propose a technique for recovering the links between functional descriptions and a source code using domain ontologies. By using semantic relationships of the domain ontologies in addition to method-call relationships and the similarity between an identifier on the code and words in the descriptions, we can detect source code fragments corresponding to the descriptions. Through a case study using open-source software JDraw, we obtained results of higher quality than without ontologies.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00061987/

  • Deriving Feature Models from Goal Graphs

    UNO KOHEI, HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2009 ( 31 )   1 - 8   2009.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    This paper proposes a systematic approach to derive feature models required by a software product line development. In order to construct a feature model, we have to detect features and their commonalities/variabilities. In our approach, we use goal graphs constructed by goal-oriented requirements analysis. We first merge multiple goal graphs into a graph representing the product family's requirements. We then regard the leaves of the merged graph as the candidates of features. Commonalities and variabilities are analyzed by the differences among graphs. Feature rationales derived from the graph enables us to validate the feature model. Through a case study of a portable music player domain, we obtained a feature model with high quality.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00061971/

  • Requirements Analysis Based on Differences between Behavioural Specifications and Reusable Implementation Structures

    AKEMINE KINJI, ZENMYO TERUYOSHI, HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2009 ( 31 )   33 - 40   2009.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    In a requirements analysis process, supporting requirements elicitation is important. In this paper, we propose a technique to derive preconditions and events to be added to use case descriptions by using reusable implementation structures as knowledge resources. The descriptions and the implementation structures are modeled by labeled transition systems (ITS). The two models are composed, and then, the composed model is examined whether preconditions of the functions in the implementation structure do not hold. If such situation exists, the ways for completing the descriptions are identified based on the differences between two models. As a case study, we have applied the proposed technique to a use case of an SNS site with OpenPNE as knowledge resources. As a result, we have obtained eight appropriate use case descriptions from one use case description including missing requirements.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00061975/

  • Supporting Program Modifications for Visualizing Fluctuations of Software Metric Values

    HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2008 ( 29 )   115 - 122   2008.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    This paper proposes a novel technique for supporting program modifications by visualizing the fluctuations of software metric values. In program editing processes, it is useful to modify programs without depressing its maintainability. Our technique evaluates program modifications on the changes of software metric values caused by them. In order to detect and refine ill-modifications, we immediately visualize the changes after the program modifications on a software development environment such as a code editor. Inferring evaluation criteria with the version archive of the program, we then can restrict the target of visualization for reducing affects of the developers' coding process.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00021093/

  • Recovering Traceability Links Between a Software Specification Document and a Source Code Using Their Structural Similarities

    TAHARA TAKAMITSU, HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2008 ( 29 )   139 - 146   2008.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    The specification document and the source code of a software project have to be traceable each other for developing the software effectively. In this paper, we propose a technique how to recover the traceability links between a specification written in a natural language and a Java source code. In our approach, we consider a source code as a kind of a document, and detect the parts of a specification corresponding to the source code fragment using a similarity of word occurrences. Furthermore, to improve the detection precision, we use the similarity of the document structures of the specification and the source code. Through a case study, we validate the feasibility of our approach.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00021096/

  • Report on the 14th Asia-Pacific Software Engineering Conference (APSEC 2007)

    MARUYAMA Katsuhisa, KAWAGUCHI Shinji, NAGURA Masataka, HAYASHI Shinpei, WASHIZAKI Hironori, HANYUDA Eiichi

    IPSJ SIG Notes   2008 ( 29 )   227 - 234   2008.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    This paper gives our views on the 14th Asia-Pacific Software Engineering Conference (APSEC 2007) held at Nagoya on December 3-7, 2007.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00021107/

  • Selecting Alternatives of Source Code Modification with Integrating Software Metrics

    SASAKI YUSUKE, HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2008 ( 29 )   123 - 130   2008.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    Selecting the most appropriate alternative of source code modification is difficult. This paper proposes a technique to help have each developer of software development project selecting appropriate modifications based on the project's commitment. In the technique, we judge the order of superiority of alternative modifications by creating an evaluation function with integrating multiple software metrics to suppress the influence of each developer's subjectivity. Considering selecting an alternative of source code modification as a multiple criteria decision making, we create the function with Analytic Hierarchy Process. An evaluation shows the efficiency of the technique.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00021094/

  • Implementing OCL Evaluators Based on Structural Similarities of Programming Languages

    MOISEEV RODION, HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2007 ( 97 )   119 - 126   2007.9

    　More details

    Language：English   Publisher：Information Processing Society of Japan (IPSJ)  

    The Object Constraint Language carries a platform independent characteristic, which allows is to be decoupled from the platform specific implementation details, yet on the other hand, it can be found tremendously useful in the implementation phase aiding test case generation and allowing system verification. However, taking full advantage of OCL without destroying its platform independence is a difficult task. This paper proposes of programming languages to describe a rewriting framework, which is used to easily and flexibly reformulate OCL constraints into any target language, thus making them executable on any platform. A tool is implemented to demonstrate the effectiveness of this approach.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00021133/

  • Extracting Occurances of Refactoring Using a Search Algorithm

    TSUDA YASUYUKI, HAYASHI SHINPEI, SAEKI MOTOSHI

    IPSJ SIG Notes   2007 ( 33 )   135 - 142   2007.3

    　More details

    Language：Japanese   Publisher：Information Processing Society of Japan (IPSJ)  

    Extracting refactorings from the development history is useful for software understanding. This paper proposes a technique to identify refactorings performed between two revisions using a search algorithm. In this technique, we consider a program as a state and refactoring as a transition, and then search for refactorings that reach from the initial state to the final state. In searching, we calculate the difference between the current state and the final state for choosing the next refactoring to apply and also estimate the heuristic distance to the final state. By using this tecnique we can detect related refactorings performed at the same time. Finally, we implemented a tool and evaluated its effectiveness.

    CiNii Books

    researchmap

    Other Link： http://id.nii.ac.jp/1001/00021165/

  • Report on the 21st IEEE / ACM International Conference on Automated Software Engineering (ASE2006)

    WASHIZAKI Hironori, KUBO Atsuto, SHIMOTAKI Asato, NAKAGAWA Hiroyuki, HAYASHI Shinpei, MARUYAMA Katsuhisa, HONIDEN Shinichi

    IPSJ SIG Notes   2006 ( 125 )   81 - 88   2006.11

    　More details

    Language：Japanese   Publisher：一般社団法人情報処理学会  

    This paper reports major topics of the 21st IEEE/ACM International Conference on Automated Software Engineering held at September 2006 in Tokyo. There were many presentations on program analysis/verification and pattern/aspect mining.

    CiNii Books

    researchmap

  • Analyzing Software Repositories to Extract Knowledge for Supporting Refactoring Activities

    HAYASHI Shinpei, SAEKI Motoshi

    IEICE technical report   106 ( 16 )   1 - 6   2006.4

    　More details

    Language：Japanese   Publisher：The Institute of Electronics, Information and Communication Engineers  

    It is effective to identify how and where to refactor programs because it improves the program design. We have so far proposed a technique to suggest refactoring opportunities by using a sequence of its modifications. However, the approach requires its users to describe the characteristic modification histories as modification patterns. In this paper, we propose a basic technique to discover characteristic modification histories from its repository, which in turn a technique to find refactoring opportunities. First, we extract modified snippets of code, or Edit Scripts, from a software repository. The Edit Scripts are prepared by calculating the difference of the Abstract Syntax Trees in the programs. We also extract past cases of refactorings, and then we create modification patterns by searching the modifications corresponding with cases of refactorings for frequented structures. We consider the effectiveness of our technique by applying it to Jakarta Commons software repository.

    CiNii Books

    researchmap

▼display all

Awards

  • 卓越研究賞

    2020.9   情報処理学会ソフトウェア工学研究会  

    　More details

  • 情報処理学会論文誌ジャーナル特選論文

    2019.4   一般社団法人情報処理学会論文誌ジャーナル編集委員会  

    　More details

  • 平成30年度情報処理学会ソフトウェア工学研究会功績賞

    2019.3   一般社団法人情報処理学会ソフトウェア工学研究会  

    　More details

  • 情報処理学会コンピュータサイエンス領域功績賞

    2018.10   一般社団法人情報処理学会コンピュータサイエンス領域  

    　More details

  • ソフトウェアエンジニアリングシンポジウム ポスター・インタラクティブ賞

    2018.9   一般社団法人情報処理学会ソフトウェアエンジニアリングシンポジウム2018  

    　More details

  • インタラクティブ特別賞

    2017.9   一般社団法人情報処理学会ソフトウェアエンジニアリングシンポジウム2017  

    　More details

  • 東工大挑戦的研究賞

    2017.7   国立大学法人東京工業大学  

    　More details

  • SOMET 2016 Best Paper Award

    2016.9   The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques  

    　More details

    Award type：Award from international society, conference, symposium, etc. 

    researchmap

  • 研究奨励賞

    2016.7   電子情報通信学会ソフトウェアサイエンス研究会  

    　More details

    Award type：Award from Japanese society, conference, symposium, etc. 

    researchmap

  • ソフトウェアエンジニアリングシンポジウム2014最優秀論文賞

    2014.9   情報処理学会ソフトウェア工学研究会  

    　More details

    Award type：Award from Japanese society, conference, symposium, etc. 

    researchmap

  • 貢献賞

    2013.11   日本ソフトウェア科学会ソフトウェア工学の基礎研究会  

    　More details

    Award type：Award from Japanese society, conference, symposium, etc. 

    researchmap

  • Yamashita SIG Research Award

    2012.3   Information Processing Society of Japan  

    　More details

    Award type：Award from Japanese society, conference, symposium, etc. 

    researchmap

  • IEEE Computer Society Japan Chapter FOSE Young Researcher Award

    2011.11   IEEE Computer Society Japan Chapter   A Technique for Refactoring Editing Histories of Source Code

    　More details

    Award type：Award from international society, conference, symposium, etc. 

    researchmap

  • ソフトウェアエンジニアリングシンポジウム2010最優秀論文賞

    2010.8   一般社団法人情報処理学会ソフトウェア工学研究会  

    　More details

    Award type：Award from Japanese society, conference, symposium, etc. 

    researchmap

  • Seiichi Tejima Research Award (Doctoral Dissertation Award)

    2010.2   Tokyo Institute of Technology  

    　More details

  • クラーク賞

    2004.3   財団法人北海道大学クラーク記念財団  

    　More details

  • 第2回プログラミングコンテスト最優秀賞

    2003.3   社団法人情報処理学会北海道支部  

    　More details

    Award type：Award from Japanese society, conference, symposium, etc. 

    researchmap

▼display all

Research Projects

  • Advancing Software Engineering Tasks Based on Building Functional Equivalent Method Datasets

    Grant number：24H00692  2024.4 - 2028.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (A)

    　 More details

    Grant amount：\46540000 （ Direct Cost: \35800000 、 Indirect Cost：\10740000 ）

    researchmap

  • Enhancing Automated Software Evolution via Building and Utilizing Large-Scale Software Evolution Corpora

    Grant number：22H03567  2022.4 - 2026.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    　 More details

    Grant amount：\17290000 （ Direct Cost: \13300000 、 Indirect Cost：\3990000 ）

    researchmap

  • Enhancing Automated Software Evolution via Building and Utilizing Large-Scale Software Evolution Corpora

    Grant number：23K24823  2022.4 - 2026.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    　 More details

    Grant amount：\17290000 （ Direct Cost: \13300000 、 Indirect Cost：\3990000 ）

    researchmap

  • Foundation for data-driven software maintenance and evolution augmented by machine learning

    Grant number：21KK0179  2021.10 - 2025.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))

    　 More details

    Grant amount：\19240000 （ Direct Cost: \14800000 、 Indirect Cost：\4440000 ）

    researchmap

  • Autorepairability: creating and disseminating a new software quality indicator

    Grant number：21K18302  2021.7 - 2025.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Challenging Research (Pioneering)

    　 More details

    Grant amount：\24440000 （ Direct Cost: \18800000 、 Indirect Cost：\5640000 ）

    researchmap

  • 機械がバグを修正する時代―擬似オラクル生成・適用と自動バグ修正技術の深化

    Grant number：21H04877  2021.4 - 2025.3

    日本学術振興会  科学研究費助成事業  基盤研究(A)

    亀井 靖高, 馬 雷, 肥後 芳樹, 松本 真佑, 林 晋平

    　 More details

    Grant amount：\41860000 （ Direct Cost: \32200000 、 Indirect Cost：\9660000 ）

    researchmap

  • Search-Based and Interactive Environment for Semi-Automated Refactoring

    Grant number：18K11238  2018.4 - 2022.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    Hayashi Shinpei

    　 More details

    Grant amount：\4290000 （ Direct Cost: \3300000 、 Indirect Cost：\990000 ）

    In this research, we aim to realize a more realistic automated refactoring environment, taking into account various perspectives in addition to the maintainability, and an efficient review environment of the recommended refactorings that enables an interactive configuration of the refactorings. As the main results, we have developed a new search-based refactoring technique based on a multi-objective optimization that considers the review effort in addition to the source code quality. We have also developed a method to identify smelly code fragments where refactorings should be applied. Furthermore, we have implemented an environment for reviewing refactoring-related complex changes.

    researchmap

  • Research on Integrated Goal Oriented Requirements Analysis

    Grant number：15K00088  2015.4 - 2019.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    Saeki Motoshi, HAYASHI SHINPEI

    　 More details

    Grant amount：\4550000 （ Direct Cost: \3500000 、 Indirect Cost：\1050000 ）

    In this research project, in order to overcome a weak point of Goal-oriented Requirements Analysis (GORA), insufficient support of goal refinement, we propose an approach where Problem Frame approach, use case modeling and an idea generation method are integrated with GORA and develop a methodology and its support tool based on the proposed approach. The essential point of our approach is that the other integrated approaches assist goal refinement from their intrinsic views and they can be also refined together with goal refinement, so called co-refinement. For automated support, we develop refinement patterns of co-refinement and transformation patterns between GORA and the other approaches. Furthermore, we develop metrics to measure the quality of the requirements models obtained by our approach from user view, and the technique of improving the parts of lower quality.

    researchmap

  • A study on Frame-Based Refactoring

    Grant number：15H02685  2015.4 - 2019.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    MARUYAMA KATSUHISA, OMORI TAKAYUKI

    　 More details

    Grant amount：\13780000 （ Direct Cost: \10600000 、 Indirect Cost：\3180000 ）

    In this research study, we showed that a spatial frame defined as a set of test cases is capable of relaxing the definition of the behavior preservation in refactoring. Additionally, we proposed a mechanism that automatically generates new complementary test cases that are likely to help a programmer define spatial frames. A temporal frame separates the time period in which the behavior preservation should be guaranteed from the whole process of automated refactoring. To increase the applicability of automated refactoring, a postponable refactoring tool employing temporal frames allows a programmer to suspend the execution of the applied refactoring if its preconditions are not satisfied and to restart the suspended refactoring once all the preconditions are satisfied. We also developed a platform that can record accurate and intelligible textual changes of source code evolution, especially including code changes by refactoring.

    researchmap

  • Program comprehension based on feature identification using hybrid program analysis

    Grant number：15H02683  2015.4 - 2019.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    Kobayashi Takashi, Noda Kunihiro, Aizawa Yuya

    　 More details

    Grant amount：\18070000 （ Direct Cost: \13900000 、 Indirect Cost：\4170000 ）

    In this research, we aim to support program comprehension during software maintenance and develop methods to identify and visualize the relationship between external and internal features.
    We proposed a dynamic feature location technique (DFLT) using the formal concept analysis to identify relationships between modules and features. We use the similarity coefficient, which is used in fault localization techniques, as a relationship. Our DFLT make better orders shared modules compared with an existing DFLT. We also proposed a fully automated technique for recovering a summarized sequence diagram of a reasonable size. The recovered diagram depicts a behavioral overview of important concepts in a subject system, which can support developers to comprehend external features in an early stage of program comprehension. Our developed visualization tool is a flexible and lightweight tool and enable to explore a massive-scale sequence diagram by using searching, grouping and folding features.

    researchmap

  • Supporting Prefactoring Activities Based on Software Change Plans

    Grant number：15K15970  2015.4 - 2019.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Young Scientists (B)

    Hayashi Shinpei, Saeki Motoshi, Maruyama Katsuhisa, Natthawute Sae-Lim

    　 More details

    Grant amount：\3900000 （ Direct Cost: \3000000 、 Indirect Cost：\900000 ）

    In this research, we aim to support developers' refactoring activities with taking their development context into consideration by (1) identifying the location where to apply refactoring operations to make it easy to apply future changes and (2) providing a way to confirm applied refactorings composed in a specific set of changes. We have developed a technique for prioritizing code smells derived from an existing smell detector using the information in an issue tracking system as developers’ task context. We have also identified the factors that developers use for selecting and prioritizing code smells. Furthermore, we have implemented change analysis environments that enable us to confirm the effects of applied refactorings.

    researchmap

  • Supporting Software Development Based on Abstraction of Developers' Operation Histories

    Grant number：26730042  2014.4 - 2018.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Young Scientists (B)

    Omori Takayuki, MARUYAMA Katsuhisa, HAYASHI Shinpei

    　 More details

    Grant amount：\2730000 （ Direct Cost: \2100000 、 Indirect Cost：\630000 ）

    This study was carried out to development novel technologies, methods, and tools to support software development based on histories of operations that software developers conducted on integrated development environments. Representative outcomes include:
    (1) Experiment on repetitive code completion operations on IDEs and improvement of an existing code completion tool, (2) Survey on methods of recording operation histories and their applications, (3) Comparative experiment of understanding past refactorings with code edit histories and revision histories, (4) A method for estimating development tasks using operation histories, (5) Enhancement of an operation replayer based on operation history annotations, (6) Supporting program comprehension with code comments, and (7) Masking privacy-sensitive information within operation histories.

    researchmap

  • An Environment that Proactively Supports Program Evolution

    Grant number：24500050  2012.4 - 2016.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    Maruyama Katsuhisa, OMORI TAKAYUKI, HAYASHI SHINPEI

    　 More details

    Grant amount：\5460000 （ Direct Cost: \4200000 、 Indirect Cost：\1260000 ）

    In this research study, we improved a tool that automatically records fine-grained edit operations during the construction of a program and proposed two methods that can support future maintenance of the program. One of the methods implements automatic detection of program changes based on programmers’ policies with respect to aggregation of recorded edit operations. The other method slices the edit operation history and replays its resulting slices, using a graph that represents the dependencies among edit operations in the history. We also developed powerful tools that implement the respective methods and demonstrated their usefulness for supporting program evolution.

    researchmap

  • Supporting Techniques and Tools for Understandable and Quality Source Code Changes

    Grant number：23700030  2011.4 - 2015.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Young Scientists (B)

    HAYASHI Shinpei, SAEKI Motoshi, MARUYAMA Katsuhisa, OMORI Takayuki

    　 More details

    Grant amount：\3640000 （ Direct Cost: \2800000 、 Indirect Cost：\840000 ）

    In this research project, in order to support the source code change process of developers, we have developed supporting techniques and tools for composing source code changes of high quality in addition to locating the code fragments to be modified. We also showed the effectiveness and usefulness of our techniques and tools.

    researchmap

  • Study on Semantic Requirements Engineering

    Grant number：23500036  2011 - 2013

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    SAEKI Motoshi, KAIYA Haruhiko, HAYASHI Shinpei

    　 More details

    Grant amount：\4940000 （ Direct Cost: \3800000 、 Indirect Cost：\1140000 ）

    In this research project, in order to develop and control efficiently requirements documents of high quality, we have proposed the idea of providing the meaning of the requirements by mapping them into ontology and developed a tool infrastructure for their semantic processing based on ontological reasoning. We have also developed the automated tools; transforming requirements sentences to case frame representations as their meaning, deriving a state transition model from the case frame representations and verifying various properties with a model checker, evaluating quality characteristics of requirements documents such as ambiguity, reasoning the potentials of security threats from scenario descriptions annotated with semantic tags based on the ontology, etc. and evaluated them.

    researchmap

  • Study on Software Analytic Environment Based on Source Code Changes

    Grant number：21800018  2009 - 2010

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Research Activity Start-up

    HAYASHI Shinpei

    　 More details

    Grant amount：\2223000 （ Direct Cost: \1710000 、 Indirect Cost：\513000 ）

    In this research project, we have developed some techniques for understanding and analyzing source code changes in order to reduce the costs for understanding and modifying source code in a software maintenance process. Furthermore, we have implemented computerized tools for supporting developers' activities based on the techniques above.

    researchmap

  • Study on the Techniques for Eliciting Software Requirements Compliant with Regulations

    Grant number：20500027  2008 - 2010

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    SAEKI Motoshi, KAIYA Haruhiko, HAYASHI Shinpei

    　 More details

    Grant amount：\4420000 （ Direct Cost: \3400000 、 Indirect Cost：\1020000 ）

    In this research project, in order to develop efficiently business processes and information systems of high quality compliant with regulations, we have developed the technique to guide requirements analysts to elicit requirements compliant with regulations by computer and the technique to find regulatory violations of requirements specifications if any and show them. Furthermore we have developed computerized tools to support requirements analysts based on the above techniques.

    researchmap

  • リポジトリを用いたソフトウェア開発支援に関する研究

    Grant number：06J52403  2006 - 2007

    日本学術振興会  科学研究費助成事業  特別研究員奨励費

    林 晋平

    　 More details

    Grant amount：\1800000 （ Direct Cost: \1800000 ）

    本研究ではリファクタリングをはじめとするプログラム改善を支援するために,版管理リポジトリに蓄えられたプログラムの変更履歴を解析する手法を提案している.本年度の具体的な成果は以下の通りである.
    1.プログラムとその履歴の分析環境の構築:リファクタリングをはじめとするプログラム改善の支援のためには,ソフトウェアやその進化の実例を十分に分析することが重要である.そのため,特定のリファクタリング事例に関連する他の変更を分析できるよう,特定の変更と関連する一連の変更列を版管理リポジトリから抽出する手法を提案し,さらにその変更列の閲覧方法を検討した.また,効率よくリファクタリング事例を分析できるよう,すでに開発してあるリファクタリング事例の抽出機構との連結方法を検討した.さらに,ソフトウェア進化の分析のためには対象ソフトウェアの設計情報を考慮することが重要と考え,プログラム中で使用されているデザインパターンを抽出し分析できるよう整備した.以上をプログラム分析環境として設計し,その実装を行った.
    2.メトリクスの変動に基づくプログラム改善の支援:プログラム改善の支援やプログラムの進化の予測のためには,プログラムの構造的側面のみならず,数量的な側面にも着目することが重要であると考え,プログラム変更によるソフトウェアメトリクスの値の変化を分析し,特徴的な変化をパターンとして蓄え不適切な変更を検出する手法を提案した.また,それを用いてソフトウェア開発環境を拡張し,プログラム変更の支援を行うインタフェースについて検討した.これにより,これまでに開発したプログラムの構造的変化に着目した支援手法と合わせ,プログラムの二種類の側面の変化からプログラム改善の示唆を行うことが可能となった.

    researchmap

▼display all

Media Coverage

  • コンピュータソフトウェア

    2013.4

    　More details