Talk by David Harel on Wise Computing

When and where: Tuesday, October 20, 2015, from 16.15 till 17.15 hours, in Flux 0.01

Description

I will present a vision for a major change in the way complex software and systems are developed, by shifting the power balance between the human engineers and the development environment. In the proposed paradigm, which we term Wise Computing, the development environment is turned into a much smarter, proactive, creative and interactive stakeholder in development and maintenance. The wise development suite (WDS) will interact with us wisely, responding to our needs, and, utilizing extensive computing power “under its hood”. It will be able to explore, on its own, functionality and behavior under various “what-if“ conditions, and will be constantly investigating itself, in a sort of self-aware fashion. It will detect problems, including bad and conflicting behaviors, goals and requirements that are not met, inefficiency in execution, and unneeded complexities in specification and implementation. The WDS will then initiate and propose changes and enhancements. The two-way interactions of the WDS with the system developers will be very high level, employing, e.g., natural language in both directions. In the talk I will demonstrate a preliminary and very modest wise development suite, which we view as a promising proof-of-concept.

Bio

Prof. David Harel is the Vice President of the Israel Academy of Sciences and Humanities, and has been at the Weizmann Institute of Science since 1980, serving in the past as Dean of the Faculty of Mathematics and Computer Science. He has worked in logic and computability, software and systems engineering, modeling biological systems and more. He invented Statecharts and co-invented Live Sequence Charts. Among his books are “Algorithmics: The Spirit of Computing” and “Computers Ltd.: What They Really Can't Do”. His awards include the ACM Karlstrom Outstanding Educator Award, the Israel Prize, the ACM Software System Award, the Eme”t Prize, and five honorary degrees. He is a Fellow of ACM, IEEE and AAAS, a member of the Academia Europaea and the Israel Academy of Sciences, and a foreign member of the US National Academy of Engineering and the American Academy of Arts and Sciences.