Change Impact Analysis for Refinement-based Formal Specification

Shinnosuke SARUWATARI  Fuyuki ISHIKAWA  Tsutomu KOBAYASHI  Shinichi HONIDEN  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/05/22
DOI: 10.1587/transinf.2018FOP0006
Full Text: PDF(1MB)