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 JÉZÉQUEL Jean-Marc, SOUQUIÈRES Jeanine
 LISTE DES ARTICLES POUR LE VOL 23/7 - 2004
Éditorial  [GRATUIT]
- pp.853-853
Validation des règles de base de l'Atelier B
Karim BERKANI, Catherine DUBOIS, Alain FAIVRE, Jérôme FALAMPIN - pp.855-878
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM
Frédéric BADEAU, Didier BERT, Sylvain BOULMÉ, Sylvain MÉTAYER, Marie-Laure POTET, Nicolas STOULS, Laurent VOISIN - pp.879-903
Stratégie de couverture de test à un haut niveau d'abstraction
Pierre BONTRON, Marie-Laure POTET - pp.905-928
La méthode B et l'ingénierie système
- pp.929-938
Les réseaux de régulation biologique : rencontre entre biologie et informatique. Production de mucus chez P. aeruginosa
- pp.939-946
Modèles de programmation non conventionnels
- pp.947-956
Évolution artificielle  [GRATUIT]
- pp.957-957
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