5 citations · 5 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
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…
cs.SE2015★ 5 cited
Wise Computing: Towards Endowing System Development with True Wisdom
David Harel, Guy Katz, Rami Marelly +1
Encouraged by significant advances in algorithms and tools for verification and analysis, high level modeling and programming techniques, natural language programming, etc., we fee…