L objet
Latest Publications

TOTAL DOCUMENTS

160
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Lavoisier Sas

1262-1137
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants

L objet ◽  
2008 ◽  
Vol 14 (4) ◽  
pp. 11-42
Author(s):  
Inès Mouakher ◽  
Jeanine Souquières ◽  
Francis Alexandre

Spécification et vérification d'un ordonnanceur en B via les automates temporisés

L objet ◽  
2008 ◽  
Vol 14 (4) ◽  
pp. 43-72 ◽  
Author(s):  
Odile Nasr ◽  
Miloud Rached ◽  
Jean-Paul Bodeveix ◽  
Mamoun Filali

Une approche formelle de la reconfiguration dynamique

L objet ◽  
2008 ◽  
Vol 14 (4) ◽  
pp. 73-102 ◽  
Author(s):  
Marianne Simonot ◽  
Maria-Virginia Aponte

scholarly journals Vérification automatique pour l'exécution sécurisée de composants Java

L objet ◽  
2008 ◽  
Vol 14 (4) ◽  
pp. 103-127
Author(s):  
Pierre Parrend ◽  
Stéphane Frénot

Lignes de produits logiciels et usines logicielles

L objet ◽  
2008 ◽  
Vol 14 (3) ◽  
pp. 15-31
Author(s):  
Nicolas Anquetil ◽  
Hugo Arboleda ◽  
Fabricio de Alexandria Fernandes ◽  
Angel Nuñez ◽  
Jean-Claude Royer

La traçabilité dans les lignes de produits logiciels

L objet ◽  
2008 ◽  
Vol 14 (3) ◽  
pp. 47-57
Author(s):  
Nicolas Anquetil ◽  
Joost Noppen ◽  
Ismênia Galvão

Modélisation orientée-aspects de systèmes de ligne de produits par des cas d'utilisations

L objet ◽  
2008 ◽  
Vol 14 (3) ◽  
pp. 59-73
Author(s):  
Stéphane S Somé ◽  
Pauline Anthonysamy

scholarly journals Formalisation et implémentation des interactions pour la simulation centrée individu

L objet ◽  
2008 ◽  
Vol 14 (1-2) ◽  
pp. 9-33 ◽  
Author(s):  
Yoann Kubera ◽  
Philippe Mathieu ◽  
Sébastien Picot
Load More ...
Sign in / Sign up

Export Citation Format

Share Document