Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « software »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
softpm < software < softwarereviews  Facettes :

List of bibliographic references indexed by software

Number of relevant bibliographic references: 253.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000012 (2016-06-06) Lautaro Dolberg [Luxembourg (pays)] ; Jerome Francois [France] ; Shihabur Chowdhury [Canada] ; Reaz Ahmed [Canada] ; Engel Thomas [Luxembourg (pays)] ; Raouf Boutaba [Canada]A Generic Framework to Support Application-Level Flow Management in Software-Defined Networks
000296 (2015-10) David Déharbe [Brésil] ; Stephan Merz [France]Software Component Design with the B Method — A Formalization in Isabelle/HOL
000444 (2015-07-16) Hamza Jeljeli [France]Hardware and Software Accelerators for Sparse Linear Algebra over Finite Fields
000850 (2014-12-03) Jérôme François [France] ; Olivier Festor [France]Anomaly Traceback using Software Defined Networking
000893 (2014-11) Stephan Merz [France] ; Jun Pang [Luxembourg (pays)]Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014)
000919 (2014-09-30) Jérôme François [Luxembourg (pays)] ; Lautaro Dolberg [Luxembourg (pays)] ; Olivier Festor [France] ; Thomas Engel [Luxembourg (pays)]Network Security through Software Defined Networking: a Survey
000A20 (2014-07-24) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]How Test Generation Helps Software Specification and Deductive Verification in Frama-C
000B63 (2014-05-13) Mehdi Ahmed-Nacer [France] ; Pascal Urso [France] ; François Charoy [France]Evaluating Software Merge Quality
000B77 (2014-05-05) Cristian Camilo Ruiz Sanabria [France] ; Olivier Richard [France] ; Joseph Emeras [France]Reproducible Software Appliances for Experimentation
000E52 (2014) Can Baskent [France]Which Society, Which Software?
001063 (2013-08-23) Joan Calvet [France]Dynamic Analysis of Malicious Software
001272 (2013-03-20) Adrien Kr Henbühl [France] ; Bertrand Kerautret [France] ; Isabelle Debled-Rennesson [France]TKDetection: a software to detect and segment wood knots
001503 (2013) Feng-Lin Li [Italie, République populaire de Chine]Requirements-Driven Software Service Evolution
001510 (2013) Tien-Dung Cao [Viêt Nam] ; Kevin Chiew [Viêt Nam]Protecting Software as a Service in the Clouds by Validation
001588 (2013) George Feuerlicht [République tchèque, Australie]Evaluation of Quality of Design for Document-Centric Software Services
001591 (2013) Sandro Javier Bola Os Castro [Colombie] ; Víctor Hugo Medina García [Colombie] ; Rubén González Crespo [Espagne, Niger]Emerging Concepts between Software Engineering and Knowledge Management
001816 (2012-12-07) Pierre Caserta [France]Static and Dynamic Analysis of Source Code and Software Visualization using the City Metaphor: contribution to enhance program understanding
001898 (2012-10-15) Yamine Ait Ameur [France] ; Dominique Méry [France]Handling Heterogeneity in Formal Developments of Hardware and Software Systems
001A41 (2012-07-02) Florence Le Ber [France] ; Jean-Francois Mari [France]GenExp-LandSiTes: a 2D Agricultural Generating Piece of Software
001A44 (2012-07) Joerg Hoffmann [France] ; Ingo Weber [Australie] ; Frank Kraft [Allemagne]SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management
001B30 (2012-05-21) Dominique Fohr [France] ; Odile Mella [France]CoALT: A Software for Comparing Automatic Labelling Tools

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "software" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "software" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    software
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022