![](/images/graphics-bg.png)
Vers un enrichissement des comportements des design patterns par le langage de specification formelle lotos
المؤلف
المصدر
Sciences et Technologie : Sciences Appliquées
العدد
المجلد 2007، العدد 26 (31 ديسمبر/كانون الأول 2007)، ص ص. 61-66، 6ص.
الناشر
تاريخ النشر
2007-12-31
دولة النشر
الجزائر
عدد الصفحات
6
التخصصات الرئيسية
العلوم الهندسية والتكنولوجية (متداخلة التخصصات)
الموضوعات
الملخص FRE
La faiblesse sémantique des représentations actuelles des patterns entraîne des interpretations ambiguës et limite leur application.
La spécification formelle s'avère être un mécanisme très utile permettant l’adaptation de solutions à un problème d’architecture ou de conception d’un système.
L’objectif de cet article est de définir la description de patterns par intégration des approaches formelle et semi-formelle.
Nous décrivons une méthode de spécification de patterns, intégrant deux paradigmes, la méthode UML (semi- formelle) et le langage de spécification formelle LOTOS.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zaytuni, A.. 2007. Vers un enrichissement des comportements des design patterns par le langage de specification formelle lotos. Sciences et Technologie : Sciences Appliquées،Vol. 2007, no. 26, pp.61-66.
https://search.emarefa.net/detail/BIM-278118
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zaytuni, A.. Vers un enrichissement des comportements des design patterns par le langage de specification formelle lotos. Sciences et Technologie : Sciences Appliquées No. 26 (2007), pp.61-66.
https://search.emarefa.net/detail/BIM-278118
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zaytuni, A.. Vers un enrichissement des comportements des design patterns par le langage de specification formelle lotos. Sciences et Technologie : Sciences Appliquées. 2007. Vol. 2007, no. 26, pp.61-66.
https://search.emarefa.net/detail/BIM-278118
نوع البيانات
مقالات
لغة النص
الفرنسية
الملاحظات
Includes bibliographical references : p. 66
رقم السجل
BIM-278118
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)