- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
e-Government systems differ from commercial information systems (IS) in that they frequently encompass strategic goals that go beyond efficiency, effectiveness and economy, and in...
This position paper outlines a current research project focusing on the challenges of interaction design for context-aware mobile computer systems. This challenge is approached fr...
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...