Erscheinungsdatum | Titel | Autor(en) |
2020 | Expanding Tracing Capabilities Using Dynamic Tracing Data | Ziegenhagen, D.; Speck, A.; Pulvermueller, E. |
2011 | Framework for business process verification | Speck, A.; Witt, S.; Feja, S.; Lotyzc, A.; Pulvermüller, E. |
2013 | Integrating validation techniques for process-based models | Speck, A.; Witt, S.; Feja, S.; Pulvermüller, E. |
2010 | Process model validation: Transforming process models to extended checking models | Pulvermüller, E. ; Speck, A.; Feja, S.; Witt, S. |
2012 | Rule determination and process verification using business capabilities | Stuht, T.; Speck, A.; Feja, S.; Witt, S.; Pulvermüller, E. |
2015 | Tool-based checking of business process models | Speck, A.; Witt, S.; Feja, S.; Pulvermüller, E. |
2019 | Using developer-tool-interactions to expand tracing capabilities | Ziegenhagen, D.; Speck, A.; Pulvermüller, E. |
2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
2015 | Visualization of checking results for graphical validation rules | Witt, S.; Feja, S.; Hadler, C.; Speck, A.; Pulvermüller, E. |