Pragmatics Twelve Years Later: A Report on Lingua Franca

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering
1. Verfasser:	Hanxleden, Reinhard von (VerfasserIn)
Weitere Verfasser:	Lee, Edward A. (VerfasserIn), Fuhrmann, Hauke (VerfasserIn), Schulz-Rosengarten, Alexander (VerfasserIn), Domrös, Sören (VerfasserIn), Lohstroh, Marten (VerfasserIn), Batent, Soroush (VerfasserIn), Menard, Christian (VerfasserIn)
Pages:	2
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
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
Software System Documentation: Coherent Description of Software System Properties	2022	Broy, Manfred
Executable Documentation: From Documentation Languages to Purpose-Specific Languages	2022	Tegeler, Tim
Automating Software Re-engineering: Introduction to the ISoLA 2022	2022	Demeyer, Serge
Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits	2022	Demeyer, Serge
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
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

Alle Artikel auflisten