Méthodes de spécification formelle : état de l’art et perspectives

Mohand Oussaïd Linda,

Méthodes de spécification formelle : état de l’art et perspectives.

Colloque international sur l’optimisation et les systèmes d’information (COSI) 12-14 juin 2005 Bejaia 2005.

  • Tout

  • 1995
  • 1996
  • 2001
  • 2002
  • 2003
  • 2004
  • 2005
  • 2006
  • 2008
  • 2009
  • 2011
  • 2015

  • BENNA Amel
  • BOULKRINAT Noue El Houda
  • MELLAH Hakima
  • MEZIANE Abdelkrim
  • MOHAND OUSSAID Linda
  • Titre
  • Date
  • Amel Benna, Merouane Bouloudene, Reda Naili – Douaouda , Vues actives sur le web, 3ème Inforum Sonatrach : Architectures des systèmes d’information , 29-30 Mars 2004, Alger Algérie.

      ( ! ) Warning: Invalid argument supplied for foreach() in /var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php on line 56
      Call Stack
      #TimeMemoryFunctionLocation
      10.0001230064{main}( ).../index.php:0
      20.19643926368JSite->render( ).../index.php:48
      30.41317076512JDocumentHTML->render( ).../application.php:268
      40.41317076584JDocumentHTML->_renderTemplate( ).../html.php:433
      50.42207112464JDocumentHTML->getBuffer( ).../html.php:652
      60.42207112696JDocumentRendererModules->render( ).../html.php:371
      70.42217113280JDocumentRendererModule->render( ).../modules.php:39
      80.42227121672JModuleHelper::renderModule( ).../module.php:107
      90.42247148312include( '/var/www/html/modules/mod_roksprocket/mod_roksprocket.php' ).../helper.php:173
      100.46997654624ModRokSprocket->render( ).../mod_roksprocket.php:39
      110.46997654624RokSprocket->render( ).../ModRokSprocket.php:22
      120.47607825480RokSprocket_Layout_Mosaic->renderBody( ).../RokSprocket.php:102
      130.47617827608RokCommon_Composite_Context->load( ).../RokSprocket_Layout_Mosaic.php:182
      140.47617849184include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/index.php' ).../Context.php:65
      150.47637851840RokCommon_Composite_Context->load( ).../index.php:49
      160.47637870976include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php' ).../Context.php:65
  • A. Meziane, NEI Bachari, Q.Naili La détection automatique de foyers « chauds » et foyers « froids » en scintigraphie osseuse. Journées d’études algéro-françaises sur l’imagerie médicale JETIM. Univeristé de Blida. 2004.

      ( ! ) Warning: Invalid argument supplied for foreach() in /var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php on line 56
      Call Stack
      #TimeMemoryFunctionLocation
      10.0001230064{main}( ).../index.php:0
      20.19643926368JSite->render( ).../index.php:48
      30.41317076512JDocumentHTML->render( ).../application.php:268
      40.41317076584JDocumentHTML->_renderTemplate( ).../html.php:433
      50.42207112464JDocumentHTML->getBuffer( ).../html.php:652
      60.42207112696JDocumentRendererModules->render( ).../html.php:371
      70.42217113280JDocumentRendererModule->render( ).../modules.php:39
      80.42227121672JModuleHelper::renderModule( ).../module.php:107
      90.42247148312include( '/var/www/html/modules/mod_roksprocket/mod_roksprocket.php' ).../helper.php:173
      100.46997654624ModRokSprocket->render( ).../mod_roksprocket.php:39
      110.46997654624RokSprocket->render( ).../ModRokSprocket.php:22
      120.47607825480RokSprocket_Layout_Mosaic->renderBody( ).../RokSprocket.php:102
      130.47617827608RokCommon_Composite_Context->load( ).../RokSprocket_Layout_Mosaic.php:182
      140.47617849184include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/index.php' ).../Context.php:65
      150.47687851840RokCommon_Composite_Context->load( ).../index.php:49
      160.47687870976include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php' ).../Context.php:65
  • A. Meziane Recalage d’images médicales par une méthode géométrique utilisant les polynômes orthogonaux Colloque International sur l'Optimisation et les Systèmes d'Information (COSI). Du 12 au 14 Juin 2005 Bejaia.

      ( ! ) Warning: Invalid argument supplied for foreach() in /var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php on line 56
      Call Stack
      #TimeMemoryFunctionLocation
      10.0001230064{main}( ).../index.php:0
      20.19643926368JSite->render( ).../index.php:48
      30.41317076512JDocumentHTML->render( ).../application.php:268
      40.41317076584JDocumentHTML->_renderTemplate( ).../html.php:433
      50.42207112464JDocumentHTML->getBuffer( ).../html.php:652
      60.42207112696JDocumentRendererModules->render( ).../html.php:371
      70.42217113280JDocumentRendererModule->render( ).../modules.php:39
      80.42227121672JModuleHelper::renderModule( ).../module.php:107
      90.42247148312include( '/var/www/html/modules/mod_roksprocket/mod_roksprocket.php' ).../helper.php:173
      100.46997654624ModRokSprocket->render( ).../mod_roksprocket.php:39
      110.46997654624RokSprocket->render( ).../ModRokSprocket.php:22
      120.47607825480RokSprocket_Layout_Mosaic->renderBody( ).../RokSprocket.php:102
      130.47617827608RokCommon_Composite_Context->load( ).../RokSprocket_Layout_Mosaic.php:182
      140.47617849184include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/index.php' ).../Context.php:65
      150.47727868240RokCommon_Composite_Context->load( ).../index.php:49
      160.47727887376include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php' ).../Context.php:65
  • Mohand Oussaïd Linda, Méthodes de spécification formelle : état de l’art et perspectives. Colloque international sur l’optimisation et les systèmes d’information (COSI) 12-14 juin 2005 Bejaia 2005.

      ( ! ) Warning: Invalid argument supplied for foreach() in /var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php on line 56
      Call Stack
      #TimeMemoryFunctionLocation
      10.0001230064{main}( ).../index.php:0
      20.19643926368JSite->render( ).../index.php:48
      30.41317076512JDocumentHTML->render( ).../application.php:268
      40.41317076584JDocumentHTML->_renderTemplate( ).../html.php:433
      50.42207112464JDocumentHTML->getBuffer( ).../html.php:652
      60.42207112696JDocumentRendererModules->render( ).../html.php:371
      70.42217113280JDocumentRendererModule->render( ).../modules.php:39
      80.42227121672JModuleHelper::renderModule( ).../module.php:107
      90.42247148312include( '/var/www/html/modules/mod_roksprocket/mod_roksprocket.php' ).../helper.php:173
      100.46997654624ModRokSprocket->render( ).../mod_roksprocket.php:39
      110.46997654624RokSprocket->render( ).../ModRokSprocket.php:22
      120.47607825480RokSprocket_Layout_Mosaic->renderBody( ).../RokSprocket.php:102
      130.47617827608RokCommon_Composite_Context->load( ).../RokSprocket_Layout_Mosaic.php:182
      140.47617849184include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/index.php' ).../Context.php:65
      150.47767868240RokCommon_Composite_Context->load( ).../index.php:49
      160.47767887376include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php' ).../Context.php:65
  • Mohand Oussaïd Linda, Vérification formelle des propriétés de sécurité des logiciels. Colloque international sur l’optimisation et les systèmes d’information (COSI) 12-14 juin 2005 Bejaia

      ( ! ) Warning: Invalid argument supplied for foreach() in /var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php on line 56
      Call Stack
      #TimeMemoryFunctionLocation
      10.0001230064{main}( ).../index.php:0
      20.19643926368JSite->render( ).../index.php:48
      30.41317076512JDocumentHTML->render( ).../application.php:268
      40.41317076584JDocumentHTML->_renderTemplate( ).../html.php:433
      50.42207112464JDocumentHTML->getBuffer( ).../html.php:652
      60.42207112696JDocumentRendererModules->render( ).../html.php:371
      70.42217113280JDocumentRendererModule->render( ).../modules.php:39
      80.42227121672JModuleHelper::renderModule( ).../module.php:107
      90.42247148312include( '/var/www/html/modules/mod_roksprocket/mod_roksprocket.php' ).../helper.php:173
      100.46997654624ModRokSprocket->render( ).../mod_roksprocket.php:39
      110.46997654624RokSprocket->render( ).../ModRokSprocket.php:22
      120.47607825480RokSprocket_Layout_Mosaic->renderBody( ).../RokSprocket.php:102
      130.47617827608RokCommon_Composite_Context->load( ).../RokSprocket_Layout_Mosaic.php:182
      140.47617849184include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/index.php' ).../Context.php:65
      150.47807868240RokCommon_Composite_Context->load( ).../index.php:49
      160.47807887376include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php' ).../Context.php:65
  • A. Meziane Les images numérisées dans les systèmes d’information hospitaliers. Colloque international sur l’optimisation et les systèmes d’information (COSI). Université Mouloud Mammeri Tizi Ouzou. 7-9 juin2004.  

      ( ! ) Warning: Invalid argument supplied for foreach() in /var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php on line 56
      Call Stack
      #TimeMemoryFunctionLocation
      10.0001230064{main}( ).../index.php:0
      20.19643926368JSite->render( ).../index.php:48
      30.41317076512JDocumentHTML->render( ).../application.php:268
      40.41317076584JDocumentHTML->_renderTemplate( ).../html.php:433
      50.42207112464JDocumentHTML->getBuffer( ).../html.php:652
      60.42207112696JDocumentRendererModules->render( ).../html.php:371
      70.42217113280JDocumentRendererModule->render( ).../modules.php:39
      80.42227121672JModuleHelper::renderModule( ).../module.php:107
      90.42247148312include( '/var/www/html/modules/mod_roksprocket/mod_roksprocket.php' ).../helper.php:173
      100.46997654624ModRokSprocket->render( ).../mod_roksprocket.php:39
      110.46997654624RokSprocket->render( ).../ModRokSprocket.php:22
      120.47607825480RokSprocket_Layout_Mosaic->renderBody( ).../RokSprocket.php:102
      130.47617827608RokCommon_Composite_Context->load( ).../RokSprocket_Layout_Mosaic.php:182
      140.47617849184include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/index.php' ).../Context.php:65
      150.47847884608RokCommon_Composite_Context->load( ).../index.php:49
      160.47847903744include( '/var/www/html/templates/rt_ximenia/roksprocket/layouts/mosaic/themes/default/item.php' ).../Context.php:65
charger plus maintenez SHIFT pour tout charger tout charger