Lasbahani Abdellatif, Mostafa Chhiba, A. Tabyaoui, Oussama Mjihil. A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration. In Jamal Zbitou, Setti Larbi, El Mokhtar En-Naimi, editors, Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, ICCWCS'17, Larache, Morocco, November 14-16, 2017. ACM, 2017. [doi]
Abstract is missing.