A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration. - Lasbahani Abdellatif; Mostafa Chhiba; Abdelmoumen Tabyaoui; Oussama Mjihil (ICCWCS, 2017)

Deals with integrating of security specifications during software design phase using MDA approach. - Lasbahani Abdellatif; Mostafa Chhiba; Oussama Mjihil (ICC, 2017)