Shinnosuke Saruwatari

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Specification Languages

Change Impact Analysis

Software Architecture

Top Venues

IEICE Trans. Inf. Syst.

Publications

Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. (8) (2019)
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Extracting Traceability between Predicates in Event-B Refinement. APSEC (2017)