Hirotaka Okuda

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Requirements Specification

Quality Improvement

Computation Tree Logic

Top Venues

Publications

Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura
Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. JCKBSE (2012)
Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
Quality Improvement of Requirements Specification using Model Checking Technique. ICEIS (2) (2012)