• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 12
  • 9
  • 2
  • Tagged with
  • 23
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Code generation from specifications in higher-order logic

Haftmann, Florian January 2009 (has links)
München, Techn. Univ., Diss., 2009.
2

Softwarekomponenten mit eODL und SDL für verteilte Systeme /

Böhme, Harald. January 2007 (has links) (PDF)
Humboldt-Univ., Diss.--Berlin, 2007.
3

Retargetable postpass optimisation by integer linear programming

Kästner, Daniel. Unknown Date (has links) (PDF)
University, Diss., 2000--Saarbrücken.
4

Platform-independent modeling of synthesizable software systems using UML 2

Schattkowsky, Tim January 2008 (has links)
Zugl.: Paderborn, Univ., Diss., 2008
5

Systematic testing of code generation tools a test suite oriented approach for safeguarding model based code generation

Stürmer, Ingo January 2006 (has links)
Zugl.: Berlin, Techn. Univ., Diss., 2006
6

Approaches to code generation for synchronous transfer architecture (STA) /

Guo, Jie. January 2008 (has links)
Zugl.: Dresden, Techn. University, Diss., 2008.
7

Certifying system translations using higher order theorem provers

Blech, Jan Olaf January 2008 (has links)
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
8

Constraintbasierte Codegenerierung für eingebettete Prozessoren

Bashford, Steven. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2000--Dortmund.
9

Modeling embedded processors and generating fast simulators using the machine description language LISA

Pees, Stefan Leo Alexander. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2002--Aachen.
10

Entwicklung und Einsatz von Codegenerierungssoftware zur Effizienzsteigerung bei der Prozessanlagenautomatisierung

Detje, Johannes Silas, Meißner, Jan-Eric, Stolpmann, Alexander 27 January 2022 (has links)
Die Programmierung von SPS-Systemen erfolgt hauptsächlich händisch, obwohl große Teile des Programmcodes sehr ähnlich sind und sich häufig nur durch die eingesetzten Variablen unterscheiden. Der Beitrag befasst sich mit der Entwicklung und Testung einer Codegenerierungssoftware für das TIA Portal, um den Zeitaufwand der Programmierung zu reduzieren und Flüchtigkeitsfehler zu vermeiden.

Page generated in 0.0807 seconds