Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems

David Harel, Rami Marelly, Assaf Marron +1

In all software development projects, engineers face the challenge of translating the requirements layer into a design layer, then into an implementation-code layer, and then valid…