Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
146 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Publikation

Sprache

146 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    MDE 2.0 : Pragmatical formal model verification and other challenges
    Cabot, Jordi ; Modeling Technologies for Software Production, Operation, and Evolution (ATLANMOD) ; et al.
    In: https://theses.hal.science/tel-00915282 ; Software Engineering [cs.SE]. Universitat Politécnica de Catalunya, 2012, 2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    MDE 2.0 : Pragmatical formal model verification and other challenges
    Cabot, Jordi ; Modeling Technologies for Software Production, Operation, and Evolution (ATLANMOD) ; et al.
    In: https://theses.hal.science/tel-00915282 ; Software Engineering [cs.SE]. Universitat Politécnica de Catalunya, 2012, 2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    MDE 2.0 : Pragmatical formal model verification and other challenges
    Cabot, Jordi ; Modeling Technologies for Software Production, Operation, and Evolution (ATLANMOD) ; et al.
    In: https://theses.hal.science/tel-00915282 ; Software Engineering [cs.SE]. Universitat Politécnica de Catalunya, 2012, 2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    MDE 2.0 : Pragmatical formal model verification and other challenges
    Cabot, Jordi ; Modeling Technologies for Software Production, Operation, and Evolution (ATLANMOD) ; et al.
    In: https://tel.archives-ouvertes.fr/tel-00915282 ; Software Engineering [cs.SE]. Universitat Politécnica de Catalunya, 2012, 2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Multi-view design for cyber-physical systems ; Multi-vue design pour cyber-physical systems
    Zhao, Hui ; Logical Time for Formal Embedded System Design (KAIROS) ; et al.
    In: https://theses.hal.science/tel-03775554 ; Software Engineering [cs.SE]. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4022⟩, 2022
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Multi-view design for cyber-physical systems ; Multi-vue design pour cyber-physical systems
    Zhao, Hui ; Logical Time for Formal Embedded System Design (KAIROS) ; et al.
    In: https://theses.hal.science/tel-03775554 ; Software Engineering [cs.SE]. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4022⟩, 2022
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    A New Approach for Composing Domain Specific Modeling Languages ; Une Nouvelle Approche de Composition des Langages de Modélisation Spécifiques aux Domaines
    ABOUZAHRA, ANAS ; LabSIV Laboratory, Faculty of Sciences, University Ibn Zohr, 80001 Agadir, Morocco ; et al.
    In: https://tel.archives-ouvertes.fr/tel-02424816 ; Génie logiciel [cs.SE]. Université Ibn Zohr (Agadir, Maroc). Faculté des sciences, 2019. Français, 2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Enhance software comprehension with dynamic and interactive diagrams ; Améliorer la compréhension d’un programme à l’aide de diagrammes dynamiques et interactifs
    Duruisseau, Mickaël ; Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) ; et al.
    In: https://hal.archives-ouvertes.fr/tel-02434803 ; Génie logiciel [cs.SE]. Université de Lille, Sciences et Technologies, 2019. Français, 2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms ; Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel
    Lelionnais, Cédrick ; ESEO-Tech ; et al.
    In: https://hal.science/tel-01093814 ; Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2014. Français. ⟨NNT : ⟩, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms ; Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel
    Lelionnais, Cédrick ; ESEO-Tech ; et al.
    In: https://hal.archives-ouvertes.fr/tel-01093814 ; Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2014. Français, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Multiple-objectives architecture optimization by composition of model transformations ; Optimisation multi-objectifs d'architectures par composition de transformation de modèles
    Rahmoun, Smail ; Laboratoire Traitement et Communication de l'Information (LTCI) ; et al.
    In: https://pastel.hal.science/tel-01791789 ; Software Engineering [cs.SE]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0004⟩, 2017
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Multiple-objectives architecture optimization by composition of model transformations ; Optimisation multi-objectifs d'architectures par composition de transformation de modèles
    Rahmoun, Smail ; Laboratoire Traitement et Communication de l'Information (LTCI) ; et al.
    In: https://pastel.hal.science/tel-01791789 ; Software Engineering [cs.SE]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0004⟩, 2017
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery) ; Vers une assistance à la manipulation de transformations de modèles par l'exploitation d'exemples de transformation
    Saada, Hajer ; Models And Reuse Engineering, Languages (MAREL) ; et al.
    In: https://hal-lirmm.ccsd.cnrs.fr/tel-01382345 ; Software Engineering [cs.SE]. Université Monpellier 2, 2013. English. ⟨NNT : ⟩, 2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A metamodel specification for uml tools adaptation ; Spécification d'un Métamodèle pour l'adaptation des outils UML
    El Kouhen, Amine ; Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) ; et al.
    In: https://theses.hal.science/tel-00997773 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français. ⟨NNT : ⟩, 2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery) ; Vers une assistance à la manipulation de transformations de modèles par l'exploitation d'exemples de transformation
    Saada, Hajer ; Models And Reuse Engineering, Languages (MAREL) ; et al.
    In: https://hal-lirmm.ccsd.cnrs.fr/tel-01382345 ; Software Engineering [cs.SE]. Université Monpellier 2, 2013. English. ⟨NNT : ⟩, 2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A metamodel specification for uml tools adaptation ; Spécification d'un Métamodèle pour l'adaptation des outils UML
    El Kouhen, Amine ; Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) ; et al.
    In: https://theses.hal.science/tel-00997773 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français. ⟨NNT : ⟩, 2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery) ; Vers une assistance à la manipulation de transformations de modèles par l'exploitation d'exemples de transformation
    Saada, Hajer ; Models And Reuse Engineering, Languages (MAREL) ; et al.
    In: https://hal-lirmm.ccsd.cnrs.fr/tel-01382345 ; Software Engineering [cs.SE]. Université Monpellier 2, 2013. English, 2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A metamodel specification for uml tools adaptation ; Spécification d'un Métamodèle pour l'adaptation des outils UML
    El Kouhen, Amine ; Laboratoire d'Intégration des Systèmes et des Technologies (LIST) ; et al.
    In: https://tel.archives-ouvertes.fr/tel-00997773 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français, 2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    A Methodology to Develop High Performance Applications on GPGPU Architectures: Application to Simulation of Electrical Machines ; Une Méthodologie pour le Développement d'Applications Hautes Performances sur des Architectures GPGPU: Application à la Simulation des Machines Éléctriques
    Antonio Wendell, de Oliveira Rodrigues ; Laboratoire d'Informatique Fondamentale de Lille (LIFL) ; et al.
    In: https://theses.hal.science/tel-00670221 ; Electromagnetism. Université des Sciences et Technologie de Lille - Lille I, 2012. English. ⟨NNT : ⟩, 2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    A Methodology to Develop High Performance Applications on GPGPU Architectures: Application to Simulation of Electrical Machines ; Une Méthodologie pour le Développement d'Applications Hautes Performances sur des Architectures GPGPU: Application à la Simulation des Machines Éléctriques
    Antonio Wendell, De Oliveira Rodrigues ; Laboratoire d'Informatique Fondamentale de Lille (LIFL) ; et al.
    In: https://tel.archives-ouvertes.fr/tel-00670221 ; Electromagnetism. Université des Sciences et Technologie de Lille - Lille I, 2012. English, 2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -