الرئيسية › دليل الباحثين › Wafa Chama

Wafa Chama

الانتماء : Université Constantine 2

• 3منشورات (انتماء جزائري)
• 5مجموع المنشورات
• 22الاستشهادات
• 3مؤشر h

OpenAlex

مجالات البحث

• Model-Driven Software Engineering Techniques
• Formal Methods in Verification
• Logic, programming, and type systems
• Business Process Modeling and Analysis
• Advanced Software Engineering Methodologies

المنشورات (3)

• Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars
  2015 · International Journal of Embedded and Real-Time Communication Systems · استُشهد به 3 مرة
• Using graph transformation and maude to simulate and verify UML models
  2013 · International Conference on Technological Advances in Electrical, Electronics and Computer Engineering · استُشهد به 3 مرة
• From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation
  2012 · Communications in computer and information science · استُشهد به 1 مرة

مجلات النشر

• International Journal of Embedded and Real-Time Communication Systems × 1
• International Conference on Technological Advances in Electrical, Electronics and Computer Engineering × 1
• Communications in computer and information science × 1

المنشورات حسب السنة

• 20151
• 20131
• 20121

التعاون العلمي

المؤسسات الشريكة : University Frères Mentouri Constantine 1

المؤلفون المشاركون

• Allaoua Chaoui
• Mouna Aouag
• Seidali Rehab
• Raida Elmansouri

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).