ISSSR 2025 Keynote 1
Crossing Levels of Abstraction and Software Reliability
Abstract
A key component of human intelligence is abstract thinking or conducting abstraction, i.e., the ability to grasp and reason with concepts beyond concrete experiences (real but not tied to specific physical objects) to understand complex ideas, solve problems, and adapt to new situations. Abstract thinking involves summarising different abstractions, organizing them into abstraction levels, and converting an abstraction into another abstraction at the same level (transversely) or at different levels (longitudinally), i.e., crossing levels of abstraction. This talk proposes an approach to software development with a focus on software reliability based on crossing levels of abstraction.
Speaker
Professor Hongji Yang UK
Professor
University of Leicester
Professor Hongji Yang received B.S and M.S. degrees in computer science from Jilin University, China, and a Ph.D. degree in computer science from Durham University U.K., is working at the University of Leicester, has published 500+ refereed journal articles and conference papers, is interested in creative computing, software engineering, and Internet computing, and in 2010 became an IEEE Computer Society Golden Core member.