TY  - SER
AU  - Lamsweerde, Axel Van
AU  - Wiliemet, Lairent
TI  - Inferring Declarative Requirements Specifications from Operational Scenarios
KW  - lightweight
KW  - Specification
KW  - Scenario-Based Requirements Elicitation
ER  -