Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(M triquesIng nierie Dirig e par les Mod les IDM Unified Modeling Language UML Profil Model Driven Architecture MDA Analyse Formelle de Concepts AFC Analyse Relationn). Showing records 1 – 30 of 554820 total matches.

[1] [2] [3] [4] [5] … [18494]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Université Montpellier II

1. Osman Guedi, Abdoulkader. Évolution et transformation automatisée de modèles de systèmes d’information : une approche guidée par l’analyse formelle de concepts et l’analyse relationnelle de concepts : Evolution and Transformation automated models Information Systems.

Degree: Docteur es, Informatique, 2013, Université Montpellier II

 L'évolution rapide des besoins dus entre autres à l'innovation technique, la concurrence ou la réglementation conduit souvent à décrire le cadre d'étude des systèmes d'information… (more)

Subjects/Keywords: Évolution; Factorisation; Transformation; Modélisation; Méta-Modélisation; MétriquesIngénierie Dirigée par les Modèles (IDM) Unified Modeling Language (UML) Profil Model Driven Architecture (MDA)Analyse Formelle de Concepts (AFC) Analyse Relationn; Evolution; Factorization; Processing; Modeling; Meta-Modeling; Metrics; Model Driven Engineering (MDE); Unified Modeling Language (UML); Profile; Model Driven Architecture (MDA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Osman Guedi, A. (2013). Évolution et transformation automatisée de modèles de systèmes d’information : une approche guidée par l’analyse formelle de concepts et l’analyse relationnelle de concepts : Evolution and Transformation automated models Information Systems. (Doctoral Dissertation). Université Montpellier II. Retrieved from http://www.theses.fr/2013MON20239

Chicago Manual of Style (16th Edition):

Osman Guedi, Abdoulkader. “Évolution et transformation automatisée de modèles de systèmes d’information : une approche guidée par l’analyse formelle de concepts et l’analyse relationnelle de concepts : Evolution and Transformation automated models Information Systems.” 2013. Doctoral Dissertation, Université Montpellier II. Accessed January 19, 2020. http://www.theses.fr/2013MON20239.

MLA Handbook (7th Edition):

Osman Guedi, Abdoulkader. “Évolution et transformation automatisée de modèles de systèmes d’information : une approche guidée par l’analyse formelle de concepts et l’analyse relationnelle de concepts : Evolution and Transformation automated models Information Systems.” 2013. Web. 19 Jan 2020.

Vancouver:

Osman Guedi A. Évolution et transformation automatisée de modèles de systèmes d’information : une approche guidée par l’analyse formelle de concepts et l’analyse relationnelle de concepts : Evolution and Transformation automated models Information Systems. [Internet] [Doctoral dissertation]. Université Montpellier II; 2013. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2013MON20239.

Council of Science Editors:

Osman Guedi A. Évolution et transformation automatisée de modèles de systèmes d’information : une approche guidée par l’analyse formelle de concepts et l’analyse relationnelle de concepts : Evolution and Transformation automated models Information Systems. [Doctoral Dissertation]. Université Montpellier II; 2013. Available from: http://www.theses.fr/2013MON20239


NSYSU

2. Ho, Pei-Jung. Developing an Outsourcing Management Systems with BPR and MDAï¼A Case Study of Golf Manufacturer Company.

Degree: Master, Information Management, 2015, NSYSU

 The golf club head industry has been a mature industry with slow growth globally. Lately, the industry has also faced tough challenges due to economic… (more)

Subjects/Keywords: BPR; Business Process Reengineering; Unified Modeling Language; Model Driven Architecture; Outsourcing; UML; MDA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ho, P. (2015). Developing an Outsourcing Management Systems with BPR and MDAï¼A Case Study of Golf Manufacturer Company. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0826114-215503

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ho, Pei-Jung. “Developing an Outsourcing Management Systems with BPR and MDAï¼A Case Study of Golf Manufacturer Company.” 2015. Thesis, NSYSU. Accessed January 19, 2020. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0826114-215503.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ho, Pei-Jung. “Developing an Outsourcing Management Systems with BPR and MDAï¼A Case Study of Golf Manufacturer Company.” 2015. Web. 19 Jan 2020.

Vancouver:

Ho P. Developing an Outsourcing Management Systems with BPR and MDAï¼A Case Study of Golf Manufacturer Company. [Internet] [Thesis]. NSYSU; 2015. [cited 2020 Jan 19]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0826114-215503.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ho P. Developing an Outsourcing Management Systems with BPR and MDAï¼A Case Study of Golf Manufacturer Company. [Thesis]. NSYSU; 2015. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0826114-215503

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


INP Toulouse

3. Zalila, Faiez. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.

Degree: Docteur es, Sûreté de Logiciel et Calcul à Haute Performance, 2014, INP Toulouse

Les langages dédiés de modélisation (DSMLs) sont de plus en plus utilisés dans les phases amont du développement des systèmes complexes, en particulier pour les(more)

Subjects/Keywords: Ingénierie dirigée par les modèles (IDM); Langage dédié de modélisation (DSML); Vérification et validation (V V); Object Constraint Language (OCL); Vérification formelle; Vérification de modèle par exploration exhaustive; Sémantique translationnelle; Traçabilité; Remontée de vérification; Model Driven Engineering (MDE); Domain specific Modeling Language (DSML); Verification and validation (V V); Object Constraint Language (OCL); Formal verification; Model checking; Translational semantics; Traceability; Verification feedback

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zalila, F. (2014). Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2014INPT0092

Chicago Manual of Style (16th Edition):

Zalila, Faiez. “Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.” 2014. Doctoral Dissertation, INP Toulouse. Accessed January 19, 2020. http://www.theses.fr/2014INPT0092.

MLA Handbook (7th Edition):

Zalila, Faiez. “Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.” 2014. Web. 19 Jan 2020.

Vancouver:

Zalila F. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. [Internet] [Doctoral dissertation]. INP Toulouse; 2014. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2014INPT0092.

Council of Science Editors:

Zalila F. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. [Doctoral Dissertation]. INP Toulouse; 2014. Available from: http://www.theses.fr/2014INPT0092

4. Aliyu, Hamzat Olanrewaju. An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems : Un cadre intégratif pour l'ingénierie dirigée par les modèles des systèmes complexes : vers une fusion méthodologique de la simulation à évènements discrets avec l'analyse formelle et le prototypage rapide.

Degree: Docteur es, Informatique, 2016, Université Blaise-Pascale, Clermont-Ferrand II

Les méthodes d’ingénierie dirigée par modèle des systèmes, telles que la simulation, l’analyse formelle et l’émulation ont été intensivement utilisées ces dernières années pour étudier… (more)

Subjects/Keywords: Ingénierie Dirigée par les Modèles; SimStudio; HiLLS; Simulation; Analyse Formelle; Emulation; DEVS; Z; Logique Temporelle; Model-Driven Systems Engineering; SimStudio; HiLLS; Simulation; Formal Analysis; Enactment; DEVS; Z; Temporal Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Aliyu, H. O. (2016). An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems : Un cadre intégratif pour l'ingénierie dirigée par les modèles des systèmes complexes : vers une fusion méthodologique de la simulation à évènements discrets avec l'analyse formelle et le prototypage rapide. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2016CLF22777

Chicago Manual of Style (16th Edition):

Aliyu, Hamzat Olanrewaju. “An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems : Un cadre intégratif pour l'ingénierie dirigée par les modèles des systèmes complexes : vers une fusion méthodologique de la simulation à évènements discrets avec l'analyse formelle et le prototypage rapide.” 2016. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed January 19, 2020. http://www.theses.fr/2016CLF22777.

MLA Handbook (7th Edition):

Aliyu, Hamzat Olanrewaju. “An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems : Un cadre intégratif pour l'ingénierie dirigée par les modèles des systèmes complexes : vers une fusion méthodologique de la simulation à évènements discrets avec l'analyse formelle et le prototypage rapide.” 2016. Web. 19 Jan 2020.

Vancouver:

Aliyu HO. An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems : Un cadre intégratif pour l'ingénierie dirigée par les modèles des systèmes complexes : vers une fusion méthodologique de la simulation à évènements discrets avec l'analyse formelle et le prototypage rapide. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2016. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2016CLF22777.

Council of Science Editors:

Aliyu HO. An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems : Un cadre intégratif pour l'ingénierie dirigée par les modèles des systèmes complexes : vers une fusion méthodologique de la simulation à évènements discrets avec l'analyse formelle et le prototypage rapide. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2016. Available from: http://www.theses.fr/2016CLF22777

5. Brau, Guillaume. Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués : Integration of the Analysis of Non-Functional Properties in Model-Driven Engineering for Embedded Systems.

Degree: Docteur es, Réseaux, télécom, système et architecture, 2017, Toulouse, ISAE; Université du Luxembourg

L'ingénierie des systèmes embarqués repose sur deux activités complémentaires : la modélisation d'une part permet dereprésenter le système, l'analyse d’autre part permet d'évaluer les diverses… (more)

Subjects/Keywords: Systèmes embarqués; Ingénierie Dirigée par les Modèles; Analyse; Ordonnancement temps-Réel; Contrats; Langages de descriptions d'architectures; Embedded Systems; Model-Driven Engineering; Analysis; Real-Time Scheduling; Contracts; Architecture Description Languages; 000

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Brau, G. (2017). Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués : Integration of the Analysis of Non-Functional Properties in Model-Driven Engineering for Embedded Systems. (Doctoral Dissertation). Toulouse, ISAE; Université du Luxembourg. Retrieved from http://www.theses.fr/2017ESAE0004

Chicago Manual of Style (16th Edition):

Brau, Guillaume. “Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués : Integration of the Analysis of Non-Functional Properties in Model-Driven Engineering for Embedded Systems.” 2017. Doctoral Dissertation, Toulouse, ISAE; Université du Luxembourg. Accessed January 19, 2020. http://www.theses.fr/2017ESAE0004.

MLA Handbook (7th Edition):

Brau, Guillaume. “Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués : Integration of the Analysis of Non-Functional Properties in Model-Driven Engineering for Embedded Systems.” 2017. Web. 19 Jan 2020.

Vancouver:

Brau G. Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués : Integration of the Analysis of Non-Functional Properties in Model-Driven Engineering for Embedded Systems. [Internet] [Doctoral dissertation]. Toulouse, ISAE; Université du Luxembourg; 2017. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2017ESAE0004.

Council of Science Editors:

Brau G. Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués : Integration of the Analysis of Non-Functional Properties in Model-Driven Engineering for Embedded Systems. [Doctoral Dissertation]. Toulouse, ISAE; Université du Luxembourg; 2017. Available from: http://www.theses.fr/2017ESAE0004

6. Jaziri, Faouzi. Conception et analyse des biopuces à ADN en environnements parallèles et distribués : Design and analysis of DNA microarrays in parallel and distributed environments.

Degree: Docteur es, Informatique, 2014, Université Blaise-Pascale, Clermont-Ferrand II

Les microorganismes constituent la plus grande diversité du monde vivant. Ils jouent un rôle clef dans tous les processus biologiques grâce à leurs capacités d’adaptation… (more)

Subjects/Keywords: Bioinformatique; Biopuces à ADN; Sélection de sondes; Analyse des biopuces; Calcul intensif; Ingénierie dirigée par les modèles (IDM); Bioinformatics; DNA microarrays; Probe design; DNA MicroArray Data Analysis; High performance computing (HPC); Model driven engineering ( MDE )

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jaziri, F. (2014). Conception et analyse des biopuces à ADN en environnements parallèles et distribués : Design and analysis of DNA microarrays in parallel and distributed environments. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2014CLF22465

Chicago Manual of Style (16th Edition):

Jaziri, Faouzi. “Conception et analyse des biopuces à ADN en environnements parallèles et distribués : Design and analysis of DNA microarrays in parallel and distributed environments.” 2014. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed January 19, 2020. http://www.theses.fr/2014CLF22465.

MLA Handbook (7th Edition):

Jaziri, Faouzi. “Conception et analyse des biopuces à ADN en environnements parallèles et distribués : Design and analysis of DNA microarrays in parallel and distributed environments.” 2014. Web. 19 Jan 2020.

Vancouver:

Jaziri F. Conception et analyse des biopuces à ADN en environnements parallèles et distribués : Design and analysis of DNA microarrays in parallel and distributed environments. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2014. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2014CLF22465.

Council of Science Editors:

Jaziri F. Conception et analyse des biopuces à ADN en environnements parallèles et distribués : Design and analysis of DNA microarrays in parallel and distributed environments. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2014. Available from: http://www.theses.fr/2014CLF22465

7. Motii, Anas. Engineering secure software architectures : patterns, models and analysis : Ingénierie des sytèmes sécurisés : patrons, modèles et analyses.

Degree: Docteur es, Sureté du logiciel et calcul de haute performance, 2017, Université Toulouse III – Paul Sabatier

De nos jours la plupart des organisations pour ne pas dire toutes, dépendent des technologies de l'information et de la communication (TIC) pour supporter plusieurs… (more)

Subjects/Keywords: TIC; Analyse de risques; Ingénierie système à base de patrons; Patrons de sécurité; Ingénierie dirigée par les modèles (IDM); UML; ICT; Risk assessment; Pattern-based system engineering (PBSE); Security patterns; MDE; UML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Motii, A. (2017). Engineering secure software architectures : patterns, models and analysis : Ingénierie des sytèmes sécurisés : patrons, modèles et analyses. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2017TOU30274

Chicago Manual of Style (16th Edition):

Motii, Anas. “Engineering secure software architectures : patterns, models and analysis : Ingénierie des sytèmes sécurisés : patrons, modèles et analyses.” 2017. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed January 19, 2020. http://www.theses.fr/2017TOU30274.

MLA Handbook (7th Edition):

Motii, Anas. “Engineering secure software architectures : patterns, models and analysis : Ingénierie des sytèmes sécurisés : patrons, modèles et analyses.” 2017. Web. 19 Jan 2020.

Vancouver:

Motii A. Engineering secure software architectures : patterns, models and analysis : Ingénierie des sytèmes sécurisés : patrons, modèles et analyses. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2017. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2017TOU30274.

Council of Science Editors:

Motii A. Engineering secure software architectures : patterns, models and analysis : Ingénierie des sytèmes sécurisés : patrons, modèles et analyses. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2017. Available from: http://www.theses.fr/2017TOU30274


Université Paris-Sud – Paris XI

8. Noyrit, Florian. Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles.

Degree: Docteur es, Informatique, 2012, Université Paris-Sud – Paris XI

Les divers intervenants qui décrivent, étudient et réalisent un système complexe ont besoin de points de vue adaptés à leurs préoccupations. Cependant, dans le contexte… (more)

Subjects/Keywords: Langage de modélisation; Langage spécialisé; UML; Profils UML; Cadre architectural; Points de vue; Traitement automatique du langage naturel; Ingénierie dirigée par les modèles; ISO42010; Théorie des catégories, (Cohérence, Alignement, Correspondances); Modeling language; Domain specific language; UML; UML profiles; Architectural framework; Viewpoint; Natural language processing; Model-Driven Engineering; ISO42010; Category theory , (Consistency, Alignment, Correspondences)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Noyrit, F. (2012). Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2012PA112224

Chicago Manual of Style (16th Edition):

Noyrit, Florian. “Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles.” 2012. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 19, 2020. http://www.theses.fr/2012PA112224.

MLA Handbook (7th Edition):

Noyrit, Florian. “Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles.” 2012. Web. 19 Jan 2020.

Vancouver:

Noyrit F. Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2012. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2012PA112224.

Council of Science Editors:

Noyrit F. Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML : Model-driven engineering using heterogeneous modeling languages : application to UML profiles. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2012. Available from: http://www.theses.fr/2012PA112224

9. Fertier, Audrey. Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives : application à la gestion de crise : Automatic interpretation of heterogeneous data to model collaborative situations : application to crisis management.

Degree: Docteur es, Informatique et Génie Industriel, 2018, Ecole nationale des Mines d'Albi-Carmaux

Les travaux présentés dans ce manuscrit s’appliquent au domaine de la gestion de crise française, et notamment à la phase de réponse qui suit un… (more)

Subjects/Keywords: Interprétation de données; Ingénierie dirigée par les modèles (IDM/MDE); Architecture dirigée par les évènements (ADE/EDA); Modélisation orientée objet; Architecture orientée service (AOS/SOA); Big data; Gestion de crise; Crue de la Loire; Data interpretation; Model driven engineering (MDE); Event-driven architecture (EDA); Object oriented modelling; Service oriented architecture (SOA); Big data; Crisis management; Flood of the Loire River; 658.405

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fertier, A. (2018). Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives : application à la gestion de crise : Automatic interpretation of heterogeneous data to model collaborative situations : application to crisis management. (Doctoral Dissertation). Ecole nationale des Mines d'Albi-Carmaux. Retrieved from http://www.theses.fr/2018EMAC0009

Chicago Manual of Style (16th Edition):

Fertier, Audrey. “Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives : application à la gestion de crise : Automatic interpretation of heterogeneous data to model collaborative situations : application to crisis management.” 2018. Doctoral Dissertation, Ecole nationale des Mines d'Albi-Carmaux. Accessed January 19, 2020. http://www.theses.fr/2018EMAC0009.

MLA Handbook (7th Edition):

Fertier, Audrey. “Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives : application à la gestion de crise : Automatic interpretation of heterogeneous data to model collaborative situations : application to crisis management.” 2018. Web. 19 Jan 2020.

Vancouver:

Fertier A. Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives : application à la gestion de crise : Automatic interpretation of heterogeneous data to model collaborative situations : application to crisis management. [Internet] [Doctoral dissertation]. Ecole nationale des Mines d'Albi-Carmaux; 2018. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2018EMAC0009.

Council of Science Editors:

Fertier A. Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives : application à la gestion de crise : Automatic interpretation of heterogeneous data to model collaborative situations : application to crisis management. [Doctoral Dissertation]. Ecole nationale des Mines d'Albi-Carmaux; 2018. Available from: http://www.theses.fr/2018EMAC0009


Universidad Nacional de La Plata

10. Scolari, Santiago. Impacto de reglas de refactorización en diagramas UML con restricciones OCL.

Degree: 2010, Universidad Nacional de La Plata

Esta tesis tiene como objetivo principal hacer un aporte a la propuesta planteada por MDA. Se estudiarán las transformaciones de diagramas UML, en particular las… (more)

Subjects/Keywords: Ciencias Informáticas; software; Model Driven Architecture; OCL; MDA; UML; refactorización; Modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Scolari, S. (2010). Impacto de reglas de refactorización en diagramas UML con restricciones OCL. (Thesis). Universidad Nacional de La Plata. Retrieved from http://hdl.handle.net/10915/4011

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Scolari, Santiago. “Impacto de reglas de refactorización en diagramas UML con restricciones OCL.” 2010. Thesis, Universidad Nacional de La Plata. Accessed January 19, 2020. http://hdl.handle.net/10915/4011.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Scolari, Santiago. “Impacto de reglas de refactorización en diagramas UML con restricciones OCL.” 2010. Web. 19 Jan 2020.

Vancouver:

Scolari S. Impacto de reglas de refactorización en diagramas UML con restricciones OCL. [Internet] [Thesis]. Universidad Nacional de La Plata; 2010. [cited 2020 Jan 19]. Available from: http://hdl.handle.net/10915/4011.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Scolari S. Impacto de reglas de refactorización en diagramas UML con restricciones OCL. [Thesis]. Universidad Nacional de La Plata; 2010. Available from: http://hdl.handle.net/10915/4011

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

11. Rodrigues, Gustavo Afonso. Um simulador para modelos descritos em UML.

Degree: Mestrado, Sistemas Digitais, 2009, University of São Paulo

O objetivo da pesquisa apresentada neste trabalho foi investigar como simular modelos descritos em Unified Modelling Language (UML) para sistemas de software especificados em nível… (more)

Subjects/Keywords: MDA; Model Driven Architecture (MDA); Simuladores; Simulators; UML; UML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rodrigues, G. A. (2009). Um simulador para modelos descritos em UML. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29092010-162003/ ;

Chicago Manual of Style (16th Edition):

Rodrigues, Gustavo Afonso. “Um simulador para modelos descritos em UML.” 2009. Masters Thesis, University of São Paulo. Accessed January 19, 2020. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29092010-162003/ ;.

MLA Handbook (7th Edition):

Rodrigues, Gustavo Afonso. “Um simulador para modelos descritos em UML.” 2009. Web. 19 Jan 2020.

Vancouver:

Rodrigues GA. Um simulador para modelos descritos em UML. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2020 Jan 19]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29092010-162003/ ;.

Council of Science Editors:

Rodrigues GA. Um simulador para modelos descritos em UML. [Masters Thesis]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29092010-162003/ ;


Université Paris-Sud – Paris XI

12. Rekik, Saoussen. Methodology for a Model-based Timing Analysis Process for Automotive Systems : Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles.

Degree: Docteur es, Informatique, 2011, Université Paris-Sud – Paris XI

Aujourd'hui, les applications automobiles sont devenues de plus en plus complexes avec des ressources limitées et plus de contraintes de temps et de safety. La… (more)

Subjects/Keywords: Application automobiles; Développement dirigé par les modèles; Analyse d’ordonnancement; Analyse temporelle; Langages de modélisation; Outils d’analyse d’ordonnancement; Processus d’analyse temporelle dirigé par les modèles; Automotive systems; Model-based development; Scheduling analysis; Timing analysis; Modeling languages; Scheduling analysis tools; Model-based timing analysis process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rekik, S. (2011). Methodology for a Model-based Timing Analysis Process for Automotive Systems : Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2011PA112239

Chicago Manual of Style (16th Edition):

Rekik, Saoussen. “Methodology for a Model-based Timing Analysis Process for Automotive Systems : Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles.” 2011. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 19, 2020. http://www.theses.fr/2011PA112239.

MLA Handbook (7th Edition):

Rekik, Saoussen. “Methodology for a Model-based Timing Analysis Process for Automotive Systems : Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles.” 2011. Web. 19 Jan 2020.

Vancouver:

Rekik S. Methodology for a Model-based Timing Analysis Process for Automotive Systems : Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2011. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2011PA112239.

Council of Science Editors:

Rekik S. Methodology for a Model-based Timing Analysis Process for Automotive Systems : Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2011. Available from: http://www.theses.fr/2011PA112239


Université Paris-Sud – Paris XI

13. El Hajj Chehade, Wassim. Déploiement multiplateforme d'applications multitâche par la modélisation : Contribution to multiplatform deployement of muttitasking applications by high-Level execution services behavioral modeling.

Degree: Docteur es, Informatique, 2011, Université Paris-Sud – Paris XI

Face à la complexité des logiciels multitâches, liée aux contextes économique et concurrentiel très pressants, la portabilité des applications et la réutilisabilité des processus de(more)

Subjects/Keywords: Ingénierie Dirigée par les Modèles; Modèle de Plate-forme; Transformation de modèle; Exécution multitâche; UML; MARTE; Model Driven Engineering; Platform model; Model transformation; Multitasking execution; UML; MARTE

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

El Hajj Chehade, W. (2011). Déploiement multiplateforme d'applications multitâche par la modélisation : Contribution to multiplatform deployement of muttitasking applications by high-Level execution services behavioral modeling. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2011PA112042

Chicago Manual of Style (16th Edition):

El Hajj Chehade, Wassim. “Déploiement multiplateforme d'applications multitâche par la modélisation : Contribution to multiplatform deployement of muttitasking applications by high-Level execution services behavioral modeling.” 2011. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 19, 2020. http://www.theses.fr/2011PA112042.

MLA Handbook (7th Edition):

El Hajj Chehade, Wassim. “Déploiement multiplateforme d'applications multitâche par la modélisation : Contribution to multiplatform deployement of muttitasking applications by high-Level execution services behavioral modeling.” 2011. Web. 19 Jan 2020.

Vancouver:

El Hajj Chehade W. Déploiement multiplateforme d'applications multitâche par la modélisation : Contribution to multiplatform deployement of muttitasking applications by high-Level execution services behavioral modeling. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2011. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2011PA112042.

Council of Science Editors:

El Hajj Chehade W. Déploiement multiplateforme d'applications multitâche par la modélisation : Contribution to multiplatform deployement of muttitasking applications by high-Level execution services behavioral modeling. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2011. Available from: http://www.theses.fr/2011PA112042

14. Bendaoud, Rokia. Analyses formelle et relationnelle de concepts pour la construction d'ontologies de domaines à partir de ressources textuelles hétérogènes : Formal concept analysis and relational concept analysis for building ontologies from heterogeneous textual resources.

Degree: Docteur es, Informatique, 2009, Université Henri Poincaré – Nancy I

Les ontologies sont diversement employées notamment dans les domaines du Web sémantique, de l’ingénierie des connaissances, … En effet, elles permettent de partager, de diffuser… (more)

Subjects/Keywords: Analyse Formelle de concepts; Analyse Relationnelle de Concepts

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bendaoud, R. (2009). Analyses formelle et relationnelle de concepts pour la construction d'ontologies de domaines à partir de ressources textuelles hétérogènes : Formal concept analysis and relational concept analysis for building ontologies from heterogeneous textual resources. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2009NAN10054

Chicago Manual of Style (16th Edition):

Bendaoud, Rokia. “Analyses formelle et relationnelle de concepts pour la construction d'ontologies de domaines à partir de ressources textuelles hétérogènes : Formal concept analysis and relational concept analysis for building ontologies from heterogeneous textual resources.” 2009. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed January 19, 2020. http://www.theses.fr/2009NAN10054.

MLA Handbook (7th Edition):

Bendaoud, Rokia. “Analyses formelle et relationnelle de concepts pour la construction d'ontologies de domaines à partir de ressources textuelles hétérogènes : Formal concept analysis and relational concept analysis for building ontologies from heterogeneous textual resources.” 2009. Web. 19 Jan 2020.

Vancouver:

Bendaoud R. Analyses formelle et relationnelle de concepts pour la construction d'ontologies de domaines à partir de ressources textuelles hétérogènes : Formal concept analysis and relational concept analysis for building ontologies from heterogeneous textual resources. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2009. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2009NAN10054.

Council of Science Editors:

Bendaoud R. Analyses formelle et relationnelle de concepts pour la construction d'ontologies de domaines à partir de ressources textuelles hétérogènes : Formal concept analysis and relational concept analysis for building ontologies from heterogeneous textual resources. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2009. Available from: http://www.theses.fr/2009NAN10054

15. Rahmoun, Smail. Optimisation multi-objectifs d'architectures par composition de transformation de modèles : Multiple-objectives architecture optimization by composition of model transformations.

Degree: Docteur es, Informatique et réseaux, 2017, Paris, ENST

Nous proposons dans cette thèse une nouvelle approche pour l'exploration d’espaces de conception. Plus précisément, nous utilisons la composition de transformations de modèles pour automatiser… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles,IDM; Exploration; Sûreté; Optimisation; Transformation; Fiabilité; Model driven engineering, MDE; Exploration; Safety; Optimisation; Transformation; Reliability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rahmoun, S. (2017). Optimisation multi-objectifs d'architectures par composition de transformation de modèles : Multiple-objectives architecture optimization by composition of model transformations. (Doctoral Dissertation). Paris, ENST. Retrieved from http://www.theses.fr/2017ENST0004

Chicago Manual of Style (16th Edition):

Rahmoun, Smail. “Optimisation multi-objectifs d'architectures par composition de transformation de modèles : Multiple-objectives architecture optimization by composition of model transformations.” 2017. Doctoral Dissertation, Paris, ENST. Accessed January 19, 2020. http://www.theses.fr/2017ENST0004.

MLA Handbook (7th Edition):

Rahmoun, Smail. “Optimisation multi-objectifs d'architectures par composition de transformation de modèles : Multiple-objectives architecture optimization by composition of model transformations.” 2017. Web. 19 Jan 2020.

Vancouver:

Rahmoun S. Optimisation multi-objectifs d'architectures par composition de transformation de modèles : Multiple-objectives architecture optimization by composition of model transformations. [Internet] [Doctoral dissertation]. Paris, ENST; 2017. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2017ENST0004.

Council of Science Editors:

Rahmoun S. Optimisation multi-objectifs d'architectures par composition de transformation de modèles : Multiple-objectives architecture optimization by composition of model transformations. [Doctoral Dissertation]. Paris, ENST; 2017. Available from: http://www.theses.fr/2017ENST0004


Montana Tech

16. Flaherty, Dylan O. TESTING xUML: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN ARCHITECTURE.

Degree: MS, 2008, Montana Tech

Model Driven Architecture (MDA) is a relatively new and completely different approach to developing software in which diagrams and formal specifications are written and then… (more)

Subjects/Keywords: Executable UML; iUML; MDA; Model Driven Architecture; Software; Software Engineering; SQA; Testing; Unified Modeling Language; xUML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Flaherty, D. O. (2008). TESTING xUML: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN ARCHITECTURE. (Masters Thesis). Montana Tech. Retrieved from https://scholarworks.umt.edu/etd/957

Chicago Manual of Style (16th Edition):

Flaherty, Dylan O. “TESTING xUML: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN ARCHITECTURE.” 2008. Masters Thesis, Montana Tech. Accessed January 19, 2020. https://scholarworks.umt.edu/etd/957.

MLA Handbook (7th Edition):

Flaherty, Dylan O. “TESTING xUML: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN ARCHITECTURE.” 2008. Web. 19 Jan 2020.

Vancouver:

Flaherty DO. TESTING xUML: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN ARCHITECTURE. [Internet] [Masters thesis]. Montana Tech; 2008. [cited 2020 Jan 19]. Available from: https://scholarworks.umt.edu/etd/957.

Council of Science Editors:

Flaherty DO. TESTING xUML: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN ARCHITECTURE. [Masters Thesis]. Montana Tech; 2008. Available from: https://scholarworks.umt.edu/etd/957


NSYSU

17. Lin, Chia-Chun. A Modeling Methodology for Automotive Embedded Systemï¼An MDA Approach with UML.

Degree: Master, Information Management, 2012, NSYSU

 Automotive embedded systems used much in the main body control system. Also because the system needs to meet functional requirement, environment requirement, timing requirement, interface… (more)

Subjects/Keywords: MDA Transformations; UML Modeling; Model-Driven Architecture; Automotive Embedded Systems; Embedded Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lin, C. (2012). A Modeling Methodology for Automotive Embedded Systemï¼An MDA Approach with UML. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0711112-011515

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lin, Chia-Chun. “A Modeling Methodology for Automotive Embedded Systemï¼An MDA Approach with UML.” 2012. Thesis, NSYSU. Accessed January 19, 2020. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0711112-011515.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lin, Chia-Chun. “A Modeling Methodology for Automotive Embedded Systemï¼An MDA Approach with UML.” 2012. Web. 19 Jan 2020.

Vancouver:

Lin C. A Modeling Methodology for Automotive Embedded Systemï¼An MDA Approach with UML. [Internet] [Thesis]. NSYSU; 2012. [cited 2020 Jan 19]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0711112-011515.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lin C. A Modeling Methodology for Automotive Embedded Systemï¼An MDA Approach with UML. [Thesis]. NSYSU; 2012. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0711112-011515

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

18. Barbier, Guillaume. Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture : Contribution of model-driven engineering to the design of large-scale crop models.

Degree: Docteur es, Informatique, 2013, Université Blaise-Pascale, Clermont-Ferrand II

Cette thèse, à caractère industriel, vise à répondre à une problématique de production de l’entreprise ITK. Par la mise en oeuvre des techniques de l’ingénierie(more)

Subjects/Keywords: Ingénierie dirigée par les modèles; Modélisation et simulation; Agronomie; Génération de code; Langage visuel; Model-driven engineering; Modeling and simulation; Agronomy; Code generation; Visual language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Barbier, G. (2013). Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture : Contribution of model-driven engineering to the design of large-scale crop models. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2013CLF22357

Chicago Manual of Style (16th Edition):

Barbier, Guillaume. “Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture : Contribution of model-driven engineering to the design of large-scale crop models.” 2013. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed January 19, 2020. http://www.theses.fr/2013CLF22357.

MLA Handbook (7th Edition):

Barbier, Guillaume. “Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture : Contribution of model-driven engineering to the design of large-scale crop models.” 2013. Web. 19 Jan 2020.

Vancouver:

Barbier G. Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture : Contribution of model-driven engineering to the design of large-scale crop models. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2013. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2013CLF22357.

Council of Science Editors:

Barbier G. Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture : Contribution of model-driven engineering to the design of large-scale crop models. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2013. Available from: http://www.theses.fr/2013CLF22357


Université Paris-Sud – Paris XI

19. Charfi Smaoui, Asma. Compilation optimisée des modèles UML : An Optimized UML Compiler.

Degree: Docteur es, Informatique, 2011, Université Paris-Sud – Paris XI

Cette thèse s'inscrit dans le cadre de la mise en œuvre de l’ingénierie dirigée par les modèles (IDM) pour le développement des systèmes embarquées. Ces… (more)

Subjects/Keywords: Système embarqué; Ingénierie dirigée par les modèles (IDM); UML; Optimisation; Génération de code; Compilation (GCC); Embedded System; MBD; UML; Optimization; Code Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Charfi Smaoui, A. (2011). Compilation optimisée des modèles UML : An Optimized UML Compiler. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2011PA112305

Chicago Manual of Style (16th Edition):

Charfi Smaoui, Asma. “Compilation optimisée des modèles UML : An Optimized UML Compiler.” 2011. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 19, 2020. http://www.theses.fr/2011PA112305.

MLA Handbook (7th Edition):

Charfi Smaoui, Asma. “Compilation optimisée des modèles UML : An Optimized UML Compiler.” 2011. Web. 19 Jan 2020.

Vancouver:

Charfi Smaoui A. Compilation optimisée des modèles UML : An Optimized UML Compiler. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2011. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2011PA112305.

Council of Science Editors:

Charfi Smaoui A. Compilation optimisée des modèles UML : An Optimized UML Compiler. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2011. Available from: http://www.theses.fr/2011PA112305


Université Paris-Sud – Paris XI

20. Tatibouët, Jérémie. Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML : A Systematic Approach based on fUML to Formalize UML Profiles Execution Semantics.

Degree: Docteur es, Informatique, 2014, Université Paris-Sud – Paris XI

Les profils permettent de customiser UML pour un domaine particulier. Cette customisation se fait par l’ajout de concepts (stéréotypes) relatifs au domaine, l’ajout de contraintes… (more)

Subjects/Keywords: UML (informatique); FUML; PSCS; Alf; Profiles UML; Exécution; Ingénierie dirigée par les modèles; Formalisation; Simulation; UML (computer); FUML; PSCS; Alf; UML Profils; Execution; Model Driven Engineering; Formalization; Simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tatibouët, J. (2014). Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML : A Systematic Approach based on fUML to Formalize UML Profiles Execution Semantics. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2014PA112247

Chicago Manual of Style (16th Edition):

Tatibouët, Jérémie. “Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML : A Systematic Approach based on fUML to Formalize UML Profiles Execution Semantics.” 2014. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 19, 2020. http://www.theses.fr/2014PA112247.

MLA Handbook (7th Edition):

Tatibouët, Jérémie. “Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML : A Systematic Approach based on fUML to Formalize UML Profiles Execution Semantics.” 2014. Web. 19 Jan 2020.

Vancouver:

Tatibouët J. Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML : A Systematic Approach based on fUML to Formalize UML Profiles Execution Semantics. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2014. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2014PA112247.

Council of Science Editors:

Tatibouët J. Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML : A Systematic Approach based on fUML to Formalize UML Profiles Execution Semantics. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2014. Available from: http://www.theses.fr/2014PA112247


Université du Québec à Montréal

21. Fennouh, Schahrazed. Une méthode de filtrage des treillis de concepts pour la restructuration d'ontologies par l'analyse relationnelle de concepts.

Degree: 2016, Université du Québec à Montréal

 Un modèle ontologique, comme la plupart des projets d'ingénierie des systèmes d'information (modèles conceptuels et code source), est sujet à des erreurs et des anomalies.… (more)

Subjects/Keywords: Ontologies; Analyse formelle de concepts; Analyse relationnelle de concepts; Filtres (Informatique); Théorie des treillis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fennouh, S. (2016). Une méthode de filtrage des treillis de concepts pour la restructuration d'ontologies par l'analyse relationnelle de concepts. (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/9002/1/D3143.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fennouh, Schahrazed. “Une méthode de filtrage des treillis de concepts pour la restructuration d'ontologies par l'analyse relationnelle de concepts.” 2016. Thesis, Université du Québec à Montréal. Accessed January 19, 2020. http://archipel.uqam.ca/9002/1/D3143.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fennouh, Schahrazed. “Une méthode de filtrage des treillis de concepts pour la restructuration d'ontologies par l'analyse relationnelle de concepts.” 2016. Web. 19 Jan 2020.

Vancouver:

Fennouh S. Une méthode de filtrage des treillis de concepts pour la restructuration d'ontologies par l'analyse relationnelle de concepts. [Internet] [Thesis]. Université du Québec à Montréal; 2016. [cited 2020 Jan 19]. Available from: http://archipel.uqam.ca/9002/1/D3143.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fennouh S. Une méthode de filtrage des treillis de concepts pour la restructuration d'ontologies par l'analyse relationnelle de concepts. [Thesis]. Université du Québec à Montréal; 2016. Available from: http://archipel.uqam.ca/9002/1/D3143.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Monthe Djiadeu, Valéry Marcial. Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique : Software systems development by model transformation : application to embedded systems and robotics.

Degree: Docteur es, Informatique, 2017, Brest; Université de Yaoundé I

 Avec la construction des robots de plus en plus complexes, la croissance des architectures logicielles robotiques et l’explosion de la diversité toujours plus grande des… (more)

Subjects/Keywords: Architecture logicielle robotique; Ingénierie dirigée par les modèles; Langage de modélisation spécifique au domaine; Système temps réel et embarqué; Choix de méthode de conception; Développement de système logiciel; Robotic software architecture; Model-driven engineering; Domain-specific modeling language; Real-time and embedded system; Choice of design method; Software system development; 005.12

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Monthe Djiadeu, V. M. (2017). Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique : Software systems development by model transformation : application to embedded systems and robotics. (Doctoral Dissertation). Brest; Université de Yaoundé I. Retrieved from http://www.theses.fr/2017BRES0113

Chicago Manual of Style (16th Edition):

Monthe Djiadeu, Valéry Marcial. “Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique : Software systems development by model transformation : application to embedded systems and robotics.” 2017. Doctoral Dissertation, Brest; Université de Yaoundé I. Accessed January 19, 2020. http://www.theses.fr/2017BRES0113.

MLA Handbook (7th Edition):

Monthe Djiadeu, Valéry Marcial. “Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique : Software systems development by model transformation : application to embedded systems and robotics.” 2017. Web. 19 Jan 2020.

Vancouver:

Monthe Djiadeu VM. Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique : Software systems development by model transformation : application to embedded systems and robotics. [Internet] [Doctoral dissertation]. Brest; Université de Yaoundé I; 2017. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2017BRES0113.

Council of Science Editors:

Monthe Djiadeu VM. Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique : Software systems development by model transformation : application to embedded systems and robotics. [Doctoral Dissertation]. Brest; Université de Yaoundé I; 2017. Available from: http://www.theses.fr/2017BRES0113

23. Bruneliere, Hugo. Generic Model-based Approaches for Software Reverse Engineering and Comprehension : Approches Génériques Basées sur les Modèles pour la Rétro-Ingénierie et Compréhension du Logiciel.

Degree: Docteur es, Informatique, 2018, Nantes

De nos jours, les entreprises font souvent face à des problèmes de gestion, maintenance, évolution ou remplacement de leurs systèmes logiciel existants. La Rétro-Ingénierie est… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles (IDM)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bruneliere, H. (2018). Generic Model-based Approaches for Software Reverse Engineering and Comprehension : Approches Génériques Basées sur les Modèles pour la Rétro-Ingénierie et Compréhension du Logiciel. (Doctoral Dissertation). Nantes. Retrieved from http://www.theses.fr/2018NANT4040

Chicago Manual of Style (16th Edition):

Bruneliere, Hugo. “Generic Model-based Approaches for Software Reverse Engineering and Comprehension : Approches Génériques Basées sur les Modèles pour la Rétro-Ingénierie et Compréhension du Logiciel.” 2018. Doctoral Dissertation, Nantes. Accessed January 19, 2020. http://www.theses.fr/2018NANT4040.

MLA Handbook (7th Edition):

Bruneliere, Hugo. “Generic Model-based Approaches for Software Reverse Engineering and Comprehension : Approches Génériques Basées sur les Modèles pour la Rétro-Ingénierie et Compréhension du Logiciel.” 2018. Web. 19 Jan 2020.

Vancouver:

Bruneliere H. Generic Model-based Approaches for Software Reverse Engineering and Comprehension : Approches Génériques Basées sur les Modèles pour la Rétro-Ingénierie et Compréhension du Logiciel. [Internet] [Doctoral dissertation]. Nantes; 2018. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2018NANT4040.

Council of Science Editors:

Bruneliere H. Generic Model-based Approaches for Software Reverse Engineering and Comprehension : Approches Génériques Basées sur les Modèles pour la Rétro-Ingénierie et Compréhension du Logiciel. [Doctoral Dissertation]. Nantes; 2018. Available from: http://www.theses.fr/2018NANT4040

24. Mehiaoui, Asma. Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement : Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems.

Degree: Docteur es, Informatique, 2014, Brest

Dans le cadre industriel et académique, les méthodologies de développement logiciel exploitent de plus en plus le concept de “modèle” afin d’appréhender la complexité des… (more)

Subjects/Keywords: Systèmes temps réel critiques distribués; Optimisation; Analyse des temps de réponse; Programmation linéaire en nombres entiers; Exploration de l’espace des architectures; Ingénierie dirigée par les modèles; Critical distributed real-time systems; Optimization; Response time analysis; Mixed integer linear programming; Design space exploration; Model-driven engineering; 621.39; 004.33

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mehiaoui, A. (2014). Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement : Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems. (Doctoral Dissertation). Brest. Retrieved from http://www.theses.fr/2014BRES0011

Chicago Manual of Style (16th Edition):

Mehiaoui, Asma. “Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement : Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems.” 2014. Doctoral Dissertation, Brest. Accessed January 19, 2020. http://www.theses.fr/2014BRES0011.

MLA Handbook (7th Edition):

Mehiaoui, Asma. “Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement : Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems.” 2014. Web. 19 Jan 2020.

Vancouver:

Mehiaoui A. Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement : Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems. [Internet] [Doctoral dissertation]. Brest; 2014. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2014BRES0011.

Council of Science Editors:

Mehiaoui A. Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement : Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems. [Doctoral Dissertation]. Brest; 2014. Available from: http://www.theses.fr/2014BRES0011

25. Abdulhameed, Abbas Abdulazeez. Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes.

Degree: Docteur es, Informatique, 2016, Besançon

De nombreux systèmes hétérogènes sont complexes et critiques. Ces systèmes intègrent du logiciel et des composants matériels avec des interactions fortes entre ces composants. Dans… (more)

Subjects/Keywords: Spéciications SysML; Diagrammes de block; Ingénierie Dirigée par les Modéles IDM; SystemC; Simulation; Vérification; Exigences; Propriétés LTL; Model-Checking; Promela/SPIN; STATE tool; SysML speciications; Block diagrams; Model Driven Engineering MDE; SystemC; Simulation; Verification; Requirements; LTL properties; Model-Checking; Promela/SPIN; STATE tool; UPPAAL; 003

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abdulhameed, A. A. (2016). Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2016BESA2045

Chicago Manual of Style (16th Edition):

Abdulhameed, Abbas Abdulazeez. “Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes.” 2016. Doctoral Dissertation, Besançon. Accessed January 19, 2020. http://www.theses.fr/2016BESA2045.

MLA Handbook (7th Edition):

Abdulhameed, Abbas Abdulazeez. “Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes.” 2016. Web. 19 Jan 2020.

Vancouver:

Abdulhameed AA. Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. [Internet] [Doctoral dissertation]. Besançon; 2016. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2016BESA2045.

Council of Science Editors:

Abdulhameed AA. Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. [Doctoral Dissertation]. Besançon; 2016. Available from: http://www.theses.fr/2016BESA2045


Université Montpellier II

26. Dolques, Xavier. Génération de Transformations de Modèles : une approche basée sur les treillis de Galois : Model Transformation Generation : a Galois Lattices approach.

Degree: Docteur es, Informatique, 2010, Université Montpellier II

La transformation de modèles est une opération fondamentale dans l'ingénierie dirigée par les modèles. Elle peut être manuelle ou automatisée, mais dans ce dernier cas… (more)

Subjects/Keywords: Transformation de modèles; Analyse formelle de concepts; Alignement de modèles; Model transformation; Formal concept analysis; Model matching

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dolques, X. (2010). Génération de Transformations de Modèles : une approche basée sur les treillis de Galois : Model Transformation Generation : a Galois Lattices approach. (Doctoral Dissertation). Université Montpellier II. Retrieved from http://www.theses.fr/2010MON20212

Chicago Manual of Style (16th Edition):

Dolques, Xavier. “Génération de Transformations de Modèles : une approche basée sur les treillis de Galois : Model Transformation Generation : a Galois Lattices approach.” 2010. Doctoral Dissertation, Université Montpellier II. Accessed January 19, 2020. http://www.theses.fr/2010MON20212.

MLA Handbook (7th Edition):

Dolques, Xavier. “Génération de Transformations de Modèles : une approche basée sur les treillis de Galois : Model Transformation Generation : a Galois Lattices approach.” 2010. Web. 19 Jan 2020.

Vancouver:

Dolques X. Génération de Transformations de Modèles : une approche basée sur les treillis de Galois : Model Transformation Generation : a Galois Lattices approach. [Internet] [Doctoral dissertation]. Université Montpellier II; 2010. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2010MON20212.

Council of Science Editors:

Dolques X. Génération de Transformations de Modèles : une approche basée sur les treillis de Galois : Model Transformation Generation : a Galois Lattices approach. [Doctoral Dissertation]. Université Montpellier II; 2010. Available from: http://www.theses.fr/2010MON20212

27. Ramaswamy, Arunkumar. A model-driven framework development methodology for robotic systems : Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques.

Degree: Docteur es, Informatique, 2017, Paris Saclay

La plupart des applications robotiques, telles que les véhicules autonomes, sont développées à partir d’une page blanche avec quelques rares réutilisations de conceptions ou de(more)

Subjects/Keywords: Robotique; Ingénierie logicielle pilotée par les modèles; Architecture de logiciel; Cadre d'architecture; Architecture robotique; Robotics; Model-driven software engineering; Software architecture; Architecture frameworkdevelopment methodology; 629.89

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ramaswamy, A. (2017). A model-driven framework development methodology for robotic systems : Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2017SACLY011

Chicago Manual of Style (16th Edition):

Ramaswamy, Arunkumar. “A model-driven framework development methodology for robotic systems : Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques.” 2017. Doctoral Dissertation, Paris Saclay. Accessed January 19, 2020. http://www.theses.fr/2017SACLY011.

MLA Handbook (7th Edition):

Ramaswamy, Arunkumar. “A model-driven framework development methodology for robotic systems : Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques.” 2017. Web. 19 Jan 2020.

Vancouver:

Ramaswamy A. A model-driven framework development methodology for robotic systems : Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques. [Internet] [Doctoral dissertation]. Paris Saclay; 2017. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2017SACLY011.

Council of Science Editors:

Ramaswamy A. A model-driven framework development methodology for robotic systems : Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques. [Doctoral Dissertation]. Paris Saclay; 2017. Available from: http://www.theses.fr/2017SACLY011


Université Toulouse II – Le Mirail

28. Ziani, Adel. Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES) : Modélisation des applications "sécurisées et sûres" (S&D) à base de patrons pour des systèmes embarqués contraints en ressources (RCES).

Degree: Docteur es, Informatique, 2013, Université Toulouse II – Le Mirail

 La complexité croissante du matériel et du logiciel dans le développement des applications pour les systèmes embarqués induit de nouveaux besoins et de nouvelles contraintes… (more)

Subjects/Keywords: Systèmes embarqués contraints en ressource; Ingénierie dirigée par les modèles; Référentiel à base de modèles; Patrons de fiabilité et sécurité; Suite d'outils IDM; Resource constrained embedded systems; Model driven engineering; Model based repository; Security and dependability patterns; MDE tool-chain

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ziani, A. (2013). Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES) : Modélisation des applications "sécurisées et sûres" (S&D) à base de patrons pour des systèmes embarqués contraints en ressources (RCES). (Doctoral Dissertation). Université Toulouse II – Le Mirail. Retrieved from http://www.theses.fr/2013TOU20074

Chicago Manual of Style (16th Edition):

Ziani, Adel. “Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES) : Modélisation des applications "sécurisées et sûres" (S&D) à base de patrons pour des systèmes embarqués contraints en ressources (RCES).” 2013. Doctoral Dissertation, Université Toulouse II – Le Mirail. Accessed January 19, 2020. http://www.theses.fr/2013TOU20074.

MLA Handbook (7th Edition):

Ziani, Adel. “Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES) : Modélisation des applications "sécurisées et sûres" (S&D) à base de patrons pour des systèmes embarqués contraints en ressources (RCES).” 2013. Web. 19 Jan 2020.

Vancouver:

Ziani A. Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES) : Modélisation des applications "sécurisées et sûres" (S&D) à base de patrons pour des systèmes embarqués contraints en ressources (RCES). [Internet] [Doctoral dissertation]. Université Toulouse II – Le Mirail; 2013. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2013TOU20074.

Council of Science Editors:

Ziani A. Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES) : Modélisation des applications "sécurisées et sûres" (S&D) à base de patrons pour des systèmes embarqués contraints en ressources (RCES). [Doctoral Dissertation]. Université Toulouse II – Le Mirail; 2013. Available from: http://www.theses.fr/2013TOU20074


Université Paris-Sud – Paris XI

29. Woźniak, Ernest. Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées.

Degree: Docteur es, Informatique, 2014, Université Paris-Sud – Paris XI

Les solutions basées sur le logiciel/matériel jouent un rôle important dans le domaine de l'automobile. Il est de plus en plus fréquent que l’implémentation de(more)

Subjects/Keywords: Ingénierie dirigée par les modèles; Systèmes automobiles; Systèmes temps réel; Systèmes distribués; Temps budget; Optimisation; Algorithme évolutionniste; SysML; UML; MARTE; AUTOSAR; EAST-ADL2; Cadre de l'architecture automobile; Model Driven Engineering; Automotive Systems; Real-Time Systems; Distributed Systems; Time Budget; Optimization; Evolutionary Algorithms; SysML; UML; MARTE; AUTOSAR; EAST-ADL2; Automotive Architecture Framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Woźniak, E. (2014). Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2014PA112145

Chicago Manual of Style (16th Edition):

Woźniak, Ernest. “Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées.” 2014. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 19, 2020. http://www.theses.fr/2014PA112145.

MLA Handbook (7th Edition):

Woźniak, Ernest. “Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées.” 2014. Web. 19 Jan 2020.

Vancouver:

Woźniak E. Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2014. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2014PA112145.

Council of Science Editors:

Woźniak E. Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2014. Available from: http://www.theses.fr/2014PA112145

30. Benyahia, Abderraouf. Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. : Contribution to the realization of an UML execution engine for simulating timed and concurrent applications.

Degree: Docteur es, Informatique (STIC), 2012, Supélec

L'Ingénierie Dirigée par les Modèles (IDM) place les modèles au cœur des processus de d'ingénierie logicielle et système. L'IDM permet de maitriser la complexité des… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles; Systèmes temps-réel embarqué; Modèle d’exécution; Simulation; UML; FUML; Model Driven Engeneering; Real-time and embedded systems; Execution model; Simulation; UML; FUML; 378.242

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Benyahia, A. (2012). Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. : Contribution to the realization of an UML execution engine for simulating timed and concurrent applications. (Doctoral Dissertation). Supélec. Retrieved from http://www.theses.fr/2012SUPL0023

Chicago Manual of Style (16th Edition):

Benyahia, Abderraouf. “Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. : Contribution to the realization of an UML execution engine for simulating timed and concurrent applications.” 2012. Doctoral Dissertation, Supélec. Accessed January 19, 2020. http://www.theses.fr/2012SUPL0023.

MLA Handbook (7th Edition):

Benyahia, Abderraouf. “Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. : Contribution to the realization of an UML execution engine for simulating timed and concurrent applications.” 2012. Web. 19 Jan 2020.

Vancouver:

Benyahia A. Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. : Contribution to the realization of an UML execution engine for simulating timed and concurrent applications. [Internet] [Doctoral dissertation]. Supélec; 2012. [cited 2020 Jan 19]. Available from: http://www.theses.fr/2012SUPL0023.

Council of Science Editors:

Benyahia A. Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. : Contribution to the realization of an UML execution engine for simulating timed and concurrent applications. [Doctoral Dissertation]. Supélec; 2012. Available from: http://www.theses.fr/2012SUPL0023

[1] [2] [3] [4] [5] … [18494]

.