Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
19 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & 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 / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

19 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 184-193
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Towards a Model Driven Approach to Automatic BPEL Generation.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 204-218
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Model Driven Software Factory Using Domain Specific Languages.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 194-203
    Buch
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Adopting Model Driven Development in a Large Financial Organization.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 172-183
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Human Comprehensible and Machine Processable Specifications of Operational Semantics.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 157-171
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Constraints Modeling for (Profiled) UML Models.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 130-143
    Buch
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Scenarios of Traceability in Model to Text Transformations.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 144-156
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Towards the Generation of a Text-Based IDE from a Language Metamodel.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 114-129
    Buch
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Execution of Aspect Oriented UML Models.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 83-98
    Buch
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    An Algebraic View on the Semantics of Model Composition.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 99-113
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Templatable Metamodels for Semantic Variation Points.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 68-82
    Buch
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Model Transformation from OWL-S to BPEL Via SiTra.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 43-58
    Buch
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 59-67
    Buch
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A Practical Approach to Model Extension.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 32-42
    Buch
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 1-16
    Buch
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Model Driven Architecture- Foundations & Applications; (2007) S. 17-31
    Buch
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Verification of Language Based Fault-Tolerance.
    Moreno Díaz, Roberto ; Pichler, Franz ; et al.
    In: Computer Aided Systems Theory - EUROCAST 2005; (2005) S. 140-149
    Buch
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Optimizing Resource Usage in Component-Based Real-Time Systems.
    Heineman, George T. ; Crnkovic, Ivica ; et al.
    In: Component-Based Software Engineering; (2005) S. 49-65
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    System description: Verification of distributed Erlang programs.
    Carbonell, Jaime G. ; Siekmann, Jörg ; et al.
    In: Automated Deduction - CADE-15; (1998) S. 38-41
    Buch
    Wie komme ich dran?

Elektronische Zeitschriften

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -