Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Yoichi Omori Last modified date:2017.06.13



Graduate School
Undergraduate School


E-Mail
Academic Degree
Ph.D
Field of Specialization
Domain modeling, Requirement Engineering, Parallel processing
Outline Activities
As the computer pervades daily lives, research targets of information systems are gradually leading from pursuit of pure performance to stability, robustness, or efficiency.
Traditional modeling methodologies for each system can not deal with such long term problems to keep high quality of design in extendability and maintainability, becasuse requirements to the systems become sophisticated and complex.
Domain modeling extracts explicit specifications of new and existing systems to add flexibility on changes of the systems at high-level, thus it enables domain experts can treat them by themselves.
Research
Research Interests
  • A Tool Support for formalization of Non-formal Specifications
    keyword : domain modeling, requirement engineering, formal method
    2010.04~2016.03.
  • Formal Analysis of Interaction among Features on Functional Composition
    keyword : domain engineering, feature modeling, formal specification
    2008.04~2010.03.
  • An Effective Formalizing Method from Non-formal Specification
    keyword : domain modeling, requirement engineering, formal method
    2005.04~2007.03.
  • Test case generation from system specification
    keyword : software, test, formal method
    2010.04~2013.03.
  • Parallel Processing on Synchronous Dataflow Model
    keyword : dataflow, parallel processing
    1999.04~2004.02.
Current and Past Project
  • We survey advanced research trend of software processes, and examine the applicability to real software developments.
  • Software engineers understood the advantages of formal methods, but applications to the real development are not major yet.
    We are trying to establish the practical development procedure application of formal methods based on a specific case study.
  • We survey advanced research trend of formal methods, and examine the applicability to real software developments.
  • Software engineers understood the advantages of formal methods, but applications to the real development are not major yet.
    We are trying to establish the practical development procedure application of formal methods based on a specific case study.
  • The effectiveness of formal methods is already known, but it is still left unclear how to introduce them in current complex software developing process.
    This project targets to find the way of application in practice, especially for car electronics systems.
  • TBD
  • A research about safety design guidelines and formal verification applicable to functional safety on car electronics
Academic Activities
Papers
1. Centrality Analysis of Related Process Areas in a Process Improvement Model CMMI-DEV..
2. Toward a Quality Improvement of Specifications in Natural Language Based on the Semi-equivalent Formal Models
.
3. A Macro-Simulation Model for Self-Timed Pipeline Systems.
Membership in Academic Society
  • The Information Processing Society of Japan
  • The Institute of Electronics, Information and Communication Engineers
  • The Institute of Electrical and Electronics Engineers, Inc.
Educational