ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

couverture du numéro

APPROCHES FORMELLES POUR LE DÉVELOPPEMENT DE LOGICIELS
sous la direction de CATHERINE DUBOIS , RÉGINE LALEAU

 LISTE DES ARTICLES POUR LE VOL 34/5 - 2015
SOMMAIRE  [GRATUIT]
- pp.491-492
INTRODUCTION  [GRATUIT]
Catherine DUBOIS, Régine LALEAU - pp.493-494
Formalismes basés sur les rôles pour la modélisation et la validation des règles d’exploitation ferroviaires
Rahma BEN AYED, Simon COLLART-DUTILLEUL, Philippe BON, Yves LEDRU, Akram IDANI - pp.495-521
Modélisation formelle d’IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation
Linda MOHAND-OUSSAID, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed AHMED-NACER - pp.523-548
Premières leçons sur la spécification d’un train d’atterrissage en B Événementiel
Jean-Pierre JACQUOT - pp.549-573
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa
Emmanuelle GALLET, Matthieu MANCENY, Pascale Le Gall , Paolo BALLARINI - pp.575-600
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique
Rémy WYSS, Frédéric BONIOL, Julien FORGET, Claire PAGETTI - pp.601-626
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier