Grupo Alarcos · Conference paper · 2006

Extending OCL for Security Requirements and Traceability

Eduardo Fernández-Medina Patón, Mario Piattini Velthuis

WAFOCA 2006: 1st International Workshop on Algebraic Foundations for OCL and Applications · 2006