Keijiro Araki

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yoichi Omori

> Home > Persons > Keijiro Araki

Publications

2015
[c49]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/KusakabeOA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KusakabeOA15
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. FMSEE&T@FM 2015: 51-58
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/LinOKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/LinOKA15
Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki:
Towards Verifying VDM Using SPIN. FTSCS 2015: 241-256
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/KusakabeLOA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/KusakabeLOA15
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Visualizing centrality of process area networks in CMMI-DEV. ICSSP 2015: 173-174
2014
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KusakabeLOA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KusakabeLOA14
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. FormaliSE 2014: 24-30
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/iiaiaai/KusakabeLOA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiaiaai/KusakabeLOA14
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Requirements Development of Energy Management System for a Unit in Smart Campus. IIAI-AAI 2014: 405-410
2009
[c40]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csedu/SakamotoFMKNOUAFYK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/SakamotoFMKNOUAFYK09
Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka:
Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) 2009: 159-166
[c39]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/KusakabeOA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/KusakabeOA09
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. ICSOFT (1) 2009: 264-268

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.