Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Productions scientifiques
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Autre Accès ferméPlusieurs sources 2
Development of Critical Systems with UML/OCL and FoCaLiZe
A maintainable and iterative development approach of critical systems with FoCaLiZe
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles, Renaud Rioboo, Messaoud Abbas
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès fermé 5
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès fermé 3
A Comparative Analysis of Service Composition Approaches for the Internet of Things
Farida Retima, Saber Benharzallah
A Salient Object Detection Technique Based on Color Divergence
Sana Sahar Guia, Abdelkader Laouid, Reinhardt Euler, Mohammed Amine Yagoub, Ahcène Bounceur, Mohammad Ali A. Hammoudeh
Pages 1-62020Autre Accès fermé 1
A Cost-effective Deep Active Learning for Object Detection in Automated Driving Systems
Mohib Khebbache, Salim Bitam, Abdelhamid Mellouk
International Journal of Computing and Digital SystemsVolume 14، (1)، Pages 839-8542023Article Accès ouvert 1
YOLOv8 model for monitoring ghout degradation in the El Oued region, southeastern Algeria
Faouzi Mohammed Lacheheb, Nabil Mega, Akram Mohamed Seddiki, Abdelmonem Miloudi, Mohamed Nadhir Abid, Ishak Guemari, Azzeddine Laouid, Abderrahmane Khechekhouche
Environmental resilience through artificial intelligence: innovations in monitoring and management
Atif Khurshid Wani, Farida Rahayu, Ilham Ben Amor, Munleef Quadir, Mala Murianingrum, Parnidi Parnidi, Anjuman Ayub, Supriyadi Supriyadi, Sakiroh Sakiroh, Saefudin Saefudin et 2 autres
Environmental Science and Pollution ResearchVolume 31، (12)، Pages 18379-183952024Article Accès fermé 88
Rapid Automatized Naming and Visual Searching in Arabic-Speaking Children With and Without Dyslexia: The Potential Effect of Color
Smaïl Layes, Sana Tibi, Marjolaine Cohen, Linda J. Lombardino
الأفعال الماضية بين البناء للفاعل والبناء للمفعول ودلالاتها في القراءات القرآنية
مجلة علوم اللغة العربية وآدابهاVolume 13، (1)، Pages 1381-13942021Article Accès ferméPlusieurs sources
New Gradient EDGE Detection Method Based on Caputo k-Fractional Derivative
Ahfouda Belhadi, Bachir Dehda, Abdelaziz Azeb Ahmed, Fares Yazid, Fatima Siham Djeradi
EFFECTS OF THE RAMEAL WOOD TECHNIQUE ON SANDY SOIL GROWN IN POTATOES IN SOUF (ALGERIAN SAHARA)
A. Zaater, F. Kaci, Smail Mehda, R. Belmessaoud, Mabrouka Oustani
Journal of Fundamental and Applied SciencesVolume 10، (3)، Pages 193-2082018Article Accès ouvertPlusieurs sources 2
Building Detection in High-Resolution Remote Sensing Images by Enhancing Superpixel Segmentation and Classification Using Deep Learning Approaches
Ayoub Benchabana, Mohamed Khireddine Kholladi, Ramla Bensaci, Belal Khaldi
Optimization of the Impact of Dune Sand, Recycled Rubber Aggregates, and Clay Brick Waste on Eco-Mortar Mechanical Strength by the Taguchi Method
Mohamed Zohaïr Kaab, Brahim Athamnia, Tarek Djedid, Hamad Khelaifa
International journal of engineering research in AfricaVolume 67، Pages 67-782023Article Accès ouvert
CHROMIUM-RICH Zn–Cr ALLOYS: ELECTROCHEMICAL DEPOSITION, STRUCTURE AND CORROSION RESISTANCE
Tahraoui Louiza, Malika Diafi, A. AIDI, Boubaker Benhaoua, Unit of Renewable Energy Development in Arid Zones (UDERZA), Univ. ElOued, El Oued 39000, Algeria
Digest Journal of Nanomaterials and BiostructuresVolume 16، (1)، Pages 191-1962021Article Accès ouvert 6