- UmlCC to Darwin/FSP case study (presented at the 4th MDD4DRES international school).
This case study shows how to semi-automatically obtain both Darwin and LTS specifications from UML-based architectural models.
- ACME and Darwin case study.
This case study shows how to semi-automatically obtain ACME specifications from UML-based Darwin models.
The use case source files and its user guide are hosted here in our SourceForge account. The case studies are available as AMW use case at: here.