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

 LISTE DES ARTICLES POUR LE VOL 22/1 - 2003
Editorial  [GRATUIT]
- pp.7-9
B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems
Daniel DOLLÉ, Didier ESSAMÉ, Jérôme FALAMPIN - pp.11-32
Développement formel d'un vérifieur embarqué de byte-code Java
Lilian BURDY, Ludovic CASSET, Antoine REQUET - pp.33-60
Spécifications et développements structurés dans la méthode B
Marie-Laure POTET - pp.61-88
B : passé, présent, futur
Jean-Raymond ABRIAL - pp.89-118
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule
Guilhem POUZANCRE, Jean-Philippe PITZALIS - pp.119-128
La recherche en B
Didier BERT - pp.129-130
L'enseignement de B
Henri HABRIAS - pp.131-132
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