GitHub · Where software is built

Open

No due date

Last updated Aug 21, 2015

25% complete

Select all issues: List view

Verification of Dynamic Test Modell - Use Case Amsterdam - Utrecht

US-Concurrent-Verification-and-Validation

#299

· janWelte opened

on Aug 21, 2015

Write Verification of Transformers: Checks for SysML Constrain Checker

US-Concurrent-Verification-and-Validation

#192

· BerndHekele opened

on Mar 26, 2014

Verification Work: Update/ revive the Tools Artifacts Matrix

US-Provide-V&V-Process-Description

#191

· BerndHekele opened

on Mar 26, 2014

Verification Work: Behavioral testing done on SysML or SCADE level?

US-Verify-Behavioural-Model

#190

· BerndHekele opened

on Mar 26, 2014

Strategic Work: Verification Work

US-Concurrent-Verification-and-Validation

#189

· BerndHekele opened

on Mar 26, 2014

Strategic Work: write verification for transformations

US-Define-Data-Structure

#188

· BerndHekele opened

on Mar 26, 2014