Bibliografías temáticas / Méthodes formelles de génie logiciel

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros

Literatura académica sobre el tema "Méthodes formelles de génie logiciel"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Méthodes formelles de génie logiciel".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Méthodes formelles de génie logiciel"

1

Mackenzie, Adrian, Simon Monk, and Paco Libbrecht. "D’un jeu de cartes à des lignes de code." Réseaux N° 243, no. 1 (2024): 227–75. http://dx.doi.org/10.3917/res.243.0227.

Texto completo
Resumen
Cet article traite de l’ Extreme Programming (XP), une approche assez nouvelle du génie logiciel « orienté utilisateur », qui rencontre un succès croissant dans son domaine. L’ Extreme Programming propose de centrer le développement collaboratif de logiciels sur les pratiques de programmation. Cette proposition le distingue nettement d’autres méthodologies de génie logiciel plus dépendantes de leurs instruments, plus formalisées et gérées d’une manière plus centralisée. Cet article décrit les interactions d’une équipe d’ Extreme Programming œuvrant au développement d’un progiciel de gestion de
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

AMGHAR, Alain. "Méthodes et outils de génie logiciel." Technologies logicielles Architectures des systèmes, March 1991. http://dx.doi.org/10.51257/a-v1-h4050.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

MUENIER, Michel. "Méthodes et outils de génie logiciel." Technologies logicielles Architectures des systèmes, March 1993. http://dx.doi.org/10.51257/a-v1-h214.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "Méthodes formelles de génie logiciel"

1

Le, Guennec Alain. "Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests." Rennes 1, 2001. http://www.theses.fr/2001REN10156.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Fayolle, Thomas. "Combinaison de méthodes formelles pour la spécification de systèmes industriels." Thesis, Paris Est, 2017. http://www.theses.fr/2017PESC1078/document.

Texto completo
Resumen
La spécification d’un système industriel nécessite la collaboration d’un ingénieur connaissant le système à modéliser et d’un ingénieur connaissant le langage de modélisation. L'utilisation d'un langage de spécification graphique, tel que les ASTD (Algebraic State Transition Diagram), permet de faciliter cette collaboration. Dans cette thèse, nous définissons une méthode de spécification graphique et formelle qui combine les ASTD avec les langages Event-B et B. L’ordonnancement des actions de la spécification est décrit par les ASTD et le modèle de données est décrit dans la spécification Even
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Couturier, Raphaël. "Utilisation des méthodes formelles pour le développement de programmes parallèles." Nancy 1, 2000. http://docnum.univ-lorraine.fr/public/SCD_T_2000_0001_COUTURIER.pdf.

Texto completo
Resumen
Le travail décrit dans cette thèse a pour but d'étudier comment on peut appliquer les méthodes formelles à la parallélisassions, pour développer des programmes parallèles corrects. Comme un de nos objectifs est de travailler sur des applications en grandeur nature, nous avons, durant ce travail, collaboré avec des physiciens et chimistes de notre université afin de paralléliser trois de leurs applications. Ces applications ont été parallélisées, sur l'origin 2000 du centre Charles Hermite, soit avec openmp, soit avec mpi, soit avec ces deux paradigmes à la fois. Afin de prouver qu'une parallèl
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Hunel, Philippe. "Conception et réalisation d'un environnement intégré de génie logiciel pour le développement des protocoles." Clermont-Ferrand 2, 1994. http://www.theses.fr/1994CLF21624.

Texto completo
Resumen
Le travail présenté dans cette thèse porte sur l'élaboration d'un environnement pour concevoir, spécifier et implanter des protocoles de communication en utilisant la Technique de Description Formelle (TDF) Estelle. Les différents outils courants d'aide au développement, basés sur Estelle, ne couvrent généralement pas l'ensemble des objectifs des différentes phases d'un développement de protocole. En outre, ils présentent souvent des interfaces utilisateur variés. Cette thèse propose une solution pour intégrer les outils Estelle existants ou à venir dans un environnement ouvert. La première pa
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Hazem, Lotfi. "Développement d'architectures logicielles par application de patrons d'architecture prouvés : définition et application." Versailles-St Quentin en Yvelines, 2007. http://www.theses.fr/2007VERS0005.

Texto completo
Resumen
L’objectif visé par cette thèse est la réutilisation de solutions architecturales prouvées en combinant des techniques de développement formelles et semi-formelles pour répondre aux problèmes du développement d’architecture. Notre contribution porte sur la définition, la validation et l’intégration des patrons d’architecture dans les environnements de développement logiciel. Nous proposons de formaliser la définition des patrons d’architecture en prenant en compte non seulement la partie solution mais aussi la partie problème et les liens entre celles-ci. La description fournie s’appuie d’une
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Antignac, Thibaud. "Méthodes formelles pour le respect de la vie privée par construction." Thesis, Lyon, INSA, 2015. http://www.theses.fr/2015ISAL0016/document.

Texto completo
Resumen
Le respect de la vie privée par construction est de plus en plus mentionné comme une étape essentielle vers une meilleure protection de la vie privée. Les nouvelles technologies de l'information et de la communication donnent naissance à de nouveaux modèles d'affaires et de services. Ces services reposent souvent sur l'exploitation de données personnelles à des fins de personnalisation. Alors que les exigences de respect de la vie privée sont de plus en plus sous tension, il apparaît que les technologies elles-mêmes devraient être utilisées pour proposer des solutions davantage satisfaisantes.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Bon, Philippe. "Du cahier des charges aux spécifications formelles : une méthode basée sur les réseaux de Pétri de haut niveau." Lille 1, 2000. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2000/50376-2000-149.pdf.

Texto completo
Resumen
Aujourd'hui, un des points cruciaux dans le développement des logiciels critiques est le passage de l'informel au formel. Le but de cette thèse est de définir ici une méthodologie de développement permettant un passage plus intuitif du cahier de charges (spécifications informelles) aux spécifications formelles d'un système, en tenant compte de son comportement dynamique. Cette méthodologie se base sur l'utilisation d'un modèle lisible et expressif. Notre choix s'est donc porté les réseaux de Pétri de haut niveau qui combinent trois qualités importantes : la représentation graphique, le comport
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Belhaouari, Hakim. "Une approche intégrée pour la conception par contrat : vérification statique / dynamique et génération automatique de test." Paris 6, 2010. http://www.theses.fr/2010PA066116.

Texto completo
Resumen
Les méthodes formelles légères facilitent l'introduction des outils formels en autorisant une spécification partielle du logiciel. En l'occurrence la granularité des vérifications dépend de la quantité d'information spécifiée. La fusion de ces méthodes semi-formelles (en particulier de la conception par contrat) et du test logiciel conduit à la notion de test basé sur les modèles (MBT). Ainsi, la découverte d'un oracle et la production des données de test peut être automatisée. Dans la génération automatique de tests, il est important de considérer le critère de qualité des tests produits. Cet
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Caffiau, Sybille. "Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches." Phd thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique, 2009. http://tel.archives-ouvertes.fr/tel-00461497.

Texto completo
Resumen
Actuellement, les applications interactives sont utilisées dans de nombreux domaines (guichets automatiques, tours de contrôle...), par des publics très différents (enfants, experts, handicapés...) et par un nombre important d'utilisateurs (interfaces de téléphones portables...) ou au contraire très spécifiques (logiciels conçus spécifiquement pour une entreprise). Elles sont de ce fait très diverses. De par la multiplicité des paramètres à prendre en compte, la conception et le développement des applications interactives sont devenus très coûteux. Afin de réduire ces coûts, des recherches son
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Lissy, Alexandre. "Utilisation de méthodes formelles pour garantir des propriétés de logiciels au sein d'une distribution : exemple du noyau Linux." Thesis, Tours, 2014. http://www.theses.fr/2014TOUR4019/document.

Texto completo
Resumen
Dans cette thèse nous nous intéressons à intégrer dans la distribution Linux produite par Mandriva une assurance qualité permettant de proposer des garanties de propriétés sur le code exécuté. Le processus de création d’une distribution implique l’utilisation de logiciels de provenances diverses pour proposer un assemblage cohérent et présentant une valeur ajoutée pour l’utilisateur. Ceci engendre une moindre maîtrise potentielle sur le code. Un audit manuel permet de s’assurer que celui-Ci présente de bonnes propriétés, par exemple, en matière de sécurité. Le nombre croissant de composants à
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Méthodes formelles de génie logiciel"

1

Kumar S. K., Murali, author, ed. Simple statistical methods for software engineering: Data and patterns. CRC Press, Taylor & Francis Group, 2015.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Stefan, Leue, and Systä Tarja Johanna, eds. Scenarios: Models, Transformations and Tools: International workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers. Springer, 2005.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Ontario. Esquisse de cours 12e année: Sciences de l'activité physique pse4u cours préuniversitaire. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ontario. Esquisse de cours 12e année: Technologie de l'information en affaires btx4e cours préemploi. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Ontario. Esquisse de cours 12e année: Études informatiques ics4m cours préuniversitaire. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Ontario. Esquisse de cours 12e année: Mathématiques de la technologie au collège mct4c cours précollégial. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Ontario. Esquisse de cours 12e année: Sciences snc4m cours préuniversitaire. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Ontario. Esquisse de cours 12e année: English eae4e cours préemploi. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Ontario. Esquisse de cours 12e année: Le Canada et le monde: une analyse géographique cgw4u cours préuniversitaire. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Ontario. Esquisse de cours 12e année: Environnement et gestion des ressources cgr4e cours préemploi. CFORP, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Méthodes formelles de génie logiciel"

1

BERNOT, Gilles, Hélène COLLAVIZZA, and Jean-Paul COMET. "Méthodes de vérification formelle pour la modélisation en biologie : le cas des réseaux de régulation biologique." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch8.

Texto completo
Resumen
Ce chapitre démontre que la modélisation des réseaux de régulation biologiques est grandement facilitée par des méthodes symboliques de vérification formelle comme le model-checking et les preuves en logique de Hoare. Il présente une méthodologie complète de modélisation formelle où les approches logiques classiques du génie logiciel s'adaptent remarquablement efficacement au problème majeur de la modélisation des systèmes complexes: l'identification des paramètres.
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Méthodes formelles de génie logiciel" para tipos de fuentes particulares:
Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía