Inhalt des Dokuments
| 39 | Mehlhase, Alexandra |
| Konzepte für die Modellierung und Simulation strukturvariabler Modelle, TU Berlin 2015 | |
| 38 | Venthur, Bastian |
| Design and Implementation of a Brain-Computer Interface System, TU Berlin 2015 |
| 37 | Wittern, Erik Modeling and Selection of Software Service Variants, Karlsruher Institut für Technologie (KIT), 2014 |
| 36 | Bartels, Björn A Mechanized Verification Environment for Real-Time Process Algebras and Low-Level Programming Languages, TU Berlin, 2014 |
| 35 | Stoyanova, Nadya Verbesserung der Qualität natürlich-sprachlicher Spezifikationen, Universität Stuttgart, 2013 |
| 34 | Wiese, Matthias Kosten-Nutzenoptimierung von Tests modellbasiert entwickelter Fahrzeugfunktionen, Universität Stuttgart, 2012 |
| 35 | Nörenberg, Ralf Effizienter Regressionstest von E/E-Systemen nach ISO 26262, Karlsruher Institut für Technologie, 2012 |
| 32 | Andreas Schröder Software engineering perspectives on physiological computing, LMU München, 2011 |
| 31 | Roland Reichle Information Exchange and Fusion in Dynamic and Heterogeneous Distributed Environments, Universität Kassel, 2010 |
| 30 | Eicke Godehardt Kontextualisierte Visualisierung am wissensintensiven Arbeitsplatz , TU Darmstadt, 2009 |
| 29 | Vladimir Stantchev Architectural Translucency, TU Berlin, 2008 |
| 28 | Matthias Krauledat Analysis of Nonstationarities in EEG signals for improving Brain-Computer Interface performance. Technische Universität Berlin, 2008. |
| 27 | Michael Niedermayer Methodik zum Entwurf von miniaturisierten, energieautarken, verteilten Funksensorknoten, Technische Universität Berlin, 2007 |
| 26 | Christian Ehrhardt Static Code Analysis in Multi-Threaded Environments, Universität Ulm, 2007 |
| 25 | Stefan Wappler Automatic Generation of Object-Oriented Unit Tests Using Genetic Programming, Technische Universität Berlin, 2007 |
| 24 | Katharina Mehner Trace-based Debugging and Visualisation of Concurrent Java Programs with UML, Universität Paderborn, 2005 |
| 23 | Lars Grunske Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf, Universität Potsdam, 2004 |
| 22 | Markus Lepper An Algorithm for the Real-Time Evaluation of Temporal Trace Specifications, Technische Universität Berlin, 2004 |
| 21 | Eckard Lehmann < eckard.lehmann(AT)daimlerchrysler.com > Time Partition Testing - Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen, Technische Universität Berlin, 2003 |
| 20 | Klaus Didrich <klaus.didrich(AT)siemens.com> Integration of Verification and Testing into Compilation Systems - Concept and Case Study - , Technische Universität Berlin, 2001 |
| 19 | Christian Maeder Zur Kontextanalyse einer algebraischen Programmiersprache, (pdf), Technische Universität Berlin, 2001 |
| 18 | Boris Bokowski A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java, Freie Universität Berlin, 2000 |
| 17 | Ullrich Köthe Generische Programmierung für die Bildverarbeitung (pdf), Universität Hamburg, 2000 |
| 16 | Holger Karl Responsive Execution of Parallel Programs in Distributed Computing Environments, Humboldt-Universität zu Berlin, 1999 |
| 15 | Wolfgang Grieskamp A Set-Based Calculus and its Implementation, Technische Universität Berlin, 1999 |
| 14 | Robert Geisler Formal Semantics for the Integration of Statecharts and Z in a Metamodel-Based Framework, Technische Universität Berlin, 1999 |
| 13 | Patrick Jochum Simulation und Optimierung solar unterstützter Heizsysteme mit dem Simulationssystem Smile, Technische Universität Berlin, 1997 |
| 12 | Matthias Kloas Eine Entwicklungsumgebung zur Unterstützung der Simulation energietechnischer Anlagen, Technische Universität Berlin, 1997 |
| 11 | Dimitris Dranidis A Formal Framework for the Design and Specification of Neural Networks, Ludwig-Maximilians-Universität München, 1997 |
| 10 | M.S. Weimin Chen Efficient Multiple Dispatching based on Automata, Technische Hochschule Darmstadt, 1996 |
| 9 | Andreas Lampen Attributierte Softwareobjekte als Basis zur Datenmodellierung in Software-Entwicklungsumgebungen, Technische Universität Berlin, 1994 |
| 8 | Knauer, Frank: Subtraktive Adaption von Modularen Neuronalen Netzen. Technische Universität Berlin, 1993. |
| 7 | Dieter Eßwein Optimierte Compilation für superskalare Prozessoren nach dem Prinzip des strukturierten Scheduling, Technische Universität Berlin, 1992 |
| 6 | Wolfram Schulte Effiziente und korrekte Übersetzung strikter applikativer Programmiersprachen, Technische Universität Berlin, 1992 |
| 5 | Maritta Heisel Formale Programmentwicklung mit dynamischer Logik, Universität Karlsruhe, 1992 |
| 4 | Roland Zimbel Graphische Spezifikationen - Ein graphik-adäquater, objekt-zentrierter Kalkül zur Entwicklung korrekter Programme, Universität Karlsruhe, 1991 |
| 3 | Alexander Bockmayr Beiträge zur Theorie des logisch-funktionalen Programmierens, Universität Karlsruhe, 1990 |
| 2 | Alexander Schill Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen, Universität Karlsruhe, 1990 |
| 1 | Rainer Oechsle Symmetrische und unterbrechende Prozeßkommunikation, Universität Karlsruhe, 1989 |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe