Project Deliverables
See also the section Resources.
WP 1: Process model
- D1.3 New model of guideline development process (public report)
- Addendum Validated new model of guideline development process (public report)
WP 2: Development-Modelling part
- D2.2a Specification of formats of intermediate, Asbru and KIV representations (public report)
- D2.2bcd Models of selected guideline in intermediate, Asbru and KIV representations (public report)
- See also the addendum to the deliverale (Modelling Changes in the Guideline)
- D2.3a Mark-up & editing tool (restricted access prototype)
- See also the annex to the deliverable (DELT/A user manual)
- [Old] (GMT user manual)
- D2.3b Asbru-to-KIV translator (restricted access prototype)
- See also the annex to the deliverale (Complementary documentation)
- D2.4 Visualisation tool (restricted access prototype)
- D2.5 Library of design patterns for guidelines (public report)
WP 3: Development-Validation / Testing part
- D3.1 Asbru interpreter (restricted access prototype)
- D3.2b Testing of selected guideline (public report)
WP 4: Development-Verification part
- D4.2b Improved verification system (restricted access prototype)
- See also the annex to the deliverale (Complementary documentation)
- and the addendum to the deliverable Asbru semantics
- D4.2c Formal verification of selected guideline properties (public report)
- D4.3 Model-checking of selected guideline properties (public report)
WP 5: Deployment
- D5.1 Case-study in transformations for protocol development from guidelines (public report)
- D5.2 How to use model-checking for critiquing using medical guidelines (public report)
WP 6: Maintenance
- D6 Living proofs (restricted access prototype)
- See also the annex to the deliverale (Complementary documentation)
WP 8: Dissemination
- D8.1 Project brochure
- D8.2 Project Web site
- D8.3 Report on attended meetings (public report)