The OSATE Slicer: Graph-Based Reachability for Architectural Models

Sam Procter. The OSATE Slicer: Graph-Based Reachability for Architectural Models. Journal of Object Technology, 22(2):1-14, 2023. [doi]

Abstract

Abstract is missing.