Ce numéro propose une version révisée et étendue de cinq articles présentés lors des journées AFALD (Approches formelles dans l'assistance au développement de logiciels). Ils portent sur les techniques et outils formels dans la construction de logiciels et de systèmes, les méthodes et processus permettant d'exploiter les techniques et outils, les processus mettant en oeuvre ces techniques, etc. ©Electre 2024
Revue des Sciences et Technologies de l'Information
Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel
Jean-Pierre Jacquot
Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomoas aeruginosa
Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multipériodique
Paru le : 19/02/2016
Thématique : Langages de programmation
Auteur(s) : Non précisé.
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Non précisé.
Contributeur(s) : Directeur de publication : Catherine Dubois - Directeur de publication : Régine Laleau
Série(s) : Non précisé.
ISBN : 978-2-7462-4746-8
EAN13 : 9782746247468
Reliure : Broché
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 0.6 cm
Poids: 240 g
Carte fidélité
Mollat Radio
