Les technologies omniprésentes dans notre environnement intègrent des éléments logiciels facilitant leur utilisation. Ces technologies offrent un vaste laboratoire d'expérimentation pour la recherche et en particulier pour l'informatique appliquée. Ces technologies sont un support évident pour rendre des services aux personnes dans leur vie quotidienne. Ces services concernent divers champs d'applications, chacun servant des objectifs spécifiques : confort, sécurité, accès à l'information ou encore assistance à la personne. Puisque les applications offrant ces services sont intimement liées aux besoins des utilisateurs, il est indispensable qu'elles s'adaptent facilement à leurs besoins. Une manière de répondre à ce défi est de proposer à l'utilisateur des outils pour programmer lui-même ses applications. Notre contribution consiste non seulement à définir un tel outil, sous la forme d'un langage visuel paramétré par un champ d'applications, mais aussi à proposer une méthodologie dont l'objectif est de guider un utilisateur dans la programmation d'applications à l'aide de ce langage. Cette méthodologie est dédiée à l'orchestration d'entités communicantes : elles représentent les technologies déployées dans nos environnements. Notre approche, associant une méthodologie à un langage, est accessible à un programmeur novice et suffisamment expressive pour traiter divers champs d'applications. Afin d'augmenter la confiance de l'utilisateur dans le développement de ses applications, nous étendons la méthodologie en proposant une approche de développement dirigée par la vérification de quelques propriétés. Cette vérification est permise par la sémantique du langage, formellement définie.

Les technologies omniprésentes dans notre environnement intègrent désormais des éléments logiciels facilitant leur utilisation. Ces technologies offrent un vaste laboratoire d’expérimentation pour la recherche et en particulier pour l’informatique appliquée. Ces technologies sont un support évident pour rendre des services aux personnes dans leur vie quotidienne. Ces services concernent divers champs d’applications, chacun servant des objectifs spécifiques : confort,sécurité, accès à l’information ou encore assistance à la personne. Puisque les applications offrant ces services sont intimement liées aux besoins des utilisateurs, il est indispensable qu’elles s’adaptent facilement à leurs besoins. Une manière de répondre à ce défi est de proposer à l’utilisateur des outils pour programmer lui-même ses applications.Notre contribution consiste non seulement à définir un tel outil, sous la forme d’un langage visuel paramétré par un champ d’applications, mais aussi à proposer une méthodologie dont l’objectif est de guider un utilisateur dans la programmation d’applications à l’aide de ce langage. Cette méthodologie est dédiée à l’orchestration d’entités communicantes : elles représentent les technologies déployées dans nos environnements. Notre approche, associant une méthodologie à un langage, est accessible à un programmeur novice et suffisamment expressive pour traiter divers champs d’applications. Afin d’augmenter la confiance de l’utilisateur dans le développement de ses applications, nous étendons la méthodologie en proposant une approche de développement dirigée par la vérification de quelques propriétés. Cette vérification est permise par la sémantique du langage, formellement définie. / Networked technologies, omnipresent in our surroundings, have increasingly more computing power, offering interfaces to easily access their functionalities. These technologies offer a widetesting ground for research, especially in applied computer science. They form an evident assistive support to help people in their daily activities. Applications that address people needs arefound in various application areas, each related to specific goals : comfort, security, information management, or assisted-living.The goal of this thesis is to propose an approach that bridges the gap between a user requirements and the applications that satisfy them. To do so, we define Pantagruel, an expressive and accessible visual language that is parameterized by an application area. To further reconcile accessibility with expressiveness, we provide the user with a domain-specific methodology toguide the development of applications. This methodology draws a bridge between the user needs and the applications, and is strongly coupled with the language concepts. In doing so, satisfying the requirements and evolving the applications according to new requirements is facilitated. To increase the user confidence in using Pantagruel language, and because the applications aimat being seamlessly integrated in his everyday life, Pantagruel programs need to be reliable.To this end, we extend our methodology with a programming approach driven by properties.These properties can be verified using the language semantics, which is formally defined.

Cette thèse s'inscrit dans le cadre des recherches pluridisciplinaires sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH) et vise plus particulièrement l'ingénierie des EIAH. Elle concerne plus précisément l'activité de conception de scénarios pédagogiques par des enseignants. Les constats motivant ce travail sont (1) la nécessité grandissante pour les enseignants de formaliser les scénarios décrivant les situations informatisées d'apprentissage, (2) la non-adéquation des langages de modélisation pédagogique (EML) à ce public de concepteurs, (3) le faible niveau de réutilisation des scénarios disponibles dans les banques de scénarios. La thèse vise donc à fournir aux enseignants-concepteurs de l'enseignement secondaire, des modèles, méthodes et outils pour la conception, l'adaptation, la réutilisation de scénarios et leur partage entre concepteurs. A cet effet, cette recherche s'appuie sur les travaux menés en ingénierie des systèmes d'information et notamment en ingénierie des besoins dirigée par les buts, sur les recherches en ingénierie des EIAH, et sur les travaux menés en Sciences de l'Education. Cette recherche met en œuvre une approche centrée sur les utilisateurs s'appuyant sur différentes études sur le terrain ainsi qu'une approche de co-conception avec les praticiens. Ces approches ont conduit à proposer le modèle ISiS de description de scénarios pédagogiques et l'environnement-auteur associé ScenEdit. Le modèle ISiS explicite les dimensions intentionnelles, stratégiques, tactiques et opérationnelles du processus de conception des scénarios pédagogiques. Ce modèle s'appuie sur le vocabulaire et les processus métiers d'une communauté d'enseignants, et se positionne en amont des langages de modélisation pédagogique dont il complète la description de scénarios. L'environnement ScenEdit réalisé permet aux praticiens d'expliciter les différentes dimensions associées au modèle ISiS et de rendre ainsi les scénarios produits plus facilement compréhensibles, adaptables et réutilisables par d'autres enseignants. Pour faciliter la conception par réutilisation et adaptation, l'environnement intègre, aux différents niveaux du modèle, divers patrons et gabarits issus de la littérature et/ou co-conçus avec les praticiens. Le modèle et l'environnement ont été expérimentés auprès de différents publics de praticiens et évalués notamment d'un point de vue utilité et utilisabilité. L'évaluation finale par un groupe de trois enseignants novices en scénarisation a permis d'établir l'utilité et l'utilisabilité du modèle ISiS et de l'environnement de conception ScenEdit. Les conclusions de ce travail ouvrent de nombreuses perspectives de recherche à court à et moyen terme.