„Informatik - Software“

Suchergebnisse

3.042 Treffer

• Agentenunterstütztes Engineering von Automatisierungsanlagen
  Wagner, Thomas 2008 Shaker
• Verfahren der Software-Dokumentation
  Krauß, Stefan 2007 Shaker
• Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten
  Seifert, Dirk 2007 Shaker
• Portneuf - A Framework for Continuous User Involvement
  Pagano, Dennis ; Brügge, Bernd ; Schneider, Kurt 2018 Universitätsbibliothek der TU München
• Productivity and Software Development Effort Estimation in High-Performance Computing
  Wienke, Sandra ; Müller, Matthias ; Ludwig, Thomas 2018 Universitätsbibliothek der RWTH Aachen
• Managing Non-Functional Communication Aspects in the Entire Life-Cycle of a Component-Based Robotic Software System
  Lotz, Alex ; Knoll, Alois ; Dillmann, Rüdiger ; Schlegel, Christian 2018 Universitätsbibliothek der TU München
• An Efficient Method for Testing Autonomous Driving Software against Nondeterministic Influences
  Minnerup, Pascal Marcel ; Knoll, Alois ; Luo, Ren C. 2017 Universitätsbibliothek der TU München
• Software-unterstützte Erzeugung von mathematischen Modellen zur biotechnologischen Prozessführung
  Violet, Norman ; King, Rudibert ; Götz, Peter 2016 Technische Universität Berlin
• Petri Net-based Combination and Integration of Agents and Workflows
  Wagner, Thomas ; Moldt, Daniel 2018 Staats- und Universitätsbibliothek Hamburg
• Live trace visualization for system and program comprehension in large software landscapes
  Fittkau, Florian 2013 Institut für Informatik / Christian-Albrechts-Universität zu Kiel
• Analysis and Optimization of the Offline Software of the ATLAS Experiment at CERN
  Langenberg, Robert ; Bader, Michael G. ; Bethke, Siegfried 2017 Universitätsbibliothek der TU München
• Enhancing Software Quality of Multimodal Interactive Systems
  Fischbach, Martin Walter ; Latoschik, Marc Erich ; Tramberend, Henrik ; André, Elisabeth 2017 Universität Würzburg
• Software Deployment Analysis for Mixed Reliability Automotive Systems
  Becker, Klaus ; Broy, Manfred ; Teich, Jürgen 2017 Universitätsbibliothek der TU München
• Characterizing the Strength of Software Obfuscation Against Automated Attacks
  Banescu, Sebastian-Emilian ; Pretschner, Alexander ; Kemper, Alfons ; Debray, Saumya 2017 Universitätsbibliothek der TU München
• Memory-aware platform description and framework for source-level embedded MPSoC software optimization
  Pyka, Robert ; Marwedel, Peter ; Teubner, Jens 2017 Universitätsbibliothek Dortmund
• Hybrid Recursive Active Filter for RF Transceivers Front-Ends
  Gottardo, Giuseppe ; Fischer, Georg ; Jondral, Friedrich 2017 FAU University Press
• Measurement-based Quality Assessment of Requirements Specifications for Software-Intensive Systems
  Mund, Jakub Mikołaj ; Broy, Manfred ; Partsch, Helmuth A. 2017 Universitätsbibliothek der TU München
• Cardinalities in Software Verification
  Freiherr von Gleissenthall, Klaus ; Rybalchenko, Andrey ; Podelski, Andreas 2016 Universitätsbibliothek der TU München
• Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
  Wörzberger, René 2010 Shaker
• Object-Oriented Modeling and Coordination of Mobile Robots
  Schierl, Andreas ; Reif, Wolfgang 2017 Universität Augsburg