----------------- Description -----------------
In this zip we provide a set of artifacts for a software of an irrigation system (AquaLush) and the traceability links among these artifacts. 
AquaLush is a case study that was initially developed as an illustrative example for the book: Introduction to Software Engineering Design: Processes, Principles and Patterns with UML2, Christopher Fox, Addison Wesley, 2006.

----------------- Folder content -----------------
The following documents/data are provided:

1- Software requirements specification (Folder Artifacts)
2- User-level requirements (Folder Artifacts)
3- Use cases (Folder Artifacts)
4- Architecture document (Folder Artifacts)
5- Detailed design document (Folder Artifacts)
6- Source code (Folder Code)
7- Unit tests (Folder Code)
8- High-level tests (Folder Code)
9- Traceability links among artifacts (Folder linkedArtifacts)

Documents 1, 2, 3, 4, 5 and 6 are taken from the book mentioned in the description.

----------------- Format -----------------
All textual documents are available in HTML as well as in a format compatible with IBM RATIONALE DOORS. 

UML diagrams have been extracted from the architecture and design documents and are available in three formats: XMI, images and Rhapsody compatible format.

All traceability links are specified in the HTML files contained in the folder linkedArtifacts.
Linked UML diagrams are provided in _Aqualush_Design_Documents_AquaLushs_Model.htm. The identifiers of the UML elements in the HTML file are different from those used in the XMI document. Therefore we provide a mapping among the identifiers of the two documents in the file:  Artifacts/UML/XMI/mappingHTML_XMI.txt 

----------------- Contact -----------------
If you have questions or suggestions concerning the benchmark, please contact charrada@ifi.uzh.ch.