Pages that link to "Item:Q833728"
From MaRDI portal
The following pages link to Using abduction and induction for operational requirements elaboration (Q833728):
Displaying 5 items.
- Deriving non-zeno behaviour models from goal models using ILP (Q973050) (← links)
- Deriving goals from a use-case based requirements specification (Q1614960) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Towards Operational Abduction from a Cognitive Perspective (Q3411845) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q6535944) (← links)