On requirement verification for evolving Statecharts specifications

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini. On requirement verification for evolving Statecharts specifications. Requir. Eng., 19(3):231-255, 2014. [doi]

Authors

Carlo Ghezzi

This author has not been identified. Look up 'Carlo Ghezzi' in Google

Claudio Menghi

This author has not been identified. Look up 'Claudio Menghi' in Google

Amir Molzam Sharifloo

This author has not been identified. Look up 'Amir Molzam Sharifloo' in Google

Paola Spoletini

This author has not been identified. Look up 'Paola Spoletini' in Google