VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS. (2007). Sciences & Technologie. B, Sciences De l’ingénieur, 26, 61-66. https://revue.umc.edu.dz/b/article/view/235