| Assurance Provenance: The Next Challenge in Software Documentation
|
2022 |
Karsai, Gabor |
| Executable Documentation: Test-First in Action
|
2022 |
Smyth, Steven |
| Towards a Usable and Sustainable Deductive Verification Tool
|
2022 |
Beckert., Bernhard |
| DIME Days (ISoLA 2022 Track Introduction)
|
2022 |
Margaria, Tiziana |
| CIncOo Cloud: A Holistic Approach for Web-Based Language-Driven Engineering
|
2022 |
Bainczyk, Alexander |
| Models as Documents, Documents as Models
|
2022 |
Stevens, Perdita |
| Runtime Verification as Documentation
|
2022 |
Dams, Dennis |
| A Consolidated View on Specification Languages for Data Analysis Workflows
|
2022 |
Hilbrich, Marcus |
| A Notion of Equivalence for Refactorings with Abstract Execution
|
2022 |
Abusdal, Ole Jørgen |
| On Technical Debt in Software Testing - Observations from Industry
|
2022 |
Eldh, Sigrid |
| A Refactoring for Data Minimisation Using Formal Verification
|
2022 |
Lanzinger, Florian |
| Towards Continuous Quality Control in the Context of Language-Driven Engineering
|
2022 |
Bainczyk, Alexander |
| Using Supplementary Properties to Reduce the Need for Documentation
|
2022 |
Madsen, Ole Lehrmann |
| Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)
|
2022 |
Havelund, Klaus |
| Pragmatics Twelve Years Later: A Report on Lingua Franca
|
2022 |
Hanxleden, Reinhard von |
| Formalization of the AADL Run-Time Services
|
2022 |
Hatcliff, John |
| Verified Software Units for Simple DFA Modules and Objects in C
|
2022 |
Beringer, Lennart |
| A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool
|
2022 |
Hendriks, Dennis |
| Evaluation of Graphical Modeling of CVCD Workflows with Rig
|
2022 |
Teumert, Sebastian |
| Software System Documentation: Coherent Description of Software System Properties
|
2022 |
Broy, Manfred |
Tag hinzufügen