A Formal Modeling Tool for Exploratory Modeling in Software Development

Tomohiro ODA  Keijiro ARAKI  GORM LARSEN  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/03/07
DOI: 10.1587/transinf.2016FOP0003
Full Text: PDF(685.5KB)