Please use this identifier to cite or link to this item:
doi:10.22028/D291-46452 | Title: | Replicable theory |
| Author(s): | Kaminski, Benjamin Lucien |
| Language: | English |
| Title: | International Journal on Software Tools for Technology Transfer |
| Volume: | 27 |
| Issue: | 4 |
| Pages: | 411-414 |
| Publisher/Platform: | Springer Nature |
| Year of Publication: | 2025 |
| Free key words: | Replicability Theory Intuition |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Journal Article |
| Abstract: | In addition to the difficulties with replicating experiments or systems from some given theoretical description, we discuss the possibility that already the theory itself is poorly replicable. After explaining what we understand by theory replicability, we propose to scientifically evaluate whether or not the broader field of Logic, Semantics, and Verification in Computer Science suffers from systematic theory replicability problems. |
| DOI of the first publication: | 10.1007/s10009-025-00808-y |
| URL of the first publication: | https://link.springer.com/article/10.1007/s10009-025-00808-y |
| Link to this record: | urn:nbn:de:bsz:291--ds-464521 hdl:20.500.11880/40731 http://dx.doi.org/10.22028/D291-46452 |
| ISSN: | 1433-2787 1433-2779 |
| Date of registration: | 24-Oct-2025 |
| Faculty: | MI - Fakultät für Mathematik und Informatik |
| Department: | MI - Informatik |
| Professorship: | MI - Prof. Dr. Benjamin Kaminski |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| s10009-025-00808-y.pdf | 1,06 MB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
