Published February 9, 2025
| Version v1.0-zenodo
Software
Open
Software artefact for: "Modular Soundness Checking of Feature Model Evolution Plans", Din et al., TCS.
Authors/Creators
- 1. Universitetet i Bergen
-
2.
Western Norway University of Applied Sciences
-
3.
University of Oslo
Description
This is the software artefact for our paper with the same title in TCS.
Revised version of article with the same name, published in Springer LNCS for the 20th International Colloquium on Theoretical Aspects of Computing, December 2023, Lima, Peru. Based on doi://10.5281/zenodo.8362683.
Files
selabhvl/vsto-ictac23-haskell-v1.0-zenodo.zip
Files
(192.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:deacb0ab028f8f18b99588fa75e98cd0
|
192.0 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/selabhvl/vsto-ictac23-haskell/tree/v1.0-zenodo (URL)
- Journal article: 10.1016/j.tcs.2025.115451 (DOI)
Software
- Repository URL
- https://github.com/selabhvl/vsto-ictac23-haskell
- Programming language
- Haskell