Technique et science informatiques
Sommaire Volume 34 – n° 5/2015
APPROCHES FORMELLES POUR LE DÉVELOPPEMENT DE LOGICIELS
493 Introduction –CATHERINE DUBOIS,RÉGINE LALEAU
495 Formalismes basés sur les rôles pour la modélisation et la validation des règles d’exploitation ferroviaires
Role-based formalisms for railway operating rules modeling and validation
RAHMA BEN AYED, SIMON COLLART-DUTILLEUL, PHILIPPE BON, YVES LEDRU,AKRAM IDANI
523 Modélisation formelle d’IHM multimodales en sortie
avec B Événementiel. Approche par généralisation en instanciation Outpout multimodal HCI formal modeling in Event-B.
Generalization and instantiation approach
LINDA MOHAND-OUSSAÏD,IDIR AÏT-SADOUNE,YAMINE AÏT-AMEUR, MOHAMED AHMED-NACER
549 Premières leçons sur la spécification d’un train d’atterrissage en B Événementiel
First lessons on the specification of a landing-system in Event-B JEAN-PIERRE JACQUOT
575 Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomoas aeruginosa
Study of Thomas’networks through validation of LTL properties for Pseudomoas aeruginosa
EMMANUELLE GALLET,MATTHIEU MANCENY,PASCALE LE GALL, PAOLO BALLARINI
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
492 TSI. Volume 34 – n° 5/2015
Technique et science informatiques
601 Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multipériodique
End-to-end real-time analysis in multi-périodic synchronous program RÉMY WYSS, FRÉDÉRIC BONIOL, JULIEN FORGET,CLAIRE PAGETTI
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
