Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)

Autor: Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde Lilia Bouziane

Publikováno v: Automated Reasoning ISBN: 9783031107689

We describe , an automated theorem prover for first-order logic that relies on a concurrent search procedure to find tableau proofs, with concurrent processes corresponding to individual branches of the tableau. Since branch closure may require insta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d68b790126da88f5d5171056b735febc
https://doi.org/10.1007/978-3-031-10769-6_22

From Monolithic Architecture Style to Microservice one Based on a Semi-Automatic Approach

Autor: Pascal Zaragoza, Christophe Dony, Rahina Oumarou Mahamane, Abdelhak-Djamel Seriai, Anfel Selmadji, Hinde Lilia Bouziane

Publikováno v: ICSA

Due to its tremendous advantages, microservice architectural style has become an essential element for the development of applications deployed on the cloud and for those adopting the DevOps practices. Nevertheless, while microservices can be used to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a2855fdbbeb1ce422d82d5e91502786e
https://doi.org/10.1109/icsa47634.2020.00023

Recovering runtime architecture models and managing their complexity using dynamic information and composite structures

Autor: Christophe Dony, Hinde-Lilia Bouziane, Soumia Zellagui, Chouki Tibermacine, Ghizlane El Boussaidi, Abdelhak-Djamel Seriai

Publikováno v: SAC
33rd Symposium on Applied Computing
SAC: Symposium on Applied Computing
SAC: Symposium on Applied Computing, Apr 2018, Pau, France. pp.1454-1456, ⟨10.1145/3167132.3167420⟩

International audience; Program comprehension during software maintenance is a difficult task, hence the need to support it by recovering the as-built architecture of the system to be maintained. In this paper, we propose a method to recover runtime

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1990c6ec242c8556420ab9aa0278b014
https://doi.org/10.1145/3167132.3167420

Re-architecting OO Software into Microservices

Autor: Christophe Dony, Rahina Oumarou Mahamane, Hinde Lilia Bouziane, Abdelhak-Djamel Seriai, Anfel Selmadji

Publikováno v: Service-Oriented and Cloud Computing ISBN: 9783319998183
ESOCC

Due to its tremendous advantages, microservice architectural style has become an essential element for the development of applications deployed on the cloud and for those adopting the DevOps practices. Migrating existing applications to microservices

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9a8c083d74232375e0e3e2f86492644b
https://doi.org/10.1007/978-3-319-99819-0_5

Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation

Autor: Soumia Zellagui, Christophe Dony, Hinde Lilia Bouziane, Chouki Tibermacine, Abdelhak-Djamel Seriai

Publikováno v: 29th International Conference on Software Engineering & Knowledge Engineering
SEKE: Software Engineering and Knowledge Engineering
SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. pp.450-455, ⟨10.18293/SEKE2017-119⟩
SEKE

International audience; Modularity in Object-Oriented (OO) applications has been a major concern since the early years of OO programming languages. Migrating existing OO applications to Component-Based (CB) ones can contribute to improve modularity,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1bf88021764745682334949e587c93ee
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01706084/document