Log in

Relevant bibliographies by topics / Exigences logiciel / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Exigences logiciel.

Dissertations / Theses on the topic 'Exigences logiciel'

Author: Grafiati

Published: 7 June 2025

Last updated: 16 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 27 dissertations / theses for your research on the topic 'Exigences logiciel.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Nebut, Clémentine. "Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles." Rennes 1, 2004. http://www.theses.fr/2004REN10099.

Full text

Abstract:

La contribution de cette thèse est une approche de génération automatique de tests fonctionnels à partir des exigences, prenant en compte la maîtrise du coût de test, l'adaptabilité au contexte des lignes de produits, la compatibilité avec les pratiques industrielles et la complexité des logiciels réels. Notre approche se base sur un modèle de cas d'utilisation étendus, relié à un analyseur de langage naturel contrôlé en amont et un générateur de tests en aval. Le langage contrôlé rapproche la méthode des pratiques industrielles, et formalise assez les exigences pour les transformer en un modè

APA, Harvard, Vancouver, ISO, and other styles

2

Humbert, Sophie. "Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels." Bordeaux 1, 2008. http://www.theses.fr/2008BOR13580.

Full text

Abstract:

Les turbomoteurs d'hélicoptère incluent des logiciels de contrôle de plus en plus élaborés et complexes. Pour répondre aux exigences de sécurité de ce type de système, il convient de décliner précisément les exigences système en exigences logicielles. Nos travaux ont porté sur l'amélioration de cette phase de déclinaison d'exigences. Nous proposons une démarche en deux étapes. La première consiste à modéliser, en language AltaRIca, les propagations de pannes potentielles de composants du système, en intégrant des hypothèses de modes de défaillance sur les parties matérielles et logicielles. L'

APA, Harvard, Vancouver, ISO, and other styles

3

Salinesi, Camille. "L'Ingénierie des Exigences appliquée aux Systèmes d'Information." Habilitation à diriger des recherches, Université Panthéon-Sorbonne - Paris I, 2010. http://tel.archives-ouvertes.fr/tel-01003149.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Brottier, Erwan. "Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles." Phd thesis, Université Rennes 1, 2009. http://tel.archives-ouvertes.fr/tel-00512174.

Full text

Abstract:

Dans cette thèse, nous nous intéressons à la définition d'une plate-forme industrielle favorisant une meilleure intégration des techniques de vérification et de validation des exigences au sein des processus de développement. Cette plate-forme, appelée R2A (pour Requirements To Analysis) est entièrement construite à l'aide de technologies issues de l'ingénierie dirigée par les modèles. Le cœur de la plate-forme est un processus de composition de modèles à deux niveaux de modélisation. Au niveau instance, il produit une spécification globale des exigences à partir d'une collection de spécificat

APA, Harvard, Vancouver, ISO, and other styles

5

Bulusu, Sravani Teja. "Méthodologie d'ingénierie des exigences de sécurité réseau." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30084.

Full text

Abstract:

La construction de réseaux sécurisés est à la fois une étape cruciale et complexe pour toute organisation. Traditionnellement, cette tâche couvre les aspects architecturaux en proposant une segmentation du réseau où des règles de sécurité différentes sont appliquées à chaque zone ; elle couvre également la sécurisation des équipements d'extrémité exploités par des utilisateurs et apporte ainsi des garanties sécuritaires pour les informations transférées sur les liaisons de communication. Le plus souvent, les aspects sécurité réseau sont pris en compte après la conception du réseau et donc tard

APA, Harvard, Vancouver, ISO, and other styles

6

Le, Pors Éric. "Interprétation sémantique des exigences pour l'enrichissement de la traçabilité et pour l'amélioration des architectures de systèmes complexes." Télécom Bretagne, 2010. http://www.theses.fr/2010TELB0127.

Full text

Abstract:

L'augmentation de la complexité des systèmes à logiciel prépondérant, produits dans l'industrie, est liée à la complexité des ingénieries : réduction des délais, organisation des activités, gestion de la sous-traitance. . . Cette complexité est également due à l'augmentation du nombre de fonctions attendues et de données à traiter. Elle dépend de plus du nombre de composants logiciels et physiques devant interagir, soumis à des contraintes en termes de fonctionnalités et de qualité, ce qui implique une conception toujours plus difficile de ces systèmes. Afin de maîtriser leur production, un ni

APA, Harvard, Vancouver, ISO, and other styles

7

Driss, Maha. "Approche multi-perspective centrée exigences de composition de services Web." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00648131.

Full text

Abstract:

Le paradigme architecture orientée service AOS est devenu un standard pour la conception et le développement d'applications distribuées dans base de services Web. Malgré tous les avantages qu'elles apportent en termes d'interopérabilité et de réutilisation, les solutions de développement associées au paradigme AOS sont destinées aux programmeurs et restent difficiles à comprendre par le monde de l'entreprise. Pour être en phase avec le monde de l'entreprise, les applications à base de services Web doivent être décrites en termes d'exigences qu'elles permettent de satisfaire et non pas en terme

APA, Harvard, Vancouver, ISO, and other styles

8

El, Amraoui Yassine. "Faciliter l'inclusion humaine dans le processus de science des données : de la capture des exigences métier à la conception d'un workflow d'apprentissage automatique opérationnel." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ4017.

Full text

Abstract:

Le processus de création de flux de travail en science des données, notamment pour résoudre des problèmes d'apprentissage automatique, repose souvent sur des essais et erreurs, manquant de structure et de partage de connaissances entre les data scientistes. Cela entraîne une variabilité dans les tentatives et une interprétation subjective des cas d'utilisation. Afin d'améliorer ce processus dans le cadre de la détection d'anomalies sur les séries temporelles, notre travail propose trois contributions principales :Contribution 1 : Intégration des données, des exigences métiers et des composants

APA, Harvard, Vancouver, ISO, and other styles

9

Carle, Thomas. "Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes." Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066392/document.

Full text

Abstract:

Une séparation existe de longue date entre les domaines de la compilation et de l'ordonnancement temps-réel. Si ces deux domaines ont le même objectif - la construction d'implantations correctes - la séparation se justifie historiquement par des différences significatives entre les modèles et les méthodes utilisés. Cependant, avec la complexification des applications et du materiel qui les exécute, les problèmes étudiés dans ces deux domaines se confondent désormais largement. Dans cette thèse, nous nous concentrons sur la génération automatique de code pour des systèmes de contrôle embarqué i

APA, Harvard, Vancouver, ISO, and other styles

10

Sannier, Nicolas. "INCREMENT : une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00941881.

Full text

Abstract:

Les systèmes de contrôle-commande importants pour la sûreté de fonctionnement doivent répondre à un certain nombre d'exigences, au premier rang desquelles se trouvent les exigences réglementaires, édictées par les autorités nationales et complétées par un ensemble de recommandations pratiques et de textes normatifs. Les exigences de ce domaine sont peu formalisées, les relations de traçabilité, et par conséquent l'organisation des exigences de ce vaste domaine est souvent implicite. Enfin, les passerelles entre contextes nationaux différents sont très peu développées. Les travaux de cette thès

APA, Harvard, Vancouver, ISO, and other styles

11

Carle, Thomas. "Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes." Electronic Thesis or Diss., Paris 6, 2014. http://www.theses.fr/2014PA066392.

Full text

Abstract:

Une séparation existe de longue date entre les domaines de la compilation et de l'ordonnancement temps-réel. Si ces deux domaines ont le même objectif - la construction d'implantations correctes - la séparation se justifie historiquement par des différences significatives entre les modèles et les méthodes utilisés. Cependant, avec la complexification des applications et du materiel qui les exécute, les problèmes étudiés dans ces deux domaines se confondent désormais largement. Dans cette thèse, nous nous concentrons sur la génération automatique de code pour des systèmes de contrôle embarqué i

APA, Harvard, Vancouver, ISO, and other styles

12

Ahmad, Manzoor. "Modeling and verification of functional and non functional requirements of ambient, self adaptative systems." Phd thesis, Université Toulouse le Mirail - Toulouse II, 2013. http://tel.archives-ouvertes.fr/tel-00965934.

Full text

Abstract:

The overall contribution of this thesis is to propose an integrated approach for modeling and verifying the requirements of Self Adaptive Systems using Model Driven Engineering techniques. Model Driven Engineering is primarily concerned with reducing the gap between problem and software implementation domains through the use of technologies that support systematic transformation of problem level abstractions to software implementations. By using these techniques, we have bridged this gap through the use of models that describe complex systems at multiple levels of abstraction and through autom

APA, Harvard, Vancouver, ISO, and other styles

13

Sayar, Imen. "Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels." Electronic Thesis or Diss., Université de Lorraine, 2019. http://www.theses.fr/2019LORR0030.

Full text

Abstract:

Le développement de spécifications formelles correctes pour des systèmes et logiciels commence par l’analyse et la compréhension des besoins du client. Entre ces besoins décrits en langage naturel et leur spécification définie dans un langage formel précis, un écart existe et rend la tâche de développement de plus en plus difficile à accomplir. Nous sommes face à deux mondes distincts. Ce travail de thèse a pour objectif d’expliciter et d’établir des interactions entre ces deux mondes et de les faire évoluer en même temps. Par interaction, nous désignons les liens, les échanges et les activité

APA, Harvard, Vancouver, ISO, and other styles

14

Sayar, Imen. "Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0030/document.

Full text

Abstract:

Le développement de spécifications formelles correctes pour des systèmes et logiciels commence par l’analyse et la compréhension des besoins du client. Entre ces besoins décrits en langage naturel et leur spécification définie dans un langage formel précis, un écart existe et rend la tâche de développement de plus en plus difficile à accomplir. Nous sommes face à deux mondes distincts. Ce travail de thèse a pour objectif d’expliciter et d’établir des interactions entre ces deux mondes et de les faire évoluer en même temps. Par interaction, nous désignons les liens, les échanges et les activité

APA, Harvard, Vancouver, ISO, and other styles

15

Taffo, Tiam Raoul. "Modèles opérationnels de processus métier et d'exigences variables pour le développement de lignes de produits logiciels." Thesis, Montpellier, 2015. http://www.theses.fr/2015MONTS268.

Full text

Abstract:

Toute institution concernée par le développement de logiciels, qu’il s’agisse d’un éditeur ou d’un organisme de services, doit faire face au challenge de compétitivité : “ faire de l’économie, un «objet de première classe» en génie logiciel ”. Cet impératif de penser l’économie du logiciel, s’est traduit par l’objectif d’obtenir une meilleure maîtrise sur la productivité du développeur. La Réutilisation Logicielle (Software Reuse) est un moyen privilégié d’augmenter cette productivité, en particulier quand elle est systématisée. Deux types d’activités doivent être considérés pour améliorer la

APA, Harvard, Vancouver, ISO, and other styles

16

Dufrene, Maud. "Proposition d’un cadre méthodologique comme support aux approches d’écoconception en entreprise : exigences et conceptualisation pour une plateforme logicielle." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAI083/document.

Full text

Abstract:

La prise en compte des enjeux environnementaux est aujourd'hui un point essentiel dans la stratégie de développement durable des entreprises. La revue de la littérature montre que l'écoconception n'est pas simple à intégrer du fait de ses spécificités. Malgré le nombre important d'outils et de méthodes existantes, les entreprises rencontrent encore souvent des difficultés à intégrer l'écoconception dans leur processus de conception.Ces recherches proposent donc une solution couplant une méthodologie et une plateforme logicielle. La méthodologie guide l'équipe de conception à travers une série

APA, Harvard, Vancouver, ISO, and other styles

17

Matoussi, Abderrahman. "Construction de spécifications formelles abstraites dirigée par les buts." Thesis, Paris Est, 2011. http://www.theses.fr/2011PEST1036/document.

Full text

Abstract:

Avec la plupart des méthodes formelles, un premier modèle peut être raffiné formellement en plusieurs étapes, jusqu'à ce que le raffinement final contienne assez de détails pour une implémentation. Ce premier modèle est généralement construit à partir de la description des besoins obtenue dans la phase d'analyse des exigences. Cette transition de la phase des exigences à la phase de spécification formelle est l'une des étapes les plus délicates dans la chaîne de développement formel. En fait, la construction de ce modèle initial exige un niveau élevé de compétence et beaucoup de pratique, d'au

APA, Harvard, Vancouver, ISO, and other styles

18

Boulanger, Jean-Louis. "Expression et validation des propriétés de sécurité logique et physique pour les systèmes informatiques critiques." Compiègne, 2006. http://www.theses.fr/2006COMP1622.

Full text

Abstract:

Dans le cadre de nos activités de recherche, nous nous sommes intéressés à la mise en sécurité des systèmes dits critiques (pouvant en cas de défaillance causer des dommages sérieux aux personnes ou aux biens). La mise en sécurité de tels systèmes passe par l'expression de recommandations liées à la sécurité. Ces recommandations peuvent provenir d'une demande du client (clauses du cahier des charges), de l'état de l'art, d'un référentiel légal (normes, décrets, arrêtés,. . ) ou d'études sur les conséquences des défaillances du système sur l'environnement, les personnes, l'image de marque de l'

APA, Harvard, Vancouver, ISO, and other styles

19

Sango, Marc. "Traceability of concerns and observer-based verification for railway safety-critical software." Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL10067/document.

Full text

Abstract:

Ces dernières années, le monde des systèmes critiques a connu un véritable essor en matière de demande de logiciels. Dans une optique majeure de réduction des coûts de développement, les grands acteurs du monde critique comme ceux de l’avionique et de l’automobile s’orientent de plus en plus vers l’ingénierie dirigée par les modèles. Par contre les acteurs du domaine ferroviaire, pour des raisons stratégiques et organisationnelles restent encore fidèles à des méthodes conventionnelles qui leur permettent de tirer au maximum profit de leurs compétences. Cependant, ces approches conventionnelles

APA, Harvard, Vancouver, ISO, and other styles

20

Coulin, Chad Raymond. "A situational approach and intelligent tool for collaborative requirements elicitation." Toulouse 3, 2007. http://thesesups.ups-tlse.fr/96/.

Full text

Abstract:

L'elicitation des exigences est une partie fondamentale du processus de développement de logiciel, et est considérée souvent comme une des activités les plus difficiles à réaliser. Beaucoup des techniques, d'approches, et des outils courants sont inconnus ou trop complexes pour les novices, créant ainsi un écart significatif entre la théorie et la pratique de l'elicitation des exigences. Il y aussi l'écart important entre les novices et les experts analystes, qui peuvent être attribués à la compétence étendue réglée et à la gamme des expériences qui est souvent exigée pour conduire avec succès

APA, Harvard, Vancouver, ISO, and other styles

21

Shukla, Vikas. "Comprehensive méthodology for the complex systems' requirements engineering & decision making." Thesis, Toulouse, INSA, 2014. http://www.theses.fr/2014ISAT0019/document.

Full text

Abstract:

L’objectif principal de l’ingénierie des systèmes est la création d’un ensemblede produits et des services de haute qualité qui permettent l’accomplissement de tâchespour répondre aux besoins des clients. Un projet typique d’ingénierie des systèmes peutêtre divisé en trois phases : la définition, le développement et le déploiement. La phasede définition comprend les activités de capture des exigences et de leur raffinement. Àla fin de la phase de définition du système, nous avons toutes les exigences fonctionnelleset non-fonctionnelles du système. L’un des résultats de la phase de développemen

APA, Harvard, Vancouver, ISO, and other styles

22

Tokariev, Pavlo. "Langage modulaire pour la spécification de contraintes d'horloges logiques et temps-réel." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ4058.

Full text

Abstract:

Les systèmes en temps réel critiques (réactifs) sont des systèmes qui contrôlent des processus complexes et dont la faute n'est pas acceptable en raison des graves conséquences pour le système, l'infrastructure et les humains. Dans ces systèmes, le moment de la réaction est aussi critique que l'exécution de la bonne action. Dans ce travail, nous nous concentrons sur le premier. Pour ce faire, nous utilisons une abstraction du temps, connue sous le nom de temps logique. Il abstrait totalement les instants auxquels les événements se produisent par leur position relative. Le langage sur lequel no

APA, Harvard, Vancouver, ISO, and other styles

23

Chevallereau, Benjamin. "Contribution des nouvelles approches de modélisation à la durabilité des applications." Phd thesis, Ecole centrale de nantes - ECN, 2011. http://tel.archives-ouvertes.fr/tel-00578443.

Full text

Abstract:

Les organisations actuelles se structurent et agissent en s'appuyant sur leurs systèmes d'information. Malgré les progrès considérables réalisés par la technologie informatique, on constate que les acteurs restent très souvent critiques par rapport à leur systèmes d'information. Une des causes de cet écart entre les espoirs et la réalité trouve sa source dans la difficulté à produire un cahier des charges suffisamment détaillé pour les opérationnels et interprétable par les spécialistes des systèmes d'information. Notre proposition vise à surmonter cet obstacle en organisant l'expression des b

APA, Harvard, Vancouver, ISO, and other styles

24

Fontan, Benjamin. "Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML." Phd thesis, Université Paul Sabatier - Toulouse III, 2008. http://tel.archives-ouvertes.fr/tel-00258430.

Full text

Abstract:

En dépit de ses treize diagrammes, le langage UML (Unified Modeling Language) normalisé par l'OMG (Object Management Group) n'offre aucune facilité particulière pour appréhender convenablement la phase de traitement des exigences qui démarre le cycle de développement d'un système temps réel. La normalisation de SysML et des diagrammes d'exigences ouvre des perspectives qui ne sauraient faire oublier le manque de support méthodologique dont souffrent UML et SysML. Fort de ce constat, les travaux exposés dans ce mémoire contribuent au développement d'un volet " méthodologie " pour des profils UM

APA, Harvard, Vancouver, ISO, and other styles

25

Baczkowski, Mylène. "Amélioration du processus de déploiement d'une solution PLM par l'utilisation de cartes heuristiques et de persona : cas LASCOM." Thesis, Bordeaux 1, 2012. http://www.theses.fr/2012BOR14714/document.

Full text

Abstract:

Cette thèse se place dans une dynamique de recherche d’amélioration des processus d’implémentation et de déploiement de solutions logicielles de type PLM dans les entreprises. Nous proposons une démarche complète de déploiement, centrée sur les acteurs de l’entreprise, qui s’appuie sur l’utilisation de deux outils jusque là peu usités pour répondre à ce type de problématique : les cartes heuristiques et les personas. Nous proposons d’utiliser la carte heuristique (ou map) comme support du projet et moteur de la réflexion et de la communication dans le cadre d’un projet. La map offre une nouvel

APA, Harvard, Vancouver, ISO, and other styles

26

Berrebi, Johanna. "Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00800141.

Full text

Abstract:

Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs

APA, Harvard, Vancouver, ISO, and other styles

27

Raji, Amine. "Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués." Phd thesis, 2012. http://tel.archives-ouvertes.fr/tel-00728431.

Full text

Abstract:

En dépit de l'efficacité des méthodes formelles, en particulier les techniques d'analyse de modèles (model checking), à identifier les violations des exigences dans les modèles de conception, leur utilisation au sein des processus de développement industriel demeure limitée. Ceci est dû principalement à la complexité des modèles manipulés au cours de ces processus (explosion combinatoire) et à la difficulté de produire des représentations formelles afin d'exploiter les outils de vérification existants. Fort de ce constat, mes travaux de thèse contribuent au développement d'un volet méthodologi

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!