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