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 YAMINE AÏT AMEUR

 LISTE DES ARTICLES POUR LE VOL 31/6 - 2012
SOMMAIRE  [GRATUIT]
- pp.709-710
ÉDITORIAL  [GRATUIT]
Yamine AÏT-AMEUR - pp.711-712
Spécification et mécanisme de détection de flots d’information illégaux
Mathieu JAUME, Valérie VIET TRIEM TONG, Guillaume HIET - pp.713-742
Apport d’un prototype spécifié en Z dans le redéveloppement d’un outil de test
Yves LEDRU, Lydie DU BOUSQUET - pp.743-767
Adaptation sémantique des protocoles des composants par les automates d’interface
Samir CHOUALI, Sebti MOUELHI, Hassan MOUNTASSIR - pp.769-796
Formalisation de contextes et d’exigences pour la validation formelle de logiciels embarqués
Philippe DHAUSSY, Frédéric BONIOL, Jean-Charles ROGER, Amine RAJI, Yves LE TRAON, Benoit BAUDRY - pp.797-826
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