Volume 26 – n° 7/2007
Technique et science informatiques
Sommaire Volume 26 – n° 7/2007
APPROCHES FORMELLES POUR LE DÉVELOPPEMENT DE LOGICIELS
AFADL2006
J.SOUQUIÈRES
Editorial . . . 795 Y.BONTEMPS,G.SAVAL,P.-Y.SCHOBBENS,P.HEYMANS
Synthèse de diagrammes d’états par classe à partir de diagrammes
de séquence . . . 797 A.IDANI,Y.LEDRU,D.BERT
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 . . . 819 D.BERT,H.RUÍZ BARRADAS
Propriétés de vivacité dans les systèmes B. Application à l’algorithme
de Ricart-Agrawala . . . 853 J.-M.MOTA,C.DUBOIS
Raffinement de modèles topologiques en B événementiel.
Des droites aux 2-G-cartes . . . 883
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com