D. Harel

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Biting the silver bullet: toward a brighter future for system development

D. Harel (1992) · Institute of Electrical and Electronics Engineers (IEEE)

Using statecharts for hardware description and synthesis

D. Drusinsky and others (1989) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)

A programming language for the inductive sets, and applications

D. Harel and others (1982) · Automata, Languages and Programming (ICALP 1982) · Springer

Completeness issues for inductive assertions and Hoare's method

D. Harel and others (1976) · Tech. Rep