On requirement verification for evolving statecharts specifications

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
January 2014
Type
Journal article
Publication
Requirements Engineering