Zum Inhalt springen

  5. Garcia Gutierrez, Miguel Alfredo [Verfasser:in] ; Möller, Ralf [Sonstige Person, Familie und Körperschaft]; Vogt, Friedrich H. [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Institut für Theoretische Elektrotechnik

    On the formalization of model-driven software engineering

    Bücher
    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.

    Berlin: Logos-Verl., 2009

  7. Bruel, Jean-Michel [Herausgeber:in] ; MoDELS 8 2005 Montego Bay

    Satellite events at the MoDELS 2005 conference : MoDELS 2005 international workshops ; doctoral symposium, educators symposium, Montego Bay, Jamaica, October 2-7, 2005 ; revised selected papers

    Bücher
    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.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3844

  8. Engels, Gregor [Herausgeber:in]; Opdyke, Bill [Sonstige Person, Familie und Körperschaft]; Schmidt, Douglas C. [Sonstige Person, Familie und Körperschaft]; Weil, Frank [Sonstige Person, Familie und Körperschaft] ; International Conference on Model Driven Engineering Languages and Systems 10 2007 Nashville, Tenn

    Model driven engineering languages and systems : 10th International Conference, MODELS 2007, Nashville, USA, September 30 - October 5, 2007 ; proceedings

    Bücher
    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.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4735

  9. Briand, Lionel [Sonstige Person, Familie und Körperschaft]; Briand, Lionel C. [Herausgeber:in] ; MoDELS 8 2005 Montego Bay

    Model driven engineering languages and systems : 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2 - 7, 2005 ; proceedings

    Bücher
    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.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3713

  10. Brucker, Achim D. [Herausgeber:in]; Daniel, Gwendal [Herausgeber:in]; Jouault, Frédédric [Herausgeber:in] ; International Workshop on OCL and Textual Modeling 19. 2019 München

    OCL 2019 - 19th International Workshop on OCL and Textual Modeling : workshop proceedings : IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems : September 15-September 20, 2019, Munich (Germany) - [V1.0]

    Bücher
    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.

    [Aachen, Germany]: [RWTH Aachen], 2019-12-06

    Erschienen in: CEUR workshop proceedings ; 2513

  11. Radke, Hendrik [Verfasser:in] ; Habel, Annegret [Akademische:r Betreuer:in]; Schürr, Andy [Sonstige Person, Familie und Körperschaft]

    A theory of HR* graph conditions and their application to meta-modeling

    Bücher
    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.

    Oldenburg, 2016

  13. Briand, Lionel [Sonstige Person, Familie und Körperschaft]; Williams, Clay [Sonstige Person, Familie und Körperschaft]

    Model Driven Engineering Languages and Systems (vol. # 3713) : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

    Bücher
    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3713

  14. Engels, Gregor [Sonstige Person, Familie und Körperschaft]; Opdyke, Bill [Sonstige Person, Familie und Körperschaft]; Schmidt, Douglas C. [Sonstige Person, Familie und Körperschaft]; Weil, Frank [Sonstige Person, Familie und Körperschaft]

    Model Driven Engineering Languages and Systems : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

    Bücher
    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4735

  15. Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Harel, David [Sonstige Person, Familie und Körperschaft]; Reggio, Gianna [Sonstige Person, Familie und Körperschaft]; Whittle, Jon [Sonstige Person, Familie und Körperschaft]

    Model Driven Engineering Languages and Systems (vol. # 4199) : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

    Bücher
    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4199

  16. Bruel, Jean-Michel [Sonstige Person, Familie und Körperschaft]

    Satellite Events at the MoDELS 2005 Conference : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

    Bücher
    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 3844

  17. Cherfa, Elyes [Verfasser:in] ; Lorient [Mitwirkende:r]; Sadou, Salah [Mitwirkende:r]; Fleurquin, Régis [Mitwirkende:r]; Tibermacine, Chouki [Mitwirkende:r]

    Assistance à la spécification de contraintes OCL dans les métamodèles ; Assisting the creation of OCL constraints

    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, 2021-12-15

  18. Soden, Michael [Verfasser:in] ; Fischer, Joachim [Mitwirkende:r]; Schlingloff, Holger [Mitwirkende:r]; Prinz, Andreas [Mitwirkende:r]

    Dynamische Modellanalyse von Metamodellen mit operationaler Semantik

    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.

    Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015-03-18

  19. Richa, Elie [Verfasser:in] ; Paris, ENST [Mitwirkende:r]; Pautet, Laurent [Mitwirkende:r]; Borde, Etienne [Mitwirkende:r]

    Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles ; Qualification of source code generators in the avionics domain : automated testing of model transformation chains

    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, 2015-12-15

  20. Zalila, Faiez [Verfasser:in] ; Toulouse, INPT [Mitwirkende:r]; Aït-Ameur, Yamine [Mitwirkende:r]; Crégut, Xavier [Mitwirkende:r]

    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