MOST [P4] 1. Analysis and Reachability in GraphWare (3/3)

  • 17 views

  • 0 comments

  • 0 favorites

  • hochgeladen 22. September 2022

Overview of the Lecture

Graph analysis, reachability and transformation based on Datalog (Semmle .QL, TGreQL). Traceability in the ReDeCT megamodel (between requirements, design, code, and test).

Tags:
Berechtigung: 1

0 Kommentare

Es gibt noch keine Kommentare. Fügen Sie einen Kommentar hinzu.