Popular repositories Loading

1. TransformationAADL2timedAutomata TransformationAADL2timedAutomata Public

   We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by…

   Assembly 8 1

2. EPassport-DesktopApp-managing-biometric-passports-integrating-anticodiv19-vaccination EPassport-DesktopApp-managing-biometric-passports-integrating-anticodiv19-vaccination Public

   This project try to improve the biometric passport such as can incorporate the vaccination record. we suggest the use of NoSQL databases that have been created to meet these requirements. We have d…

   HTML 2

3. Proconcour-DesktopApp-managing-recruitment-competitions Proconcour-DesktopApp-managing-recruitment-competitions Public

   Proconcour is an efficient desktop application for the management and organisation of recruitment competitions. © Mr. mohamed elkamel HAMDANE & Melle Randa KIAS & Melle Ghania LAMRI & Melle Aziza G…

   Java 1

4. EnvEditor-DesktopApp-implementation-robot-movement-algorithms EnvEditor-DesktopApp-implementation-robot-movement-algorithms Public

   EnvEditor is a desktop application that can simulate a lot of algorithms that control a robot's movements. Graduation final project in Constantine university. © Mr. Mohamed Elkamel HAMDANE & Mr. Ka…

   C++

5. An-agent-based-architecture-for-supporting-adaptability-in-a-workflow-environment An-agent-based-architecture-for-supporting-adaptability-in-a-workflow-environment Public

   This project provides an architecture-based agent to manage adaptability in a workflow system. The proposed architecture is mainly composed of two types of agents: an agent manager and several user…

   Java

6. SVSCA-Simulator-checking-automotive-air-conditioning-system SVSCA-Simulator-checking-automotive-air-conditioning-system Public

   SvScA is a simulator for specifying and verifying the automotive air conditioning system linked directly with the UPPAAL model checker. © Mr. mohamed elkamel HAMDANE & Mr Yahyaoui mehdi & Mlle Zoua…

   Java