Background
Harel, David was born on April 12, 1950 in London. Arrived in Israel, 1957. Son of Harold and Joyce Fisch.
(The book provides a detailed description of a set of lang...)
The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities (i.e., the functional building blocks-capabilities or objects) and the data that flows between them. These two languages are used to develop a conceptual model of the system, which can be combined with the system's physical, or structural model, described in a third language-Module-charts. The three languages are highly diagrammatic in nature, constituting full-fledged visual formalisms, complete with rigorous semantics. They are accompanied by a Data Dictionary for specifying additional parts of the model that are textual in nature.
http://www.amazon.com/gp/product/0070262055/?tag=2022091-20
(Providing a thorough, well-written and thoughtful study o...)
Providing a thorough, well-written and thoughtful study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms, this book is ideal for an introductory course emphasizing theory rather than programming
http://www.amazon.com/gp/product/0201504014/?tag=2022091-20
( Among the many approaches to formal reasoning about pro...)
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications.This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.
http://www.amazon.com/gp/product/0262082896/?tag=2022091-20
( Computer science is the science of the future, and alre...)
Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biology and biochemistry, similar to the role of mathematics in the physical sciences of the 20th century. In this award-winning best-seller, the author and his co-author focus on the fundamentals of computer science, which revolve around the notion of the algorithm. They discuss the design of algorithms, and their efficiency and correctness, the inherent limitations of algorithms and computation, quantum algorithms, concurrency, large systems and artificial intelligence. Throughout, the authors, in their own words, stress the ‘fundamental and robust nature of the science in a form that is virtually independent of the details of specific computers, languages and formalisms'. This version of the book is published to celebrate 25 years since its first edition, and in honor of the Alan M. Turing Centennial year. Turing was a true pioneer of computer science, whose work forms the underlying basis of much of this book.
http://www.amazon.com/gp/product/3642441351/?tag=2022091-20
engineer university professor computer scientist
Harel, David was born on April 12, 1950 in London. Arrived in Israel, 1957. Son of Harold and Joyce Fisch.
Bachelor of Science, Bar-Ilan University, Ramat-Gan, Israel, 1974. Master of Science, Tel Aviv (Israel) University, 1976. Doctor of Philosophy, Massachusetts Institute of Technology, 1978.
Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. He currently also serves as Vice President of the Israel Academy of Sciences and Humanities. Harel is best known for his work on dynamic logic, computability and software engineering.
In the 1980s he invented the graphical language of Statecharts, which has been adopted as part of the UML standard.
He has also published expository accounts of computer science, such as his award winning 1987 book "Algorithmics: The Spirit of Computing", and has presented series on computer science for Israeli radio and television He currently works on many diverse topics, including visual languages, graph layout, systems biology and the communication of odors.
Harel completed his Doctor of Philosophy at Massachusetts Institute of Technology between 1976 and 1978. In 1987, Harel co-founded the software company I-Logix, which as of 2006 has become part of International Business Machines Corporation. He is now working on a computer model of a nematode, "Caenorhabditis elegans", which was the first multicellular organism to have its genome completely sequenced.
The eventual completeness of such a model depends on his updated version of the Turing test.
He is a fellow of the Association for Computing Machinery (ACM), the Institute of Electrical and Electronics Engineers, the American Association for the Advancement of Science, and EATCS. 1986 Stevens Award for Software Development Methods.
(Providing a thorough, well-written and thoughtful study o...)
( Among the many approaches to formal reasoning about pro...)
( Computer science is the science of the future, and alre...)
( The best selling 'Algorithmics' presents the most impor...)
( Computer science is the science of the future, and alre...)
(The book provides a detailed description of a set of lang...)
("This is the International Edition. The content is in Eng...)
(New)
Institute of Electrical and Electronics Engineers. Israel Academy of Sciences and Humanities. American Academy of Arts and Sciences]
2010 Member of the Israel Academy of Sciences and Humanities
2014 Foreign Member of the National Academy of Engineering.
Children: Sarit, Hadas, Efrat, Yair, Tamar.