Pages that link to "Item:Q2873617"
From MaRDI portal
The following pages link to Formal specification generation from requirement documents (Q2873617):
Displaying 7 items.
- FDR explorer (Q1019020) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- Formal specification method for systems automation (Q2512041) (← links)
- Multiple Synchrony in MSC (Q5179361) (← links)
- Fundamental Approaches to Software Engineering (Q5428889) (← links)
- Guided Test Generation from CSP Models (Q5505607) (← links)
- PALM: A Technique for Process ALgebraic Specification Mining (Q6487936) (← links)