default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ISoLA 2022: Rhodes, Greece - Volume 2
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13702, Springer 2022, ISBN 978-3-031-19755-0
Programming - What is Next: The Role of Documentation
- Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen:
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). 3-9 - Manfred Broy:
Software System Documentation: Coherent Description of Software System Properties. 10-27 - Perdita Stevens:
Models as Documents, Documents as Models. 28-34 - Ole Lehrmann Madsen, Birger Møller-Pedersen:
Using Supplementary Properties to Reduce the Need for Documentation. 35-59 - Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard:
Pragmatics Twelve Years Later: A Report on Lingua Franca. 60-89 - Gabor Karsai, Daniel Balasubramanian:
Assurance Provenance: The Next Challenge in Software Documentation. 90-104 - John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage:
Formalization of the AADL Run-Time Services. 105-134 - Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen:
Executable Documentation: Test-First in Action. 135-156 - Dennis Dams, Klaus Havelund, Sean Kauffman:
Runtime Verification as Documentation. 157-173 - Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen:
Executable Documentation: From Documentation Languages to Purpose-Specific Languages. 174-192
Automated Software Re-engineering
- Serge Demeyer, Reiner Hähnle, Heiko Mantel:
Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. 195-200 - Marcus Hilbrich, Sebastian Müller, Svetlana Kulagina, Christopher Lazik, Ninon De Mecquenem, Lars Grunske:
A Consolidated View on Specification Languages for Data Analysis Workflows. 201-215 - Dennis Hendriks, Kousar Aslam:
A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. 216-236 - Lennart Beringer:
Verified Software Units for Simple DFA Modules and Objects in C. 237-258 - Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz:
A Notion of Equivalence for Refactorings with Abstract Execution. 259-280 - Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
Towards a Usable and Sustainable Deductive Verification Tool. 281-300 - Sigrid Eldh:
On Technical Debt in Software Testing - Observations from Industry. 301-323 - Serge Demeyer, Henrique Rocha, Darin Verheijke:
Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits. 324-344 - Florian Lanzinger, Mattias Ulbrich, Alexander Weigl:
A Refactoring for Data Minimisation Using Formal Verification. 345-364
DIME Days
- Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen:
DIME Days (ISoLA 2022 Track Introduction). 367-373 - Sebastian Teumert, Tim Tegeler, Jonas Schürmann, Daniel Busch, Dominic Wirkner:
Evaluation of Graphical Modeling of CI/CD Workflows with Rig. 374-388 - Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen:
Towards Continuous Quality Control in the Context of Language-Driven Engineering. 389-406 - Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen:
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. 407-425
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-13 19:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
