Synthesis revisited: Generating statechart models from scenario-based requirements (2005)

by David Harel , Hillel Kugler , Amir Pnueli
Venue:IN FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING
Citations:54 - 7 self