„Programmiersprache“

Suchergebnisse

5.296 Treffer

• Project SPERBER – background, status, future plans
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
  Eckert, Klaus ; Ludewig, Jochen 2014 Universitätsbibliothek der Universität Stuttgart
• PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation
  Ludewig, Jochen 2014 Universitätsbibliothek der Universität Stuttgart
• Process control software specification in PCSL
  Ludewig, Jochen 2014 Universitätsbibliothek der Universität Stuttgart
• Das Entwurfssystem PSL/PSA und seine Erweiterung für Prozeß-Automatisierung
  Ludewig, Jochen ; Streng, Wolfgang 2014 Universitätsbibliothek der Universität Stuttgart
• A new algorithm for normal dominance constraints
  Bodirsky, Manuel ; Duchier, Denys ; Miele, Sebastian ; Niehren, Joachim 2004 Saarländische Universitäts- und Landesbibliothek
• Programming with Ada - the Ada environment
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• Pragmatic techniques for program analysis and verification
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung
  Noll, Thomas ; Fesefeldt, Ira Justus 2023 Universitätsbibliothek der RWTH Aachen
• Von der MOPS zur Software-Technologie
  Bauer, Günther 2010 Humboldt-Universität zu Berlin
• Programmiersprachen und Rechenkonzepte – 21. Workshop der GI-Fachgruppe im Physikzentrum Bad Honnef, 3.-5. Mai 2004
  2004 Universitätsbibliothek Kiel
• Konzeption, Entwurf und Evaluierung eines dynamischen Konfigurations- und Parametrisierungs-Frameworks zur Unterstützung des Integrationsprozesses in heterogenen IT-Landschaften
  Spranger, Michael 2012 Hochschule Mittweida
• Spezifikation und Entwicklung einer webbasierten Widget Orchestrierung für End-User Development
  Stachow, Christian ; Wendholt, Birgit ; Sarstedt, Stephan 2011 Hochschule für Angewandte Wissenschaften Hamburg
• Eine domänenspezifische Sprache zur Implementierung komplexer Abläufe in Gesellschaftsspielen
  Goldflam, Andre ; von Luck, Kai ; Klemke, Gunter 2012 Hochschule für Angewandte Wissenschaften Hamburg
• Systematik zur Erarbeitung modellbasierter Entwicklungsaufträge
  Echterhoff, Olga 2018 Universitätsbibliothek
• A Deep Embedding of Queries into Ruby
  Mayr, Manuel ; Grust, Torsten 2013 Universitätsbibliothek Tübingen
• Techniques for the verification of dynamically typed programs
  Engelmann, Björn ; Olderog, Ernst-Rüdiger ; Boer, Frank S. ˜deœ 2017 BIS der Universität Oldenburg
• Usability-Patterns für Webanwendungen in Geodateninfrastrukturen
  Henzen, Christin ; Bernard, Lars ; Reinhardt, Wolfgang ; Schmidt, Benno 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Heavy meta – Model-driven domain-specific generation of generative domain-specific modeling tools
  Naujokat, Stefan ; Steffen, Bernhard ; Legay, Axel ; Rehof, Jakob 2017 Universitätsbibliothek Dortmund
• Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
  Fischer, Till 2017 KIT Scientific Publishing