Automated COSMIC-Based Analysis and Consistency Verification of UML Activity and Component Diagrams.

Asma Sellami, Mariem Haoues, Hanne Ben-Abdallah

Browse the full ENASE paper archive.