Towards Formalising Stakeholder Context using SysML v2
Fuente:
arXiv
Saved in:
| Main Authors: | Harrison, Matthew, Carlin, John, Liu, Chengyuan, Dunnett, Sarah, Ji, Siyuan |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Uncertainty Modeling for SysML v2
by: Zhang, Man, et al.
Published: (2026)
by: Zhang, Man, et al.
Published: (2026)
SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
by: Lewis, Charles, et al.
Published: (2026)
by: Lewis, Charles, et al.
Published: (2026)
Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)
by: Sadik, Ahmed R., et al.
Published: (2024)
Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)
by: Wheaton, James S., et al.
Published: (2024)
Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)
by: Chambers, Candice, et al.
Published: (2025)
A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)
by: Beers, Lasse, et al.
Published: (2024)
LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
by: Li, Zirui, et al.
Published: (2025)
by: Li, Zirui, et al.
Published: (2025)
Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)
by: Raedler, Simon, et al.
Published: (2023)
A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)
by: Dudek, Wojciech, et al.
Published: (2023)
Paving the Way for SysML v2: An ESA MBSE Methodology Implementation Review
by: Matteo Duroy, et al.
Published: (2026)
by: Matteo Duroy, et al.
Published: (2026)
Bacterial chemotaxis control process analysis with SysML
by: James D. Johansen
Published: (2024)
by: James D. Johansen
Published: (2024)
aiXcoder-7B-v2: Training LLMs to Fully Utilize the Long Context in Repository-level Code Completion
by: Li, Jia, et al.
Published: (2025)
by: Li, Jia, et al.
Published: (2025)
SysLLMatic: Large Language Models are Software System Optimizers
by: Peng, Huiyun, et al.
Published: (2025)
by: Peng, Huiyun, et al.
Published: (2025)
RECOVER: Toward Requirements Generation from Stakeholders' Conversations
by: Voria, Gianmario, et al.
Published: (2024)
by: Voria, Gianmario, et al.
Published: (2024)
DarTwin made precise by SysMLv2 -- An Experiment
by: Haugen, Øystein, et al.
Published: (2025)
by: Haugen, Øystein, et al.
Published: (2025)
SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
by: Zaman, Tarannum Shaila, et al.
Published: (2026)
by: Zaman, Tarannum Shaila, et al.
Published: (2026)
Towards Explainable Stakeholder-Aware Requirements Prioritisation in Aged-Care Digital Health
by: Xiao, Yuqing, et al.
Published: (2026)
by: Xiao, Yuqing, et al.
Published: (2026)
Towards Richer Challenge Problems for Scientific Computing Correctness
by: Sottile, Matthew, et al.
Published: (2025)
by: Sottile, Matthew, et al.
Published: (2025)
AI as Consumer and Participant: A Co-Design Agenda for MBSE Substrates and Methodology
by: Ji, Siyuan
Published: (2026)
by: Ji, Siyuan
Published: (2026)
SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)
by: Veschetti, Adele, et al.
Published: (2024)
A Proxy Stakeholder Approach to Requirements Engineering for Inclusive Navigation
by: Wang, Wei, et al.
Published: (2026)
by: Wang, Wei, et al.
Published: (2026)
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
by: Farrell, Marie, et al.
Published: (2021)
by: Farrell, Marie, et al.
Published: (2021)
SysTradeBench: An Iterative Build-Test-Patch Benchmark for Strategy-to-Code Trading Systems with Drift-Aware Diagnostics
by: Cao, Yuchen, et al.
Published: (2026)
by: Cao, Yuchen, et al.
Published: (2026)
Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach
by: Muttillo, Vittoriano, et al.
Published: (2024)
by: Muttillo, Vittoriano, et al.
Published: (2024)
Proto-ML: An IDE for ML Solution Prototyping
by: Coban, Selin, et al.
Published: (2026)
by: Coban, Selin, et al.
Published: (2026)
Unified External Stakeholder Engagement and Requirements Strategy
by: Alnhari, Ahmed Abdulaziz, et al.
Published: (2024)
by: Alnhari, Ahmed Abdulaziz, et al.
Published: (2024)
Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications
by: Sridhar, Chandrasekar, et al.
Published: (2025)
by: Sridhar, Chandrasekar, et al.
Published: (2025)
Buggin: Automatic intrinsic bugs classification model using NLP and ML
by: Bhandari, Pragya, et al.
Published: (2025)
by: Bhandari, Pragya, et al.
Published: (2025)
DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
by: Rao, Nikitha, et al.
Published: (2024)
by: Rao, Nikitha, et al.
Published: (2024)
Supporting Stakeholder Requirements Expression with LLM Revisions: An Empirical Evaluation
by: Mircea, Michael, et al.
Published: (2026)
by: Mircea, Michael, et al.
Published: (2026)
What do AI/ML practitioners think about AI/ML bias?
by: Pant, Aastha, et al.
Published: (2024)
by: Pant, Aastha, et al.
Published: (2024)
Performance Smells in ML and Non-ML Python Projects: A Comparative Study
by: Belias, François, et al.
Published: (2025)
by: Belias, François, et al.
Published: (2025)
From Technical Excellence to Practical Adoption: Lessons Learned Building an ML-Enhanced Trace Analysis Tool
by: Shahedi, Kaveh, et al.
Published: (2025)
by: Shahedi, Kaveh, et al.
Published: (2025)
Requirements Satisfiability with In-Context Learning
by: Santos, Sarah, et al.
Published: (2024)
by: Santos, Sarah, et al.
Published: (2024)
Towards UAF Implementation in SysML V2
by: Aurelijus Morkevicius, et al.
Published: (2024)
by: Aurelijus Morkevicius, et al.
Published: (2024)
Self-Admitted Technical Debt in LLM Software: An Empirical Comparison with ML and Non-ML Software
by: Selvanayagam, Niruthiha, et al.
Published: (2026)
by: Selvanayagam, Niruthiha, et al.
Published: (2026)
Mind the Gap: A Decade-Scale Empirical Study of Multi-Stakeholder Dynamics in VR Ecosystem
by: Lu, Yijun, et al.
Published: (2025)
by: Lu, Yijun, et al.
Published: (2025)
BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems
by: Stalnaker, Trevor, et al.
Published: (2023)
by: Stalnaker, Trevor, et al.
Published: (2023)
GAISSALabel: A tool for energy labeling of ML models
by: Duran, Pau, et al.
Published: (2024)
by: Duran, Pau, et al.
Published: (2024)
Reducing Token Usage of State-in-Context Agents using Minification
by: Hrubec, Nicolas, et al.
Published: (2026)
by: Hrubec, Nicolas, et al.
Published: (2026)
Similar Items
-
Uncertainty Modeling for SysML v2
by: Zhang, Man, et al.
Published: (2026) -
SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
by: Lewis, Charles, et al.
Published: (2026) -
Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024) -
Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024) -
Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)