A Formal Modeling Tool for Exploratory Modeling in Software Development

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen. A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Transactions, 100-D(6):1210-1217, 2017. [doi]

Authors

Tomohiro Oda

This author has not been identified. Look up 'Tomohiro Oda' in Google

Keijiro Araki

This author has not been identified. Look up 'Keijiro Araki' in Google

Peter Gorm Larsen

This author has not been identified. Look up 'Peter Gorm Larsen' in Google