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 Jeanine Souquières
 LISTE DES ARTICLES POUR LE VOL 26/7 - 2007
Sommaire  [GRATUIT]
- pp.793-793
Editorial  [GRATUIT]
- pp.795-796
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence
Yves BONTEMPS, Germain SAVAL, Pierre-Yves SCHOBBENS, Patrick HEYMANS - pp.797-817
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B
Akram IDANI, Yves LEDRU, Didier BERT - pp.819-851
Propriétés de vivacité dans les systèmes B. Application à l’algorithme de Ricart-Agrawala
Didier BERT, Héctor Ruíz BARRADAS - pp.853-882
Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes
Jean-Marc MOTA, Catherine DUBOIS - pp.883-908
“RCIS 2008” CALL FOR PAPERS  [GRATUIT]
- pp.909-910
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