„Programmiersprache“

Suchergebnisse

5.296 Treffer

• Generic Modelling with Graph Rewriting Systems
  Münch, Manfred 2003 Shaker
• Konzeption und Realisierung einer Referenzarchitektur für die einfachere Entwicklung von MDSD-Generatorsystemen mit dem Schwerpunkt auf Unternehmensanwendungen
  Zhang, Zheng ; Balzert, Helmut ; Eisenecker, Ulrich 2016 Ruhr-Universität Bochum
• Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
  Grönniger, Hans 2010 Shaker
• Werttypen in objektorientierten Programmiersprachen
  Ritterbach, Beate ; Züllighoven, Heinz 2015 Staats- und Universitätsbibliothek Hamburg
• Well-Formed and Scalable Invasive Software Composition
  Karol, Sven ; Aßmann, Uwe ; Löwe, Welf 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Entwicklung und Evaluierung einer Erweiterung der BPMN-Spezifikation für einen modellbasierten und automatisierten Regressionstest verteilter BIS
  Ebanhesaten, Khalid ; Streitferdt, Detlef ; Stelzer, Dirk ; Pulvermüller, Elke 2015 Universitätsbibliothek Ilmenau
• Kompositionale Entwicklung domänenspezifischer Sprachen
  Völkel, Steven 2011 Shaker
• Optimizing Development Processes
  Buschermöhle, Ralf Hermann ; Damm, Werner ; Törngren, Martin 2015 BIS der Universität Oldenburg
• Constraintbasierte Refaktorisierung von Deklarationen in JAVA
  Thies, Andreas 2015 Fernuniversität Hagen
• Formalisierung gestischer Eingabe für Multitouch-Systeme
  Kammer, Dietrich ; Groh, Rainer ; Signer, Beat 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Generierung domänenspezifischer Transformationssprachen
  Weisemöller, Ingo 2012 Shaker
• Integration von Wertflüssen in Geschäftsprozessmodellierungssprachen
  Müller-Wickop, Niels ; Nüttgens, Markus 2014 Staats- und Universitätsbibliothek Hamburg
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• Domain specific languages – IFIP TC 2 working conference ; proceedings
  Taha, Walid Mohamed 2009 Springer
• Generierung von Editoren für interaktive animierte Sprachen: Ein modellgetriebener Ansatz unter Einsatz der Animation Modeling Language (AML)
  Strobl, Torsten ; Minas, Mark ; Teege, Gunnar 2014 Universitätsbibliothek der Universität der Bundeswehr München
• Mixed low- and high level programming language semantics and automated verification of a small hypervisor
  Shadrin, Andrey ; Paul, Wolfgang J. 2012 Saarländische Universitäts- und Landesbibliothek
• Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
  Hritcu, Cătălin ; Backes, Michael 2012 Saarländische Universitäts- und Landesbibliothek
• Formal specification of the x86 instruction set architecture
  Degenbaev, Ulan ; Paul, Wolfgang J. 2012 Saarländische Universitäts- und Landesbibliothek
• A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
  Mendoza Cervantes, Francisco 2014 KIT Scientific Publishing
• SIMD code generation in data-parallel programming
  Fritz, Nicolas ; Wilhelm, Reinhard 2009 Saarländische Universitäts- und Landesbibliothek