Browsing by Author Speck, Andreas

Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)
2020Capturing Tracing Data Life Cycles for Supporting Traceability.Ziegenhagen, Dennis; Pulvermueller, Elke ; Speck, Andreas
2010Developer-friendly verification of process-based systemsPulvermueller, Elke ; Feja, Sven; Speck, Andreas
2011Formalizing Business Process SpecificationsSpeck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel
2010PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking ModelsPulvermüller, Elke ; Speck, Andreas; Feja, Sven; Witt, Sören
2011Verification of e-Commerce Business ProcessesFeja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H.