Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
17 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

Verlag

Publikation

Sprache

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Bridging the chasm between MDE and the world of compilation.
    Jézéquel, Jean-Marc ; Combemale, Benoit ; et al.
    In: Software & Systems Modeling, Jg. 11 (2012-10-01), Heft 4, S. 581-597
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formal verification of IoT applications using rewriting logic: An MDE-based approach.
    Fortas, Abdelouahab ; Kerkouche, Elhillali ; et al.
    In: Science of Computer Programming, Jg. 222 (2022-10-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems.
    Zhou, Nan ; Li, Di ; et al.
    In: IEEE Transactions on Automation Science & Engineering, Jg. 19 (2022), Heft 1, S. 425-440
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Working with the HL7 metamodel in a Model Driven Engineering context.
    Martínez-García, A. ; García-García, J.A. ; et al.
    In: Journal of Biomedical Informatics, Jg. 57 (2015-10-01), S. 415-424
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A method to evaluate quality of modelling languages based on the Zachman reference taxonomy.
    Giraldo, Fáber D. ; España, Sergio ; et al.
    In: Software Quality Journal, Jg. 27 (2019-09-01), Heft 3, S. 1239-1269
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    On the automation-supported derivation of domain-specific UML profiles considering static semantics.
    Kraas, Alexander
    In: Software & Systems Modeling, Jg. 21 (2022-02-01), Heft 1, S. 51-79
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives
    Quadri, Imran Rafiq ; Gamatié, Abdoulaye ; et al.
    In: Journal of Systems Architecture, Jg. 58 (2012-04-01), Heft 5, S. 178-194
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Model-based test case generation from UML sequence diagrams using extended finite state machines.
    Rocha, Mauricio ; Simão, Adenilso ; et al.
    In: Software Quality Journal, Jg. 29 (2021-09-01), Heft 3, S. 597-627
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A metamodel to integrate business processes time perspective in BPMN 2.0.
    Arevalo, C. ; Escalona, M.J. ; et al.
    In: Information & Software Technology, Jg. 77 (2016-09-01), S. 17-33
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
    Khan, Aamir M. ; Mallet, Frédéric ; et al.
    In: Software & Systems Modeling, Jg. 18 (2019-02-01), Heft 1, S. 11-37
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Rigorous identification and encoding of trace-links in model-driven engineering.
    Paige, Richard ; Drivalos, Nikolaos ; et al.
    In: Software & Systems Modeling, Jg. 10 (2011-10-01), Heft 4, S. 469-487
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Evaluating the quality of a set of modelling languages used in combination: A method and a tool.
    Giraldo, Fáber D. ; España, Sergio ; et al.
    In: Information Systems, Jg. 77 (2018-09-01), S. 48-70
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Heterogeneous verification in the context of model driven engineering.
    Calegari, Daniel ; Mossakowski, Till ; et al.
    In: Science of Computer Programming, Jg. 126 (2016-09-15), S. 3-30
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Institution-based foundations for verification in the context of model-driven engineering.
    Calegari, Daniel ; Szasz, Nora
    In: Science of Computer Programming, Jg. 107 (2015-09-01), S. 41-63
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A formal framework for context-aware systems specification and verification.
    Djoudi, Brahim ; Bouanaka, Chafia ; et al.
    In: Journal of Systems & Software, Jg. 122 (2016-12-01), S. 445-462
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A three-dimensional taxonomy for bidirectional model synchronization.
    Diskin, Zinovy ; Gholizadeh, Hamid ; et al.
    In: Journal of Systems & Software, Jg. 111 (2016), S. 298-322
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Co-evolution of metamodels and models through consistent change propagation.
    Demuth, Andreas ; Riedl-Ehrenleitner, Markus ; et al.
    In: Journal of Systems & Software, Jg. 111 (2016), S. 281-297
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -