Mon 6 Oct 2025 11:30 - 12:00 at CHS 540 - Session 2: Traceability and Verification

Traceability of design artifacts is key to software maintainability, yet little empirical evidence exists on UML model evolution in long existing FOSS projects. We refreshed a 2017 dataset—comprising 251 class diagrams across 81 projects—with 735 diagrams from December 2024. Despite a nearly three‐fold increase in raw diagram count, our concept‐tracing analysis found virtually no substantive maintenance: early results show most diagrams remained unchanged or experienced only cosmetic updates. Only one diagram update corresponded to a security design proposal. These findings suggest UML dormancy, highlighting a disconnect between model intent and practice in FOSS.

Presentation slides (2025-10-06_MODELS-C.pptx)2.36MiB

Mon 6 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Session 2: Traceability and VerificationSAM Conference at CHS 540

Online

10:30
30m
Talk
Bridging the V-Model: Early Pre-Verification of Digital System Architectures via Estimation and Back-AnnotationRemote
SAM Conference
Christian Seifert Graz University of Technology, Christian Steger Graz University of Technology, Tiberio Fanti NXP Semiconductors Austria GmbH Co&KG
11:00
30m
Talk
Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded SystemsRemote
SAM Conference
Jawher Jerray LIUPPA Université de Pau et des pays de l'Adour Pau France, Bastien Sultan Télécom Paris, Polytechnic Institute of Paris, Ludovic Apvrille Télécom Paris
11:30
30m
Talk
Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS ProjectsRemote
SAM Conference
Zaki Pauzi University of Groningen, Andrea Capiluppi University of Groningen
File Attached