الرئيسية › دليل الباحثين › Amel Benabbou

Amel Benabbou

الانتماء : Université Oran 1 Ahmed Ben Bella

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

ORCIDOpenAlex

مجالات البحث

• Formal Methods in Verification
• Logic, programming, and type systems
• Model-Driven Software Engineering Techniques
• Advanced Software Engineering Methodologies
• Advanced Database Systems and Queries

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

• Precise use cases in a context-aware model-checking approach
  2018 · International Journal of Critical Computer-Based Systems
• Automated Context Formalization for Context-aware Specification Approach
  2018 · International Journal of Information System Modeling and Design
• An Automated Transformation Approach for Requirement Specification
  2016 · Procedia Computer Science · استُشهد به 2 مرة
• Context-aware approach for formal verification
  2016 · EAI Endorsed Transactions on Context-aware Systems and Applications · استُشهد به 1 مرة
• A High-level Formalism to Elaborate Context for a Context-aware Verification Approach
  2016 · HAL
• Specification-based Approach for Denotational Semantic of Orthogonal Object/Relational DBMS
  2014 · Procedia Computer Science

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

• Safia Nait Bahloul

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