Searching for authors named "David Harel" – sorted by Relevance.
103 documents found, showing 1 through 10.
Next 10 →
-
Hamiltonian Paths in Infinite Graphs
- …ISRAEL JOURNAL OF MATHEMATICS ?S (1991), 317-336 HAMILTONIAN PATHS IN INFINITE GRAPHS* BY DAVID…
- Cited by 9 (2 self) – Add To MetaCart
-
Towards a Theory of Recursive Structures
- …Towards a Theory of Recursive Structures* David Harel** Dept. of AppliedMathematics and Computer…
- Cited by 8 (0 self) – Add To MetaCart
-
Can Behavioral Requirements be Executed? (And why would we want to do so?)
- …Can Behavioral Requirements be Executed? (And why would we want to do so?) David Harel The Weizmann…
- Cited by 1 (0 self) – Add To MetaCart
-
Biting the Silver Bullet: Toward Brighter Future for System Development
- …Biting the Silver Bullet Toward a Brighter Future for System Development David Harel, Weizmann…
- Cited by 51 (2 self) – Add To MetaCart
-
Effective Transformations on Infinite Trees, with Applications to High Undecidability, Dominoes, and Fairness
- …, and Fairness DAVID HAREL The Weizmann Institute of Science, Rehovot, Israel Abstract. Elementary…
- Cited by 19 (2 self) – Add To MetaCart
-
On Visual Formalisms
- … using the higraph-based language of sea techarts. DAVID HAREL Visualizing information, especially…
- Cited by 475 (9 self) – Add To MetaCart
-
Statecharts: A Visual Formalism For Complex Systems
- … FOR COMPLEX SYSTEMS* David HAREL Department of Applied Mathematics, The Weizmann Institute of Science…
- Cited by 1770 (30 self) – Add To MetaCart
-
On Folk Theorems
- …Article On Folk Theorems David Harel IBM Thomas J. Watson Research Center Yorktown Heights, New…
- Cited by 15 (0 self) – Add To MetaCart
-
Can Programming Be Liberated, Period?
- …C O V E R F E A T U R E Can Programming Be Liberated, Period? David Harel Weizmann Institute…
- Cited by 4 (1 self) – Add To MetaCart
-
A Personal Account
- … where the diagrams themselves define the system’s behavior. by David Harel Statecharts in the Making: A…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
