Abstract is missing.
- Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen. 3-9 [doi]
- Software System Documentation: Coherent Description of Software System PropertiesManfred Broy. 10-27 [doi]
- Models as Documents, Documents as ModelsPerdita Stevens. 28-34 [doi]
- Using Supplementary Properties to Reduce the Need for DocumentationOle Lehrmann Madsen, Birger Møller-Pedersen. 35-59 [doi]
- Pragmatics Twelve Years Later: A Report on Lingua FrancaReinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard. 60-89 [doi]
- Assurance Provenance: The Next Challenge in Software DocumentationGabor Karsai, Daniel Balasubramanian. 90-104 [doi]
- Formalization of the AADL Run-Time ServicesJohn Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage. 105-134 [doi]
- Executable Documentation: Test-First in ActionSteven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen. 135-156 [doi]
- Runtime Verification as DocumentationDennis Dams, Klaus Havelund, Sean Kauffman. 157-173 [doi]
- Executable Documentation: From Documentation Languages to Purpose-Specific LanguagesTim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen. 174-192 [doi]
- Automating Software Re-engineering: Introduction to the ISoLA 2022 TrackSerge Demeyer, Reiner Hähnle, Heiko Mantel. 195-200 [doi]
- A Consolidated View on Specification Languages for Data Analysis WorkflowsMarcus Hilbrich, Sebastian Müller, Svetlana Kulagina, Christopher Lazik, Ninon De Mecquenem, Lars Grunske. 201-215 [doi]
- A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning ToolDennis Hendriks, Kousar Aslam. 216-236 [doi]
- Verified Software Units for Simple DFA Modules and Objects in CLennart Beringer. 237-258 [doi]
- A Notion of Equivalence for Refactorings with Abstract ExecutionOle Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz. 259-280 [doi]
- Towards a Usable and Sustainable Deductive Verification ToolBernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich. 281-300 [doi]
- On Technical Debt in Software Testing - Observations from IndustrySigrid Eldh. 301-323 [doi]
- Refactoring Solidity Smart Contracts to Protect Against Reentrancy ExploitsSerge Demeyer, Henrique Rocha, Darin Verheijke. 324-344 [doi]
- A Refactoring for Data Minimisation Using Formal VerificationFlorian Lanzinger, Mattias Ulbrich, Alexander Weigl. 345-364 [doi]
- DIME Days (ISoLA 2022 Track Introduction)Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen. 367-373 [doi]
- Evaluation of Graphical Modeling of CI/CD Workflows with RigSebastian Teumert, Tim Tegeler, Jonas Schürmann, Daniel Busch, Dominic Wirkner. 374-388 [doi]
- Towards Continuous Quality Control in the Context of Language-Driven EngineeringAlexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen. 389-406 [doi]
- Cinco Cloud: A Holistic Approach for Web-Based Language-Driven EngineeringAlexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen. 407-425 [doi]