Photo Gallery

AMASS Prototype P2 Training: Ad hoc integration  of ReqIF (TRC)
AMASS Prototype P2 Training: Ad hoc integration of DNG (TRC)
AMASS Prototype P2 Training: Ad hoc integration of Rhapsody (TRC)
AMASS Prototype P2 Training: Variability Management at Process Level (MDH)
AMASS Prototype P2 Training: Variability Management at Assurance Case Level (MDH)
AMASS Prototype P2 Training: Variability Management at Product Level (MDH)
AMASS Prototype P2 Training: Parametrized architectures-ETCS model (FBK)
AMASS Prototype P2 Training: From Verification Studio to AMASS (TRC)
AMASS Prototype P2 Training: Generate documentation starting from a CHESS model (FBK)
AMASS Prototype P2 Training: Automatic transformations (TRC)
AMASS Prototype P2 Training: Product-based Multi-Concern Argument Fragment Generation (MDH)
AMASS Prototype P2 Training: Contract-based design and verfication with SAVONA (B&M)