Méthodes formelles : point sur la Recherche.
Pierre Delort
L͢a͢ ͢v͢a͢l͢e͢u͢r͢ ͢d͢e͢ ͢l͢a͢ ͢T͢e͢c͢h͢n͢o͢l͢o͢g͢i͢e͢ - DSI et CDO AMAREXIA + Manager de Transition, Consultant & Dir. Scientifique.
La dernière réunion de l'ANDSI - Association Nationale des Directeurs des Systèmes d'Information - a été consacrée aux méthodes formelles, avec Olivier HERMANT enseignant chercheur au Centre de Recherche en Informatique de l’école des Mines de Paris et expert du sujet.
Le compte-rendu des interventions et débats ainsi que la présentation sont librement distribuables.
Notre prochaine réunion, le mardi 11 juin, sera consacrée aux SMART Standard de l'AFNOR, avec leur impact à venir sur les logiciels outillant tous les métiers, ainsi que les expérimentations en cours.
A cette occasion nous inviterons un nombre limité de DSI et de CDO qui pourront demander, de leur mail professionnel, une invitation à invitations@andsi.fr, cf. www.andsi.fr/invitations.
Cordialement, et toujours sur le Big Data.