|
|
| Play-Engine System Manager and Developer |
| Working with Prof. David Harel |
| E-mail: dan dot barak at weizmann dot ac dot il |
| M.Sc. Research: Scale-up of the design and development cycle of reactive systems by combining inter-object and intra-object approaches. My thesis is available online. |
| Publications: D. Barak, D. Harel and R. Marelly, "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming", Lectures on Concurrency and Petri Nets, (J. Desel, W. Reisig and G. Rozenberg, eds.), Lecture Notes in Computer Science, Vol.3147, Springer-Verlag, 2004, pp.66-86. [PDF, 478Kb] |
The Weizmann Institute of Science
[Home] [Research] [People] [Events] [Studies] [Structure] [Contact] [Links] [Search] [FAQ]
To the Weizmann Institute of Science Home Page
Faculty of Mathematics and Computer Science
To comment on this service, send feedback to the webmaster.