Zum Inhalt springen

  1. Bruneliere, Hugo [VerfasserIn] ; Nantes [MitwirkendeR]; Sunyé, Gerson [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-20

  2. Nguyen, Thi Mai [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Mammar, Amel [MitwirkendeR]; Laleau, Régine [MitwirkendeR]

    A model driven engineering approach to build secure information systems ; Une approche MDE pour construire des systèmes d'information sécurisés

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-01-13

  4. Motii, Anas [VerfasserIn] ; Toulouse 3 [MitwirkendeR]; Hamid, Brahim [MitwirkendeR]; Lanusse, Agnès [MitwirkendeR]

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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-07-10

  5. Ouraiba, El Amine [VerfasserIn] ; Le Mans [MitwirkendeR]; Choquet, Christophe [MitwirkendeR]

    Scénarisation pédagogique pour des EIAH ouverts : une approche dirigée par les modèles et spécifique au domaine métier ; Instructional design for open TEL systems : model-driven and domain-specific approach

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-09-19

  6. Abdulhameed, Abbas Abdulazeez [VerfasserIn] ; Besançon [MitwirkendeR]; Mountassir, Hassan [MitwirkendeR]; Tatibouet, Bruno [MitwirkendeR]; Hammad, Ahmed [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-03-04

  7. Jaziri, Faouzi [VerfasserIn] ; Clermont-Ferrand 2 [MitwirkendeR]; Hill, David R. C. [MitwirkendeR]; Peyret, Pierre [MitwirkendeR]

    Conception et analyse des biopuces à ADN en environnements parallèles et distribués ; Design and analysis of DNA microarrays in parallel and distributed environments

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-06-23

  8. Mzid, Rania [VerfasserIn] ; Brest [MitwirkendeR]; École nationale d'ingénieurs de Sfax (Tunisie) [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]; Abid, Mohamed [MitwirkendeR]

    Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel ; Reverse-engineering of platforms for the deployment of real-time applications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-05-12

  9. Fertier, Audrey [VerfasserIn] ; Ecole nationale des Mines d'Albi-Carmaux [MitwirkendeR]; Bénaben, Frédérick [MitwirkendeR]; Truptil, Sébastien [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-11-29

  10. Diaw, Samba [VerfasserIn] ; Toulouse 2 [MitwirkendeR]; Université de Ziguinchor [MitwirkendeR]; Coulette, Bernard [MitwirkendeR]; Sambou, Salomon [MitwirkendeR]

    Spem4mde : un métamodèle et un environnement pour la modélisation et la mise en œuvre assistée de processus IDM ; Spem4mde : a metamodel and software environment for assisted modeling and enactment of MDE processes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-09-28

  11. Zalila, Faiez [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Aït-Ameur, Yamine [MitwirkendeR]; Crégut, Xavier [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-12-09

  12. Khorram, Faezeh [VerfasserIn] ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire [MitwirkendeR]; Sunyé, Gerson [MitwirkendeR]

    A testing framework for executable domain-specific languages ; Un environnement de test pour les langages dédiés exécutables

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-12-12

  13. Ziani, Adel [VerfasserIn] ; Toulouse 2 [MitwirkendeR]; Bruel, Jean-Michel [MitwirkendeR]; Hamid, Brahim [MitwirkendeR]

    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)

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-09-19

  14. Osman Guedi, Abdoulkader [VerfasserIn] ; Montpellier 2 [MitwirkendeR]; Université de Djibouti [MitwirkendeR]; Huchard, Marianne [MitwirkendeR]

    É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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-07-10

  15. Oudart, David [VerfasserIn] ; Institut polytechnique de Paris [MitwirkendeR]; Chabridon, Sophie [MitwirkendeR]; Boulanger, Frédéric [MitwirkendeR]

    Application de l'ingénierie dirigée par les modèles à la conception de Smart Grids : approche par cosimulation avec FMI ; Model-driven engineering applied to Smart Grids design : cosimulation with FMI approach

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-05-07

  16. Pimenta, Paulo [VerfasserIn] ; Montpellier [MitwirkendeR]; Müller, Jean-Pierre [MitwirkendeR]

    Application of model-driven engineering to multi-agent systems : a language to model behaviors of reactive agents ; Application de l'ingénierie dirigée par les modèles dans le domaine des systèmes multi-agents : un langage pour décrire les comportements des agents réactifs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-01-05