Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems

Aus SDQ-Wiki

The approach for analysing the confidentiality of data flows in architecture models that were created using the Palladio Component Model (PCM) and for generating Java code to be verified using KeY has moved to github:

github.com/KASTEL-SCBS/PCM2Prolog

github.com/KASTEL-SCBS/PCM2Java4KeY


Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-sdq-extern/index.php?title=Model-Driven_Specification_and_Analysis_of_Confidentiality_in_Component-Based_Systems&oldid=26091“