( en | de | ru )

 

Disambiguierung von "Harel, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantic Navigation Strategies for Scenario-Based Programming.

, und . VL/HCC, Seite 219-226. IEEE Computer Society, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David Harel

Dipak Harel

Nissim Harel

Aza Harel

Harel Seidenwerg

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Behavioral Inheritance of State-Based Objects., und . TOOLS (34), Seite 83-94. IEEE Computer Society, (2000)On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report), , und . LICS, Seite 478-488. IEEE Computer Society, (1990)Toward Verified Biological Models., , , , , , und . IEEE ACM Trans. Comput. Biol. Bioinform., 5 (2): 223-234 (2008)On the Total Correctness of Nondeterministic Programs.. Theor. Comput. Sci., (1981)Some Thoughts on Behavioral Programming.. FM, Volume 6664 von Lecture Notes in Computer Science, Seite 2. Springer, (2011)Generic Reactive Animation: Realistic Modeling of Complex Natural Systems., und . FMSB, Volume 5054 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2008)Visual Formalisms., und . Encyclopedia of Database Systems, Springer US, (2009)Rhapsody: A Complete Life-Cycle Model-Based Development System., , und . IFM, Volume 2335 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2002)On the Aesthetics of Diagrams.. NGITS, (1997)PlayGo: towards a comprehensive tool for scenario based programming., , , und . ASE, Seite 359-360. ACM, (2010)