Technique et science informatiques
Sommaire Volume 31 – n° 6/2012
APPROCHES FORMELLES POUR LE DÉVELOPPEMENT DE LOGICIELS
711 Éditorial – YAMINE AÏT AMEUR
713 Spécification et mécanisme de détection de flots d’information illégaux Illegal information flow specification and detection mechanism MATHIEU JAUME,VALÉRIE VIET TRIEM TONG,GUILLAUME HIET 743 Apport d’un prototype spécifié en Z dans le redéveloppement
d’un outil de test
Using a Z specification as a prototype in a redevelopment project YVES LEDRU,LYDIE DU BOUSQUET
769 Adaptation sémantique des protocoles des composants par les automates d’interface
Semantic adaptation of components protocols by the interface automata
SAMIR CHOUALI,SEBTI MOUELHI,HASSAN MOUNTASSIR
797 Formalisation de contextes et d’exigences pour la validation formelle de logiciels embarqués
Context and requirement modeling for formal validation of embedded software
PHILIPPE DHAUSSY,FRÉDÉRIC BONIOL,JEAN-CHARLES ROGER, AMINE RAJI,YVES LE TRAON,BENOIT BAUDRY
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