Technique et science informatiques RSTI série TSI volume 34 n° 5/septembre-octobre 2015 ; approches formelles pour le développement de logiciels

• Date de parution : 19/02/2016
• Editeur : Hermes Science Publications
• EAN : 9782746247468
• Série : (-)
• Support : Papier

• Nombre de pages : 142
• Collection : (-)
• Genre : Informatique - Internet
• Thème : Informatique - Internet
• Prix littéraire(s) : (-)

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires, R. Ben Ayed, S.
Collart-Dutilleul, P. Bon, Y. Ledru, A. Idani - pp.495-521 Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par... Voir plus

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires, R. Ben Ayed, S.
Collart-Dutilleul, P. Bon, Y. Ledru, A. Idani - pp.495-521 Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation, L.
Mohand-Oussaid, I. Ait-Sadoune, Y. Ait-Ameur, M. Ahmed-Nacer - pp.523-548 Premières leçons sur la spécication d'un train d'atterrissage en B Événementiel, J. Jacquot - pp.549-573 Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa, E. Gallet, M. Manceny, P., P. Ballarini - pp.575-600 Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique, R. Wyss, F. Boniol, J. Forget, C.
Pagetti - pp.601-626