2 papers
cs.SE2025
DarTwin made precise by SysMLv2 -- An Experiment
Øystein Haugen, Stefan Klikovits, Martin Arthur Andersen +4
The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Speci…
cs.AI2025
Decision Oriented Technique (DOTechnique): Finding Model Validity Through Decision-Maker Context
Raheleh Biglari, Joachim Denil
Model validity is as critical as the model itself, especially when guiding decision-making processes. Traditional approaches often rely on predefined validity frames, which may not…