| Date of Award | 2001 |
|---|---|
| Original language | English |
| Supervisor | Matthias Jarke (Jury), Jean FICHEFET (Jury), Éric Dubois (Jury), Naji Habra (Jury) & PIERRE-YVES SCHOBBENS (Supervisor) |
Keywords
- Requirements Engineering
- validation
- animation
- scenarios
- temporal logic
- Petri nets
- CASE tool
- traceability.