Presents a mixed-method-derived, portable SysML verification process demonstrated in two tool-chains that handles behavioral and interface requirements beyond parametric diagrams.
ISO/IEC/IEEE 15288:2023 , year =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Framework maps SSM outputs to SysML v2 concepts using KerML and ISO 42010 alignment for traceable stakeholder context in system architecture.
citing papers explorer
-
Automated SysML-Based Verification of Discipline-Specific Models
Presents a mixed-method-derived, portable SysML verification process demonstrated in two tool-chains that handles behavioral and interface requirements beyond parametric diagrams.
-
Towards Formalising Stakeholder Context using SysML v2
Framework maps SSM outputs to SysML v2 concepts using KerML and ISO 42010 alignment for traceable stakeholder context in system architecture.