Technique et science informatiques RSTI série TSI Volume 34 N° 5/Septembre-Octobre 2015 Approches formelles pour le développement de logiciels
Auteurs : DUBOIS Catherine, LALEAU Régine
- 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.
Date de parution : 02-2016
Numéro de revue de 142 p.
16x24 cm
Retiré de la vente