HM-Req supplies a controlled natural language for human-monitoring requirements in CPS together with a dashboard that links those requirements to stakeholder values and surfaces conflicts.
Towards a DSL to formal- ize multimodal requirements
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
HM-Req supplies a controlled natural language for human-monitoring requirements in CPS together with a dashboard that links those requirements to stakeholder values and surfaces conflicts.