Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction).

The article provides an introduction to the track Programming - What is Next?: The Role of Documentation , organized by Klaus Havelund and Bernhard Steffen as part of ISoLA 2022: the 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Software has to run on machines, but it also has to be understood by humans. The latter requires some form of documentation of the software, which explains what it does if the human is a user of the software, and how it does it if the user is a programmer who wants to modify the software. Documentation is usually the neglected artifact. This track attempts to focus attention on documentation as a first-class citizen of the software development process.