( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Executable Object Modeling with Statecharts.

, и . ICSE, стр. 246-257. IEEE Computer Society, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

David Harel

Dipak Harel

Nissim Harel

Aza Harel

Harel Seidenwerg

 

Другие публикации лиц с тем же именем

Synthesizing State-Based Object Systems from LSC Specifications., и . Int. J. Found. Comput. Sci., 13 (1): 5-51 (2002)PlayGo: towards a comprehensive tool for scenario based programming., , , и . ASE, стр. 359-360. ACM, (2010)Synthesizing State-Based Object Systems from LSC Specifications., и . CIAA, том 2088 из Lecture Notes in Computer Science, стр. 1-33. Springer, (2000)Drawing Huge Graphs by Algebraic Multigrid Optimization., , и . Multiscale Modeling & Simulation, 1 (4): 645-673 (2003)Curriculum and Course Syllabi for a High-School CS Program., и . Computer Science Education, 9 (2): 114-147 (1999)On the Formal Semantics of Statecharts (Extended Abstract), , , и . LICS, стр. 54-64. IEEE Computer Society, (1987)On Object Systems and Behavioral Inheritance., и . IEEE Trans. Software Eng., 28 (9): 889-903 (2002)Toward Scenario-Based Algorithmics., и . Adventures Between Lower Bounds and Higher Altitudes, том 11011 из Lecture Notes in Computer Science, стр. 549-567. Springer, (2018)On the Power of Bounded Concurrency II: The Pushdown Automata Level., и . CAAP, том 431 из Lecture Notes in Computer Science, стр. 1-17. Springer, (1990)On the Aesthetics of Diagrams (Summary of Talk).. MPC, том 1422 из Lecture Notes in Computer Science, стр. 1-5. Springer, (1998)