Accompagnement en France

Préparer et suivre un projet web à distance.

Le cadrage, les contenus et les validations peuvent être échangés à distance. Voici les documents utiles, les points de décision et les situations qui demandent une organisation particulière.

Les 18 régions

Préparer votre projet avec les bons repères territoriaux.

Choisissez votre région : priorités de contenu, exemple de parcours, documents à réunir et ressources pratiques pour créer un site et organiser sa visibilité. CFSN propose un accompagnement à distance ; une intervention sur place est étudiée selon le besoin.

Les photos de ces pages sont générées par IA : paysages fictifs inspirés des territoires.

France métropolitaine et Corse

13 régions pour préparer votre projet.

Outre-mer

Guadeloupe, Guyane, Martinique, La Réunion et Mayotte.

Périmètre

Une collaboration nationale, des modalités à préciser.

CFSN propose un accompagnement numérique à distance aux artisans, indépendants, TPE et PME. La commune de votre entreprise sert à définir la clientèle et la zone effectivement desservie. Elle ne prouve pas une implantation CFSN près de chez vous.

Avant d'engager un projet, faites préciser le périmètre, les personnes responsables, les délais, les frais récurrents et les éléments transmis à la livraison. Les modalités retenues doivent apparaître dans une proposition écrite.

Les pages régionales détaillent les informations à préparer et des exemples de parcours. Les anciennes fiches départementales et communales restent regroupées dans cette page nationale. Cette rubrique ne constitue pas un annuaire de bureaux ou de références clients.

Quand un déplacement doit être organisé

Une séance photo, une captation ou une intervention sur un équipement physique ne se remplace pas par un échange en ligne. Indiquez le lieu, l'accès, les personnes disponibles et les contraintes horaires. La faisabilité, l'intervenant et les éventuels frais doivent être confirmés dans le devis avant toute réservation.

Horaires et disponibilité

Précisez votre fuseau horaire, vos créneaux et la personne habilitée à valider. Pour une activité saisonnière, distinguez la date souhaitée de lancement et la date à laquelle les contenus pourront être fournis.

Documents de travail

Quatre étapes, quatre validations concrètes.

Exemple d'organisation à adapter au périmètre convenu
ÉtapeÀ préparerDécision à valider
CadragePublic, problème observé, action attendue et contraintesPages indispensables, options reportées et critère de réussite
ContenusPrestations, conditions, coordonnées, images autoriséesExactitude des textes, droits de publication et informations manquantes
PrototypeVersion consultable sur téléphone et ordinateurNavigation et parcours principal avec des contenus représentatifs
Recette et transmissionScénarios de test, destinataires des demandes et inventaire des accèsTests réussis, anomalies restantes, responsabilités et maintenance

Cas pédagogique

Une entreprise qui reçoit des demandes hors de sa zone.

Un artisan prépare sa zone d’intervention avec une carte et un ordinateur
Illustration IA : scène fictive pour expliquer cette situation.

Un artisan intervient uniquement dans certains secteurs. Sa page indique pourtant « toute la région », et son formulaire ne demande pas la commune du chantier. Le problème à résoudre est la qualification de la demande.

  1. Écrire les communes ou conditions d'intervention réellement acceptées.
  2. Présenter ces conditions à proximité du bouton de contact.
  3. Demander la commune et les informations utiles dans le formulaire, sans collecter de données superflues.
  4. Tester une demande dans la zone puis une demande hors zone et vérifier les messages et leur réception.

Ce scénario est fictif. Il illustre une décision de conception ; il ne représente pas une réalisation ou un résultat client CFSN.

Structurer une présence locale utile · Préparer un formulaire de contact

Commencer

Envoyer un besoin qui peut être étudié.

Indiquez votre activité, l'adresse de votre site s'il existe, votre zone réelle d'intervention, le résultat attendu, les contenus disponibles et votre échéance. N'envoyez aucun mot de passe dans un message de contact.

La fiche de projet gratuite aide à organiser ces réponses et à distinguer les coûts connus des postes restant à chiffrer. Vous pouvez la transmettre au prestataire de votre choix.

Décrire mon projet

Données et ressources documentées

L’environnement économique d’un projet de site professionnel

Les commerces de matériel informatique et de télécommunication sont des catégories de proximité, pas un recensement des agences web. Les chambres consulaires documentent l’accompagnement des entreprises, sans se substituer au choix du prestataire numérique.

Équipements recensés — France

Insee : séries comparables, géographie au 1er janvier 2026 — France
Catégorie de la source201520202025Évolution 2020–2025Historique illustré
Magasin électroménager, matériel audio vidéo informatique
B321
12 70111 9039 774-2 129 (-17,9 %)201520202025Base zéro · échelle propre à cette ligne
Magasin de matériels de télécommunication
B322
4 6894 6855 327+642 (+13,7 %)201520202025Base zéro · échelle propre à cette ligne

Les valeurs absentes restent « Non renseigné ». Les évolutions portent sur la série comparable publiée par l’Insee, et non sur une soustraction entre deux annuaires. Les catégories peuvent regrouper plusieurs activités ; elles ne mesurent ni les ventes, ni les capacités d’accueil, ni la qualité des prestations.

Insee — Base permanente des équipements · publication du 2026-07-09 · consulté le 22/10/2026 · Licence Ouverte 2.0.

Précisions sur le relevé et la provenance

Fichier source : DS_BPE_EVOLUTION_2025_data.csv.

Adresse du relevé utilisé : https://www.insee.fr/fr/statistiques/fichier/8217532/DS_BPE_EVOLUTION_CSV_FR.zip.

Les dates des fiches peuvent être antérieures à celle du fichier. La présence dans ce relevé ne certifie pas une ouverture, une disponibilité ou une prise en charge actuelle. Vérifiez la fiche officielle avant une démarche ou un déplacement.

Explorer les entrées et leurs sources

Les résultats proviennent des relevés indiqués ci-dessous. La zone sélectionnée s’applique aux statistiques et aux lieux, tandis que les aliments, produits, métiers, fiches pratiques, activités, notions, certifications et bibliographies restent des référentiels nationaux. Les travaux de recherche couvrent des références nationales ou internationales.

Réinitialiser

442 résultats · page 1 sur 25 · jusqu’à 18 entrées affichées. Classement par année décroissante puis titre.

Explorer les revues et périodiques — 70 fiches HAL liées

Revues, périodiques et travaux associés

Rechercher un titre, une abréviation, un ISSN ou un éditeur renseigné, puis lire les références HAL associées à une fiche précise. Le répertoire couvre 86 notices liées dans la sélection du site, avant les autres filtres de recherche.

70 fiche(s) correspondant à la recherche · page 1 sur 4.

Revues et périodiques liés aux références retenues — ordre alphabétique
Titre dans le référentielISSN publiésÉditeur renseignéNotices de la sélection
Accident Analysis & Prevention
Revue HAL 9464
ISSN : 0001-4575
ISSN électronique : 1879-2057
Elsevier1
2023
Advanced Modeling and Simulation in Engineering Sciences
Revue HAL 117751
ISSN : 2213-7467
Springer2
2022–2023
Advanced Science
Revue HAL 109668
ISSN : 2198-3844
Wiley Open Access2
2025–2026
Animals
Revue HAL 112217
ISSN : 2076-2615
MDPI1
2021
Applied Catalysis B: Environmental
Revue HAL 10609
ISSN : 0926-3373
ISSN électronique : 1873-3883
Elsevier [1992-....]1
2022
Biochemistry
Revue HAL 3429
ISSN : 0006-2960
ISSN électronique : 1520-4995
American Chemical Society1
2026
Business & IT
Revue HAL 1607913
ISSN : 2570-7434
ISSN électronique : 2570-7434
Non renseigné1
2024
CHEMISTRY-SWITZERLAND
Revue HAL 1203127
Non renseignésNon renseigné1
2023
Communication - Commerce électronique
Revue HAL 24017
ISSN : 1292-8682
ISSN électronique : 1760-7949
Éditions du Juris-Classeur [1999-2004] - LexisNexis [2005-....]1
2006
Computational and Structural Biotechnology Journal
Revue HAL 107293
ISSN : 2001-0370
Elsevier1
2026
Computer Standards and Interfaces
Revue HAL 12037
ISSN : 0920-5489
ISSN électronique : 1872-7018
Elsevier1
2026
Décisions Marketing
Revue HAL 25876
ISSN : 0779-7389
Association Française du Marketing1
2000
Electronics
Revue HAL 109186
ISSN : 2079-9292
MDPI1
2023
En vue - Lettre d'information de l'INSA de Lyon
Revue HAL 66278
Non renseignésINSA de lyon1
2009
Environmental Science : Atmospheres
Revue HAL 175132
ISSN : 2634-3606
Royal Society of Chemistry1
2025
Environmental Science & Policy
Revue HAL 12951
ISSN : 1462-9011
ISSN électronique : 1873-6416
Elsevier1
2021
European Journal of Mechanics - A/Solids
Revue HAL 13059
ISSN : 0997-7538
Elsevier1
2026
European Journal of Mechanics - B/Fluids
Revue HAL 13060
ISSN : 0997-7546
ISSN électronique : 1873-7390
Elsevier1
2025
Sources et méthode du répertoire des revues HAL

Source : HAL et son référentiel des revues, CCSD. Complément de métadonnées relevé le 23 octobre 2026, associé aux références documentaires du 22 octobre 2026. Les métadonnées sont réutilisables sous CC0 ; les droits des textes intégraux restent propres à chaque document.

Seules les références portant un titre de revue dans le relevé initial sont interrogées. L’identifiant numérique du document, son identifiant HAL, sa version et son titre de revue doivent correspondre avant d’utiliser son identifiant de revue. La fiche cible doit être récupérée dans le référentiel. Un identifiant direct est privilégié ; une correspondance d’ancien identifiant n’est utilisable que si elle est explicitement publiée et univoque. Une référence non confirmée conserve ses informations d’origine, sans lien ajouté.

Les homonymes restent séparés par leurs identifiants. Ni le titre seul, ni un ISSN, ni le nom d’un éditeur ne servent à fusionner les fiches. L’absence de champ ne prouve pas l’absence d’éditeur ou d’identifiant. Les statuts techniques de HAL ne constituent pas une appréciation scientifique.

Les nombres portent sur les notices de la sélection du site, pas sur l’ensemble du contenu d’une revue. Des notices différentes peuvent décrire un même travail. Aucun facteur d’impact, nombre de citations, classement, tarif ou disponibilité n’est déduit. Les conditions actuelles d’accès, d’abonnement et de dépôt restent à vérifier auprès du périodique et sur la notice HAL.

Référentiel des revues et champs de l’API HAL · Lire les fiches de revues dans auréHAL · Principes et réutilisation CC0 des métadonnées HAL.

Explorer les disciplines — 142 domaines HAL dans cette sélection

Choisissez un domaine pour consulter les notices dont le code est publié dans HAL. Les effectifs portent sur toute la sélection du site, avant les autres filtres ; un identifiant HAL est compté une seule fois par domaine. Une notice peut figurer dans plusieurs domaines : les effectifs ne s’additionnent pas.

Libellés et codes du référentiel des domaines HAL, relevés le 23 octobre 2026. Le regroupement utilise les codes effectivement publiés dans les notices ; aucun rattachement supplémentaire n’est déduit des intitulés.

Colloques, congrès et rencontres cités — 113 intitulés dans cette sélection

Ces intitulés sont ceux publiés dans les notices HAL retenues par le site. Un intitulé identique peut couvrir plusieurs éditions ; les dates restent celles de chaque notice. Les variations d’écriture restent séparées. Les effectifs comptent une fois chaque identifiant HAL, avant les autres filtres.

Source : métadonnées HAL / CCSD, relevées le 23 octobre 2026. Ce répertoire décrit les travaux déposés ; il ne constitue pas un agenda d’inscription aux événements.

Lire des références de recherche sur logiciels, web et conception numérique. Les axes ci-dessous organisent cette sélection documentaire ; ils ne constituent pas une évaluation critique des travaux. Les références sont nationales ou internationales ; le choix d’un territoire ne filtre pas cette bibliographie. Rechercher un titre, un auteur, des mots-clés, un identifiant HAL ou un DOI.

Notices HAL — métadonnées récupérées le 22 octobre 2026
Titre et auteurs indexésType et datationRepères de la noticeApprofondir
A Comparative Investigation of the Mannose Binding Interface in DC-SIGN and MRC1 Carbohydrate Recognition Domains
Sina Geißler ; Sophie Sacquin-Mora
hal-05604666
Communication dans un congrès
Année du travail indiquée : 2026
Résumé : renseigné
DOI : non renseigné ou non interprété
Résumé, sujets et sources : hal-05604666
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05604666
A comparative investigation of the mannose binding interface in DC-SIGN and MRC1 carbohydrate recognition domains with all-atom molecular dynamics simulations
Sina Geissler ; Sophie Sacquin-Mora
hal-05465181
Article dans une revue
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05465181
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05465181
Accessibilité de la musique enregistrée pour la recherche et la création: bases de données libres et ouvertes
Josephine Simonnot
hal-05493031
Communication dans un congrès
Année du travail indiquée : 2026
Résumé : renseigné
DOI : non renseigné ou non interprété
Résumé, sujets et sources : hal-05493031
Notice officielle HAL
Air-stable subsurface two-dimensional hole gas with strong spin-orbit interaction in single layer Pt on Ge
Dan Wang ; Thomas Pierron ; Etienne Barre ; et 10 autre(s) auteur(s) indexé(s)
hal-05566581
Article dans une revue
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05566581
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05566581
Approche adaptative pour la réduction de l'énergie logicielle : de la modélisation comportementale aux retours personnalisés
Thomas Zaragoza
tel-05748649
Thèse
Année du travail indiquée : 2026
Résumé : renseigné
DOI : non renseigné ou non interprété
Résumé, sujets et sources : tel-05748649
Notice officielle HAL
Fichier principal signalé dans HAL : tel-05748649
Caractérisation de la gestion des contraintes en ingénierie de la construction : fondements pour un design d'interface écologique
Cyprien Pierre ; Alexis Heloir ; Christophe Kolski
hal-05753467
Communication dans un congrès
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05753467
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05753467
Convergence of a CutFEM for fluid-structure interaction with a deforming interface
Miguel Angel Fernández ; Buyang Li ; Maxim Olshanskii
hal-05716662
Pré-publication, Document de travail
Année du travail indiquée : 2026
Résumé : renseigné
DOI : non renseigné ou non interprété
Résumé, sujets et sources : hal-05716662
Notice officielle HAL
Couplage plasma-interface dans les décharges à barrière semiconductrice
Ayah Soundous Taihi
tel-05681902
Thèse
Année du travail indiquée : 2026
Résumé : renseigné
DOI : non renseigné ou non interprété
Résumé, sujets et sources : tel-05681902
Notice officielle HAL
Fichier principal signalé dans HAL : tel-05681902
Covalently Linked Peptides and Membrane Potential Enable CyaA Segment Translocation
Gaia Scilironi ; Nicolas Carvalho ; Jacinthe Frangieh ; et 7 autre(s) auteur(s) indexé(s)
hal-05783983
Article dans une revue
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05783983
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05783983
Développement d'un média d'interaction pour la communication humain-robot en coprésence et en téléprésence
Margo Biret
hal-05775616
Communication dans un congrès
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05775616
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05775616
Diminuer les frictions entre les utilisateurs et les mainteneurs de bibliothèques logicielles
Gustave Monce
tel-05674072
Thèse
Année du travail indiquée : 2026
Résumé : renseigné
DOI : non renseigné ou non interprété
Résumé, sujets et sources : tel-05674072
Notice officielle HAL
Fichier principal signalé dans HAL : tel-05674072
Enhancing decision-making in Industry 5.0 through adaptive human–machine interfaces: A systematic literature review
Salima Meftah ; M’hammed Sahnoun ; Mourad Messaadia ; et 1 autre(s) auteur(s) indexé(s)
hal-05474435
Article dans une revue
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05474435
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05474435
Error-related potentials detection to enhance human-robot collaboration: a mini review
David Achanccaray ; Aurélie Clodic ; Raphaëlle Roy
hal-05740675
Article dans une revue
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05740675
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05740675
Exploration of the Interaction Strength at the Interface of neutral Chalcogen Ligands and Gold Surfaces
Talia Alexandra Garzón ; Mary Tabut ; Monica Calatayud ; et 2 autre(s) auteur(s) indexé(s)
hal-05470351
Article dans une revue
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05470351
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05470351
Figma is a big black box:" The mismatch between the interface and its underlying structure
Carl Abou Saada Nujaim ; Victoria Meifeng Myot ; Michel Beaudouin-Lafon ; et 1 autre(s) auteur(s) indexé(s)
hal-05559726
Communication dans un congrès
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05559726
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05559726
Gradient damage model for simulating thermo–mechanical coupling: Interaction between thermal degradation and mechanical damage
Abdoussalam Mhadji ; Azdine Nait-Ali ; Benjamin Batiot ; et 1 autre(s) auteur(s) indexé(s)
hal-05597656
Article dans une revue
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05597656
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05597656
Implémenter le web5 avec la Boucle Psyco
Ryad Ben-El-Kezadri ; Salem Belhaj ; Samy Mahi
hal-05617257
Pré-publication, Document de travail
Année du travail indiquée : 2026
Résumé : renseigné
DOI : non renseigné ou non interprété
Résumé, sujets et sources : hal-05617257
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05617257
Interaction Methods in Generative AI Image Tools: A Review of Trends and Design Opportunities Across HCI and Industry
Hyerim Park ; Andre Luckow ; Malin Eiband ; et 1 autre(s) auteur(s) indexé(s)
hal-05550947
Communication dans un congrès
Année du travail indiquée : 2026
Résumé : renseigné
DOI : renseigné
Résumé, sujets et sources : hal-05550947
Notice officielle HAL
Fichier principal signalé dans HAL : hal-05550947
Provenance et lecture des références de recherche

Source : HAL, archive ouverte développée par le Centre pour la communication scientifique directe (CCSD). Métadonnées bibliographiques initiales récupérées le 22 octobre 2026, réutilisées sous CC0 1.0. Les droits du document lui-même sont précisés sur sa notice officielle.

Cette sélection retient au plus les 200 premiers résultats par recherche sur les titres et mots-clés de HAL, triés par date du travail décroissante, pour les années 2000 à 2026. Les titres et mots-clés sont contrôlés à nouveau pour les termes de chaque axe. Un identifiant HAL est compté une seule fois par site ; la version la plus élevée rencontrée dans les réponses retenues est conservée. Des notices différentes peuvent encore décrire un même travail. La sélection n’est pas exhaustive et son ordre ne constitue pas un classement de qualité.

Articles, communications, thèses, mémoires, rapports et prépublications ont des statuts documentaires distincts. Le dépôt dans une archive et le type indiqué ne suffisent pas à établir une évaluation par les pairs. Les résumés sont ceux fournis dans les métadonnées, attribués aux auteurs de la notice ; ils restent à lire avec le travail complet et son contexte. Leur présence ne vaut pas recommandation médicale, juridique, financière ou technique.

La date du travail, la date de dépôt et la date de modification décrivent des événements différents. Un fichier signalé dans HAL ne garantit pas son accès actuel ; la notice officielle précise les conditions de consultation. Les axes sont documentaires : ils ne localisent pas les auteurs ni les terrains d’étude dans le territoire sélectionné ailleurs sur la page.

  • Conception et qualité logicielle : termes « génie logiciel », 199 notices retenues.
  • Accessibilité du web : termes « accessibilité » et « web », 45 notices retenues.
  • Interaction et interfaces : termes « interaction » et « interface », 198 notices retenues.

Rechercher dans HAL · Principes et réutilisation des métadonnées HAL.

Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle

Thèse · tel-00926141 · version 1 présente dans le relevé.

Consulter la notice officielle HAL

Auteurs indexés dans la notice — 1

Le lien recherche le nom tel qu’indexé ; il ne distingue pas les personnes homonymes.

Champs bibliographiques publiés dans HAL
ChampValeur de la notice
Titres et traductions indexésMéthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle
Methodology for the derivation of product behavior in a Software Product Line
Date du travail indiquée dans HAL2013-02-21
Date de dépôt dans HAL2014-02-13 14:41:46
Date de modification de la notice2025-08-12 18:20:49
RevueNon renseigné
Ouvrage associéNon renseigné
Conférence associéeNon renseigné
VolumeNon renseigné
NuméroNon renseigné
PaginationNon renseigné
Langues du document (codes ISO)fr
DOI publiéNon renseigné
Type de dépôt indiqué dans HALfile
Licence du document indiquée dans HALhttps://about.hal.science/hal-authorisation-v1/
Fichiers et ressources en ligne signalés

Informations d’accès relevées dans HAL le 23 octobre 2026 pour la version 1 de cette notice.

Indicateur de libre accès publié par HAL
Oui — déclaré disponible en libre accès sur HAL ou sur un autre serveur
Type de dépôt publié dans ce relevé
file
Licence du document publiée dans ce relevé
https://about.hal.science/hal-authorisation-v1/

Les liens et l’indicateur décrivent le relevé de métadonnées ; les conditions d’accès peuvent évoluer. Une annexe ou une ressource liée peut avoir des conditions distinctes de celles du fichier principal. La licence affichée reste celle déclarée dans la notice. Source : notice officielle HAL, version 1, identifiant de document 926141. Définition des champs de l’API HAL ; métadonnées HAL sous CC0.

Structures de recherche indexées dans HAL — 8 fiches reliées

Structures indexées dans la notice HAL tel-00926141, version 1. Relevé et référentiel consultés le 23 octobre 2026. Cette indexation peut inclure des structures parentes ; elle n’attribue pas chacune de ces structures à chaque auteur.

Structures identifiées dans le référentiel HAL — laboratoires, équipes et établissements conservés séparément
Structure et identifiant HALType et statut du référentielInformations publiées
Centre Inria de l'Université de Rennes
Structure HAL 419153
Laboratoire
Statut : VALID
Codes, dates et repères de la structure
Code pays du référentiel
fr
Adresse publiée
Campus de beaulieu35042 Rennes cedex
Mise à jour de la fiche
2025-02-26 15:31:13
Identifiant ROR
https://ror.org/04040yw90
Identifiant RNSR
198018249C
Identifiants HAL des structures parentes
300009
Anciens identifiants publiés par HAL
1548961 ; 1758214 ; 1210898 ; 1210945 ; 1124244 ; 1089820 ; 1098246 ; 1099476 ; 1124237 ; 425875
Adresse web publiée
http://www.inria.fr/centre/rennes
Institut de Recherche en Informatique et Systèmes Aléatoires
Structure HAL 2494
IRISA
Laboratoire
Statut : OLD
Codes, dates et repères de la structure
Codes de structure
ESA6074 / URA227
Code pays du référentiel
fr
Adresse publiée
Campus universitaire de Beaulieu - 35042 Rennes
Date de début publiée
1980-01-01
Date de fin publiée
1999-12-31
Mise à jour de la fiche
2025-01-14 09:52:06
Identifiants HAL des structures parentes
105160 ; 117606 ; 300009 ; 441569
Anciens identifiants publiés par HAL
25255
Adresse web publiée
http://www.irisa.fr/
Reliable and efficient component based software engineering
Structure HAL 2539
TRISKELL
Équipe de recherche
Statut : OLD
Codes, dates et repères de la structure
Code pays du référentiel
fr
Adresse publiée
Campus de Beaulieu, 35042 Rennes cedex
Date de début publiée
2001-11-01
Date de fin publiée
2013-12-31
Mise à jour de la fiche
2015-08-28 11:45:56
Identifiant RNSR
200118350W
Identifiants HAL des structures parentes
2494 ; 419153
Anciens identifiants publiés par HAL
499757 ; 477763
Adresse web publiée
http://www.inria.fr/equipes/triskell
Institut National de Recherche en Informatique et en Automatique
Structure HAL 300009
Inria
Établissement ou institution
Statut : VALID
Codes, dates et repères de la structure
Code pays du référentiel
fr
Adresse publiée
Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex
Mise à jour de la fiche
2017-01-10 15:32:29
Identifiant ROR
https://ror.org/02kvxyf05
Anciens identifiants publiés par HAL
1217582 ; 1200491 ; 1178954 ; 540343 ; 529808 ; 501781 ; 303665 ; 453438 ; 303647 ; 438014 ; 432578 ; 427276 ; 420979 ; 421158 ; 421478 ; 416610 ; 362065 ; 362947 ; 367814 ; 372357 ; 407178 ; 419234 ; 417708 ; 417696 ; 407221 ; 365012 ; 302742
Adresse web publiée
http://www.inria.fr/en/
Institut National des Sciences Appliquées - Rennes
Structure HAL 117606
INSA Rennes
Établissement ou institution
Statut : VALID
Codes, dates et repères de la structure
Code pays du référentiel
fr
Adresse publiée
20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7
Mise à jour de la fiche
2018-11-15 11:38:07
Identifiant ROR
https://ror.org/04xaa4j22
Identifiants HAL des structures parentes
301232
Anciens identifiants publiés par HAL
1031142 ; 1007258 ; 1010081 ; 454000 ; 392731 ; 405385 ; 263930 ; 267535 ; 301520 ; 362687 ; 376214 ; 407398
Adresse web publiée
http://www.insa-rennes.fr/
Université de Rennes
Structure HAL 105160
UR
Établissement ou institution
Statut : VALID
Codes, dates et repères de la structure
Code pays du référentiel
fr
Adresse publiée
Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX
Mise à jour de la fiche
2023-03-10 16:16:58
Identifiant ROR
https://ror.org/015m7wh34
Identifiant IdRef
26693823X
Anciens identifiants publiés par HAL
1709921 ; 1742827 ; 495582 ; 246556 ; 78284 ; 78283 ; 246721 ; 148900 ; 227944 ; 466915 ; 104641 ; 1230282 ; 1200978 ; 25562 ; 263089 ; 1191387 ; 1182800 ; 499513 ; 1144707 ; 1099843 ; 462875 ; 1040070 ; 1155093 ; 1080591 ; 562832 ; 1058851 ; 546001 ; 562834 ; 1041187 ; 577996 ; 573251 ; 482449 ; 471093 ; 496039 ; 451727 ; 504173 ; 520493 ; 525861 ; 417925 ; 352946 ; 427819 ; 423329 ; 433365 ; 431918 ; 422202 ; 419411 ; 417465 ; 410976 ; 331394 ; 267892 ; 406774 ; 255494 ; 361424 ; 260692 ; 263521 ; 254366 ; 356677 ; 360838 ; 366912 ; 367186 ; 407397 ; 408882 ; 409084
Adresse web publiée
https://www.univ-rennes.fr/
Centre National de la Recherche Scientifique
Structure HAL 441569
CNRS
Regroupement d’établissements
Statut : VALID
Codes, dates et repères de la structure
Code pays du référentiel
fr
Date de début publiée
1939-10-19
Mise à jour de la fiche
2023-02-08 16:56:41
Identifiant ROR
https://ror.org/02feahw73
Identifiant ISNI
0000000122597504
Identifiant IdRef
02636817X
Anciens identifiants publiés par HAL
303705 ; 28125 ; 92018 ; 1209686 ; 1257104 ; 1531119 ; 1701623 ; 1701624 ; 1776663 ; 1793536 ; 1224649 ; 430395 ; 1228192 ; 1190699 ; 1684960 ; 1787644 ; 1636992 ; 567957 ; 1220594 ; 1220595 ; 85584 ; 1220762 ; 1220763 ; 1176105 ; 1439580 ; 1312318 ; 1312313 ; 1312315 ; 1312317 ; 1312316 ; 1184729 ; 1312314 ; 1243173 ; 1058044 ; 1089790 ; 1217475 ; 440323 ; 1207146 ; 55161 ; 177471 ; 1221437 ; 435271 ; 579421 ; 1171149 ; 1195416 ; 536074 ; 1219312 ; 1173544 ; 1209943 ; 1209929 ; 1049189 ; 401156 ; 978 ; 93728 ; 490596 ; 497397 ; 1158244 ; 409635 ; 397370 ; 409347 ; 1164372 ; 1191283 ; 435317 ; 1185872 ; 1191916 ; 1087612 ; 265769 ; 434817 ; 200657 ; 146060 ; 2157 ; 1172745 ; 1190420 ; 545721 ; 1179320 ; 1176531 ; 40612 ; 26488 ; 124751 ; 1157342 ; 1174275 ; 1075927 ; 496750 ; 510871 ; 231349 ; 469025 ; 24166 ; 1172328 ; 193891 ; 1171706 ; 1006164 ; 546441 ; 356198 ; 1089204 ; 241352 ; 1099873 ; 1114409 ; 1145387 ; 1170197 ; 1145702 ; 1147013 ; 1170656 ; 429933 ; 1164933 ; 492429 ; 211951 ; 103610 ; 1169314 ; 1089203 ; 1168527 ; 1163022 ; 1091822 ; 1163005 ; 1067134 ; 1042401 ; 432101 ; 1150385 ; 1149888 ; 1160894 ; 7460 ; 8083 ; 133045 ; 1065369 ; 127967 ; 145699 ; 87862 ; 76486 ; 101111 ; 435044 ; 1099121 ; 1149391 ; 1155101 ; 91817 ; 143317 ; 1124197 ; 1124354 ; 1124190 ; 1161764 ; 1043393 ; 203882 ; 443365 ; 1149586 ; 1149515 ; 24544 ; 24551 ; 552551 ; 552552 ; 1094932 ; 1096840 ; 1094988 ; 1031205 ; 1079547 ; 312915 ; 576570 ; 336357 ; 150204 ; 1077805 ; 1095000 ; 1084886 ; 1084214 ; 537958 ; 1067989 ; 483375 ; 320028 ; 1054607 ; 35738 ; 143054 ; 413470 ; 1060907 ; 1060909 ; 1061030 ; 1061214 ; 576626 ; 505092 ; 468996 ; 476991 ; 547514 ; 432349 ; 426498 ; 502058 ; 4348 ; 490506 ; 427150 ; 398722 ; 509907 ; 420672 ; 265231 ; 490938 ; 308982 ; 425102 ; 488792 ; 447660 ; 420983 ; 267399 ; 429908 ; 441863 ; 388064
Adresse web publiée
https://www.cnrs.fr/
Institut National des Sciences Appliquées
Structure HAL 301232
INSA
Regroupement d’établissements
Statut : VALID
Codes, dates et repères de la structure
Code pays du référentiel
fr
Mise à jour de la fiche
2018-02-28 09:48:00
Identifiant IdRef
162105150
Anciens identifiants publiés par HAL
213835 ; 238786 ; 248254 ; 359246 ; 366608 ; 396100

Les statuts VALID, OLD et INCOMING décrivent le traitement des fiches dans le référentiel. Les dates, adresses et identifiants ne permettent pas de déduire l’activité actuelle d’un organisme ni l’affiliation actuelle d’un auteur. Les codes pays concernent les structures, pas les terrains d’étude.

Autres notices indexées avec Centre Inria de l'Université de Rennes

25 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Jusqu’à six notices sont affichées par année du travail décroissante. Une structure commune ne prouve pas une collaboration entre les auteurs. Ces nombres décrivent la sélection du site et non la production complète de la structure.

Autres notices indexées avec Institut de Recherche en Informatique et Systèmes Aléatoires

6 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Jusqu’à six notices sont affichées par année du travail décroissante. Une structure commune ne prouve pas une collaboration entre les auteurs. Ces nombres décrivent la sélection du site et non la production complète de la structure.

Autres notices indexées avec Reliable and efficient component based software engineering

4 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Jusqu’à six notices sont affichées par année du travail décroissante. Une structure commune ne prouve pas une collaboration entre les auteurs. Ces nombres décrivent la sélection du site et non la production complète de la structure.

Les correspondances utilisent les identifiants des structures indexés dans cette version du document. Un ancien identifiant est rapproché uniquement si HAL publie une correspondance univoque. Source : notice officielle HAL ; référentiel des structures et définition des champs ; métadonnées HAL sous CC0.

Disciplines et classement scientifique dans HAL — 1 domaine relié

Codes de la notice tel-00926141, version 1, et libellés du référentiel HAL relevés le 23 octobre 2026.

Domaine principal indiqué dans HAL : Informatique [cs]/Génie logiciel [cs.SE] (info.info-se).

Autres travaux indexés en Informatique [cs]/Génie logiciel [cs.SE]

109 autres notices dans la sélection du site.

Ce classement décrit l’indexation documentaire du dépôt. Il ne constitue ni un label de qualité, ni une spécialité professionnelle attribuée aux auteurs. Les liens vers d’autres travaux reposent sur un code commun dans les métadonnées et affichent au plus six notices par domaine, par année du travail décroissante. La hiérarchie ci-dessus reprend les identifiants parents du référentiel ; elle ne modifie pas les codes du dépôt.

Source : notice officielle HAL, même document et même version que la référence initiale. Référentiel des domaines · métadonnées HAL sous CC0.

Mots-clés fournis dans les métadonnées

Résumé fourni dans les métadonnées — français

Auteurs indexés : Paul Istoan. Source : tel-00926141, version 1.

Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle

Résumé fourni dans les métadonnées — anglais

Auteurs indexés : Paul Istoan. Source : tel-00926141, version 1.

Until recently, software systems were either designed to have an extensive list of possible features, or they were particularly produced for a single customer. Furthermore, software solutions were originally quite static and every change implied extensive changes of existing source code. This is no longer an option for contemporary software systems. Software solutions also have to deal with an exponential increase in complexity and variability, due to the constant evolution of the market. Software Product Lines, or software families, are rapidly emerging as a viable and important software development paradigm aimed at handling such issues. SPLs are gaining widespread acceptance and various domains already apply SPL engineering successfully to address the well- known needs of the software engineering community, including increased quality, saving costs for development and maintenance, and decreasing time-to-market. SPLs offer a systematic reuse of software artefacts within a range of products sharing a common set of units of functionality. This thesis will analyse the SPL engineering domain and its latest progress. It will identify some of the issues that are currently being faced for applying software product line engineering approaches and will propose viable solutions to those problems. Moreover, this thesis adheres to the MDE principles, in particular for domain specific language design. We use the meta- modelling technique when addressing the definition of modelling languages (for abstract and concrete syntax definition). Hence, the notions of model, meta-model, model conformance and model transformation are major concerns on which this thesis relies on for the achievement of its contributions. Throughout the past years, the product line community has mainly focused on the Domain Engi- neering phase of the process. A review of SPLE literature indicates that Application Engineering (product derivation), a key phase of the SPL process that can be tedious and error-prone, has been given far less attention compared to Domain Engineering. Implicitly, there arises the need for new product derivation techniques in the SPL research field. Therefore, the major problem addressed in this thesis is the definition of a methodology for software product line engineering that covers both Domain Engineering and Application Engineering phases of the SPLE process and which focuses on the derivation of behavioural models of SPL products. By applying this methodology we want to produce behavioural models that belong to the analysis and early de- sign levels of the software development life-cycle. Thus, the behavioural models obtained as a result of applying this methodology should describe the business and operational step-by-step workflows of activities/actions performed by the derived product. From another perspective, we want to develop this methodology following model driven engineering principles. This is due to the fact that in software engineering, models allow to express both problems and solutions at a higher abstraction level than code. We begin the contributions of this thesis by first proposing a new software product line engineer- ing methodology that focuses on the derivation of product behaviour. A methodology can be seen as a framework for applying software engineering practices with the specific aim of providing the necessary means for developing software-intensive systems. We focus on behavioural models as this type of product representation is currently not sufficiently addressed in product line engineering. The main flow of the methodology and its specific steps are first described. The first step of the methodology focuses on capturing the common aspects and those that discriminate among systems in the product family using feature models. The second phase focuses on the creation of business process fragments, which represent the core assets of the software product line. We then briefly discuss the concept of "correctness" for business process fragments and explain what type of verifications are required to ensure this property. The next methodology step aims at bridging the gap between feature models and solution models and thus defines a mapping of features to model fragments specifying the concrete feature realisations. The first step that belongs to the Application Engineering phase consists of selecting, based on the user's preferences, the required features that will be part of a particular product that is derived. Fi- nally, the set of business process fragments are transformed, through a compositional approach, into a proper business process that models the behaviour of the SPL product being derived. Business process fragments are the core assets used by our SPL methodology. The most common approach to obtain them is to create new business process fragments from scratch, as concrete implementations of the features from the feature diagram of the SPL. For this purpose, adequate language support is required. Thus, another contribution if this thesis is a new domain specific language called CBPF created for modelling and composing business process fragments. A model driven approach is then followed for creating and specifying the CBPF domain specific language. We start by defining the abstract syntax of the language.We describe the high-level structure of CBPF by means of a meta-model representing in an abstract way the concepts and constructs of the modelling language, and providing the means to distinguish between valid and invalid models. We continue the language description by we proposing a unique graphical concrete syntax for the language. It is a crucial element of language design and we therefore treat it as a separate element within the language description. We conclude by defining the semantics of the CBPF language following a translational approach, by proposing a mapping of CBPF concepts onto the Hierarchical Coloured Petri Net (HCPN) formalism. We also propose several types of verifications that can be applied to business process fragments in order to determine their "correctness". It is highly desirable to verify business process fragments created at analysis and design time. We want to ensure that the business process fragments created with the CBPF language during the domain engineering phase are correct. We start by presenting the structural verification of a business process fragment by defining a set of adequate fragment consistency rules that should be valid for every business process fragment created with CBPF. We also want to perform checks related to the dynamic behaviour of business process fragments. These verifications are done by first transforming the business process fragment into an equivalent HCPN with the help of the model-to-model transformation that we propose. The behavioural properties that should be checked for a business process fragment are separated into two major classes. Generic ones which specify general dynamic properties that any business process fragment should fulfil. As business process fragments are created to describe a high level functionality or feature, there will exist certain dynamic properties that are specific to each individual fragment and therefore cannot be verified in general. Therefore we define a set of fragment specific properties and propose property templates that can be adapted and used by the product line engineer to check them. In order to asses the different contributions proposed in this thesis, we exemplify the proposed SPL methodology by applying it to a case study from the crisis management system domain. This case study also servers to facilitate the understanding of the concepts and the functioning of the CBPF language, but also to exemplify the verification techniques of business process fragments. A critical assesment of the results of the case study and different lessons learnt are also presented. We also propose and present the SPLIT tool suite, which is the tool support that we propose for our methodology. Good tool support is one of the key elements for the fast adoption of any new methodology and language. We start by describing the general requirements that such a tool should fulfil. We then present the general architecture of the proposed tool and discuss in more details the different tool modules and the functionalities each of them provides.

Axes documentaires de cette sélection

Les résumés restituent les métadonnées du dépôt. Pour apprécier les résultats, la méthode et les limites du travail, consultez le document et son contexte. Métadonnées HAL sous CC0.