Technique et science informatiques RSTI série TSI Volume 34 N° 5/Septembre-Octobre 2015
Approches formelles pour le développement de logiciels

• 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

Retrouvez l'ensemble des numéros parus depuis 2001 de Technique et Science Informatiques, l'une des 4 Revues des Sciences et Technologies de l'Information (RSTI), sur RevuesOnline.