- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 19 (0.071 seconds)Spelling suggestions: "subject:"UML (informatique)"" "subject:"UML (nformatique)""
| 1 |
Un formalisme graphique de représentation de contraintes sémantiques pour UMLParent, Marc Philippe. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2008. / Titre de l'écran-titre (visionné le 2 sept. 2008). Bibliogr.
|
| 2 |
Contribution à une démarche de vérification formelle d'architectures logiciellesGraiet, Mohamed Giraudin, Jean-Pierre. January 2007 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 159-167.
|
| 3 |
Ingénierie système guidée par les modèles Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques /Turki, Skander Soriano, Thierry. January 2008 (has links)
Reproduction de : Thèse de doctorat : Sciences : Toulon : 2008. / Titre provenant du cadre-titre. Bibliogr p. 178-188.
|
| 4 |
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temp-réel décrits en RT-LOTOSSadani, Tarek Courtiat, Jean-Pierre Saqui-Sannes, Pierre de. January 2007 (has links)
Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 89 réf.
|
| 5 |
Un formalisme graphique de représentation de contraintes sémantiques pour UMLParent, Marc Philippe 13 April 2018 (has links)
L'utilisation à grande échelle de UML dans l'industrie informatique est en train d'en faire une norme incontournable pour toute activité de modélisation conceptuelle requise par l'informatisation de systèmes d'information. Toutefois, UML a ses limites. En effet, l'expression de contraintes sémantiques se fait par OCL (Object Constraint Language), un langage basé sur la logique des prédicats du premier ordre. Les avantages d'avoir un formalisme formel, simple et graphique se perdent donc lorsque les contraintes associées au domaine doivent être décrites soit sous une forme textuelle, soit en logique des prédicats du 1er ordre. La méthodologie envisagée consiste donc en l'élaboration d'un formalisme graphique d'expression de contrainte de telle sorte que les contraintes ainsi exprimées puissent être automatiquement transformées en OCL. Les contraintes OCL peuvent alors être vérifiées afin qu'elles soient toutes satisfaites et qu'elles évitent l'introduction d'incohérence dans les données. Dans ce cas, le modélisateur pourra en être averti et pourra ajuster le modèle ou valider l'acquisition de données. Éventuellement, nous visons à ce que ces contraintes puissent s'assurer que la génération du code en tienne compte, d'où leur possible intégration à un outil de modélisation et de génération de code (outil CASE).
|
| 6 |
A differentiated quality of service oriented multimedia multicast protocol Un protocole multimedia multipoint à qualité de service différenciée /Garduno Barrera, David Rafael. Diaz, Michel January 2005 (has links)
Reproduction de : Thèse de doctorat : Réseaux et télécommunications : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 81 réf.
|
| 7 |
Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-LOTOSLohr, Christophe Courtiat, Jean-Pierre January 2005 (has links)
Reproduction de : Thèse de doctorat : Programmation et systèmes : Toulouse, INPT : 2002. / Titre provenant de l'écran-titre. Bibliogr. 158 réf.
|
| 8 |
Amélioration de la qualité des données du produit dans le contexte du cycle de vie d'un vaccin une approche d'interopérabilité dirigée par les modèles /Moalla, Néjib Bouras, Abdelaziz Ouzrout, Yacine. Neubert, Gilles. January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lyon 2 : 2007. / Titre provenant de l'écran-titre. Bibliogr.
|
| 9 |
Méthodologie et outils pour la conception d'un habitat intelligentBonhomme, Sylvain Campo, Éric. Estève, Daniel January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 158 réf.
|
| 10 |
Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèlesThomas, Frédéric Terrier, François. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.
|
Page generated in 0.0765 seconds