default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICAASE 2014: Constantine, Algeria
- Zaïdi Sahnoun:
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings 1294, CEUR-WS.org 2014 - Amel Boustil, Ramdane Maamri, Zaïdi Sahnoun:
Ontology-driven and Community-based Framework for Services Description and Selection of Composite Services. 12-19 - Mohamed Merabet, Sidi Mohamed Benslimane:
Hybrid Web Service Selection Based on Functional and Non-Functional Properties. 20-26 - Fateh Latreche, Faiza Belala:
Mop-ECATNets for Formal Modeling Dynamic Web Services. 27-34
Session 2: Aspect Oriented Software
- Amina Boudjedir, Toufik Benouhiba, Djamel Meslati:
Specifying and Verifying Aspect-Oriented Systems in Rewriting Logic. 36-43 - Imène Saidi, Sihem Amer-Yahia, Safia Nait Bahloul:
An Approach to Diversify Entity Search Results. 44-51 - Mohamed Merabet, Sidi Mohamed Benslimane:
A Multi-Objective Hybrid Particle Swarm Optimization-based Service Identification. 52-62
Session 3: Agent-Based Software Engineering
- Ahmed T. Dib, Zaïdi Sahnoun:
Formal Specification of Multi-Agent System Architecture. 65-72 - Said Brahimi, Ramdane Maamri, Zaïdi Sahnoun:
Validation and Verification of Agent and Multi-agent Plans in Dynamic Environment. 73-82 - Amel Boumaza, Ramdane Maamri:
Specification and Verification of Timed Semantic web Services. 83-90
Session 4: Software Architecture
- Sahar Smaali, Aïcha Choutri, Faïza Belala:
K-Maude Definition of Dynamic Software Architecture. 92-99 - Amina Guendouz, Djamal Bennouar:
Component-Based Specification of Software Product Line Architecture. 100-107 - Manel Smatti, Mohamed Ahmed-Nacer:
Dealing with Deviations on Software Process Enactment: Comparison Framework. 108-115 - Farah A. Zemri, Djamila Hamdadou:
Integration of Multi Criteria Analysis Methods to a Spatio Temporal Decision Support System for Epidemiological Monitoring. 116-123
Session 5: Formal Methods & Software Engineering
- Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni:
Maximality-based Region Graph: A Novel Alternative. 125-132 - Rachida Boucebsi, Faiza Belala, Lakhdar Derdouri:
Modeling Channel Allocation via BRS: Case of WMNs. 133-139 - Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman:
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. 140-147 - Yacine Kissoum, Sara Kerraoui, Mohamed L. Boughaouas:
Smart Home for Elderly: Modeling and Simulation. 148-155
Session 6: Tools Presentation
- Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo:
Generating FoCaLiZe Specifications from UML Models. 157-164 - Zakaria Benzadri, Chafia Bouanaka, Faiza Belala:
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. 165-170 - Abdelkader Bouguessa, Boudjemaa Boudaa, Leila A. Mebarki:
Adaptation of Service-Based Context-Aware Applications with FraSCAti Platform. 171-179
Posters Session
- Leila Melit, Nadjib Badache:
A Highly Adaptive Leader Election Algorithm for Mobile Ad Hoc Networks. 181-184 - Ali Sahnoun, Ramdane Maamri:
Petri Net Modeling Dynamic Context of Ambient Systems. 185-188 - Khaled Benali, Sidi Ahmed Rahal:
OntoWM: An Ontology for Unification and Description of Web Mining. 189-192 - Mebarka Yahlali, Abdallah Chouarfia:
Software Component Quality Evaluation. 193-196 - Ouarda Rachidiou, Okba Hamri:
Attributes Propagation on FEA Model. 197-200 - Salaheddine Kabou, Sidi Mohamed Benslimane:
A New Distributed Anonymization Protocol to Satisfy Multiple Data Providers Privacy Requirements. 201-204 - Khoutir Bouchbout, Nassim Iklef:
An MDA Approach for Process-Based Collaborative Systems Development. 205-213
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
