- k
Data from: Quantification of Correctness with Palladio and KeY: Case Study...
- radar.kit.edu
- radar-service.eu
tarUpdated Jun 21, 2023
Share
Facebook
Twitter
EmailClick to copy linkLink copiedCiteFrederik Reiche; Jonas Schiffl; Alexander Weigl (2023). Quantification of Correctness with Palladio and KeY: Case Study Data [Dataset]. http://doi.org/10.35097/1274tar(479744 bytes)Available download formatsUnique identifierhttps://doi.org/10.35097/1274Dataset updatedJun 21, 2023Dataset provided byKarlsruhe Institute of TechnologyAuthorsFrederik Reiche; Jonas Schiffl; Alexander WeiglDescriptionIn our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY. Here, we publish the corresponding Palladio Component Model files as well as the generated source code, in order to make them publicly available.
- t
Quantification of correctness with palladio and key: case study data -...
- service.tib.eu
Updated Nov 28, 2024ShareFacebookTwitterEmailClick to copy linkLink copiedCite(2024). Quantification of correctness with palladio and key: case study data - Vdataset - LDM [Dataset]. https://service.tib.eu/ldmservice/dataset/rdr-doi-10-35097-1274Dataset updatedNov 28, 2024LicenseAttribution-ShareAlike 4.0 (CC BY-SA 4.0)https://creativecommons.org/licenses/by-sa/4.0/
License information was derived automaticallyDescriptionAbstract: In our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY. Here, we publish the corresponding Palladio Component Model files as well as the generated source code, in order to make them publicly available. TechnicalRemarks: # README: Case Study (Age of Maturity) This archive contains the Palladio artifacts of the case study "AgeOfMaturity" of the Technical-Report "Model-driven Quantification of Correctness with Palladio and KeY" (DOI: 10.5445/IR/1000128855). The structure of this archive is as follows: The folder "PalladioModels" contains the Palladio Component Model Eclipse Project of the "AgeOfMaturity" use case The folder "DependencySolverResults" contains output files with the results of the solved "AgeOfMaturity" case study as described in the report The folder "GeneratedJavaCode" contains Java-Code generated with the PCM2Java Project
Not seeing a result you expected?
Learn how you can add new datasets to our index.
FacebookTwitterEmailData from: Quantification of Correctness with Palladio and KeY: Case Study Data
In our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY. Here, we publish the corresponding Palladio Component Model files as well as the generated source code, in order to make them publicly available.