Emplois actuels liés à Stage - Creation D’une Api de Gestion de Projets de Developpement Avec La Methode B - AixenProvence - CLEARSY

  • Stage de fin d'études

    il y a 5 jours

    Aix-en-Provence, France Onepoint group Temps plein

    Contribuez aux grandes transformations des entreprises et des acteurs publics en alliant innovation technologique et expertise métier, au service de nos clients et de la société pour les faire avancer durablement.Au-delà de la RSE, nous avons développé notre propre approche, RESET, qui englobe l’ensemble de nos engagements en matière de...

  • Stage - Template de Modele B Systeme Pour Du

    il y a 2 jours

    Aix-en-Provence, France CLEARSY Temps plein

    L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est formé d’un cœur,...

  • Testeur Api

    il y a 2 semaines

    Aix-en-Provence, France Potentiel IT Temps plein

    **A propos** Depuis plus de trois ans chez Potentiel-IT on développe une démarche inversée du recrutement. On est toujours à la recherche de projets innovants pour les Tech que l'on accompagne, on vous les raconte ici. Pour élaborer ton cahier des charges, contacte nous ! **Notre coup de coeur sur ce projet** La mission de la société qui souhaite...

  • Stage - Template de Modele B Systeme Pour Du Ferroviaire

    il y a 7 jours

    Aix-en-Provence, France CLEARSY Temps plein

    L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est formé d’un cœur,...

  • Animateur (H/F)

    il y a 14 heures

    Aix-en-Provence, France API Provence Temps plein

    API Provence, Association loi 1901, œuvre depuis sa création en 1990 pour promouvoir le droit au logement comme un droit fondamental. API Provence a pour objet de participer, dans la région PACA, à la mise en œuvre d’une politique d’accueil, d’accompagnement et d’insertion par l’habitat et par l’économique des jeunes, des familles, des...

  • Stage - Technicien Méthodes H/F

    il y a 1 semaine

    Aix-en-Provence, France Bertin Technologies Temps plein

    Vous avez le goût du challenge ? Vous êtes curieux(se) et avez envie d'effectuer un stage qui vous aidera à vous développer et à mettre en pratique vos compétences académiques ? Vous souhaitez intégrer une entreprise innovante et agile, pour apporter votre pierre à l'édifice d'une croissance soutenue ? Pour nous aider à atteindre nos objectifs de...

  • Stage - Developpement Banc de Tests Automatise

    il y a 4 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 4 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 4 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 7 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

Stage - Creation D’une Api de Gestion de Projets de Developpement Avec La Methode B

il y a 2 semaines

AixenProvence, France CLEARSY Temps plein

**Objectif**: Développer une bibliothèque qui regroupe l’ensembles des fonctionnalités actuelles pour consulter et manipuler un projet B, de telle sorte à ce qu’il soit possible de remplacer, dans l’interface graphique, la couche d’appel à l’interface en ligne de commandes par des appels directs à l’API offerte par cette bibliothèque.

**Contexte**:
La méthode B est utilisée pour développer formellement des composants logiciels et des modèles de systèmes critiques. Atelier B est un environnement de développement intégré (IDE) pour la méthode B qui est maintenu et développé par CLEARSY. Atelier B fournit à la fois une interface graphique et une interface en ligne de commande pour gérer le développement. Il n’existe actuellement pas d’API permettant d’accéder programmatiquement à l’état d’un projet pour le consulter ou le manipuler. En effet, l’interface graphique opère en créant des processus qui instancient l’interface en ligne de commandes et en communiquant avec ces processus.

Le stage est structuré comme suit
- Auto-formation B et Atelier B
- Identification des besoins à partir de : 2.1 les besoins actuels de l’interface graphique en terme d’accès à l’état d’un projet. 2.2 la partie de l’interface en ligne de commande que l’on souhaite pouvoir interpréter en utilisant la bibliothèque (certaines commandes sont aujourd’hui obsolètes)
- Rédiger une spécification détaillée de l’API à développer : cette spécification servira d’entrant pour le développement de la bibliothèque ainsi que pour le développement du banc de test.
- Définir un calendrier par étapes de la mise en oeuvre de la bibliothèque, de sa documentation, et de son banc de test (développement itératif).
- Réalisation des différentes étapes du calendrier
- Créer une nouvelle interface en lignes de commandes, compatible avec la précédente sur la partie identifiée en -2.1 et -2.2.

**Contraintes technologiques**:

- L’interface en ligne de commandes actuelle est en langage C. L’interface graphique est en C++. Le stagiaire devra savoir naviguer confortablement dans le code existant.
- La documentation devra être rédigée en anglais, la spécification pourra être rédigée en français ou en anglais. Les documents seront préparés en utilisant le format Markdown ou équivalent.
- La bibliothèque devra être accessible depuis l’interface graphique (C++), et avoir une efficacité comparable ou supérieure à celle de l’interface en ligne de commandes actuelle.
- La bibliothèque sera amenée à accéder au système de fichiers et à faire des appels à des outils externes (communication interprocessus).
- La bibliothèque devra être développée dans un langage pouvant être compilé et exécuté dans des environnements Windows, Linux, macOS, en ayant un minimum de dépendances externes.
- Le code sera hébergé sur le serveur gitlab de CLEARSY et une procédure d’intégration continue devra être mise en place.
- Le choix du langage dans lequel la bibliothèque sera développé sera guidé par les critères précédents.

**Compétences recherchées**:

- Solides connaissances de C/C++
- Gestion de configuration avec Git

**Localisation : Aix-Lyon**

**Durée : 6 mois**

**Niveau : Bac +5**

Pour postuler merci d’envoyer un Cv et une Lettre de motivation à l’adresse:
Type d'emploi : Temps plein, Stage
Durée du contrat : 6 mois

Rémunération : à partir de 900,00€ par mois

Avantages:

- Flextime
- Prise en charge du transport quotidien

Horaires:

- Travail en journée

Lieu du poste : En présentiel