Menu

Diane PIPON

PARIS

Electionsmunicipales 2026

RETROUVEZ GRATUITEMENTLe résultat des municipales à Paris.

En résumé

Mes compétences :
DOORS
Agile Scrum
Methode B

Le résumé de ce profil est encore très bref.

Vous pouvez aider Diane à mieux valoriser son parcours en lui suggérant d'ajouter quelques détails supplémentaires.



Vous pouvez lui suggérer d'en écrire plus en lui envoyant un message. Pour cela ajoutez d'abord Diane à vos contacts.

Entreprises

  • Siemens Infrastructure and Cities - Ingenieur developpement / validation logiciel

    2009 - maintenant A partir des spécifications équipement, l'ingénieur développement/validation logiciel spécifie et réalise les développements ou la validation
    d'un ou plusieurs logiciels contenus dans ces équipements.

    Liste des activités associées à la fonction
    - Établit la rédaction des spécifications des logiciels, des cahiers de tests, ainsi que des documents techniques associés (en français ou en
    anglais).

    - Réalise le codage et/ou la validation des logiciels (tests, preuve formelle) dans le respect des procédures société (utilisation de la méthode B)

    - Participe à l'intégration des logiciels au niveau équipement et/ou au niveau sous-système.

    - Assure le support en usine ou sur site pendant la phase de mise au point.

    - Assure les corrections d’anomalies et les évolutions demandées sur les logiciels.

  • Siemens (Siemens Transportation Systems) - Stagiaire

    2009 - 2009 stage de 6 mois (fin d'étude)

    Le stage s’inscrit dans le cadre du projet de recherche européen DEPLOY ( http://deploy-project.eu/index.html ), qui vise à
    appliquer dans le milieu industriel la méthode B.

    Dans le cas de STS, qui utilise déjà la méthode B pour le développement de ses logiciels, il s’agit d’appliquer la méthode B au
    niveau système, avec le B-événementiel, supporté par la plate-forme RODIN ( http://www.event-b.org/platform.html ).

    L’objectif du stage est de modéliser en B-événementiel un prototype simplifié de système ferroviaire et de prouver ce modèle.

  • Lip6 (laboratoire informatique de paris 6) (laboratoire de recherche en informatique) - Stagiaire

    2008 - 2008 Formalisation, Spécification et Implantation de politiques de contrôle d'accès avec l'atelier Focal

Formations

Réseau

Annuaire des membres :