Desiree - a Refinement Calculus for Requirements Engineering
Li Fenglin, John Mylopoulos · Unitn-eprints PhD (University of Trento) · 2016
This publication includes: - A Ph.D. thesis: **Desiree - a Refinement Calculus for Requirements Engineering** - A detailed evaluation of the Desiree framework, including tool, tutorials, case study, questionnaires, and an experiment report. The experiment report (``Desiree.Evaluation.pdf’’) introduces the a set of evaluations we have performed to evaluate the Desiree framework, including: - Assessing the coverage of our requirements ontology by applying it to all the 625 requirements in the PROMISE dataset; - Evaluating the expressiveness of our description-based language by using it to rewrite all the 625 requirements in the dataset; - Illustrating our methodology by performing a realistic case study; - Evaluating the the effectiveness of the entire Desiree framework through three controlled experiments. The materials are structured as follows: ``` ├── Case.Study.Meeting.Scheduler ├── Experiments ├── LICENSE.md ├── Questionnaire ├── README.md ├── Report - Desiree.Evaluation.pdf ├── Thesis - Desiree.pdf └── Tool ```