„Informatik - Software“

Suchergebnisse

3.042 Treffer

• Automated Verification of Quantitative Properties of Cardiac Pacemaker Software
  Kwiatkowska, Marta ; Mereacre, Alexandru 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
  Masci, Paolo ; Zhang, Yi ; Jones, Paul ; Thimbleby, Harold ; Curzon, Paul 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving the quality of APIs through the analysis of software crash reports
  Kechagia, Maria ; Mitropoulos, Dimitris ; Spinellis, Diomidis 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static analysis of WCET in a satellite software subsystem
  Garrido, Jorge ; Zamorano, Juan ; de la Puente, Juan A. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• NESSy: a New Evaluator for Software Development Tools
  Miranda, Enrique ; Berón, Mario ; Montejano, German ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Software Languages: The Linguistic Continuum (Invited Talk)
  Favre, Jean-Marie 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A compositional model to characterize software and hardware from their resource usage
  Morelli, Davide ; Cisternino, Antonio 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Visualization and Evolution of Software Architectures
  Khan, Taimur ; Barthel, Henning ; Ebert, Achim ; Liggesmeyer, Peter 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Tool for the Certification of Sequential Function Chart based System Specifications
  Blech, Jan Olaf 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Dependable Software using SPARK and Isabelle
  Berghofer, Stefan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Structuring Interactive Correctness Proofs by Formalizing Coding Idioms
  Gast, Holger 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analysis of WCET in an experimental satellite software development
  Garrido, Jorge ; Brosnan, Daniel ; de la Puente, Juan A. ; Alonso, Alejandro ; Zamorano, Juan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Toward Static Timing Analysis of Parallel Software
  Gustavsson, Andreas ; Gustafsson, Jan ; Lisper, Björn 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Impact of Programming Languages in Code Cloning
  Jorge, Jaime Filipe ; Leitão, António Menezes 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Problem Domain Oriented Approach for Program Comprehension
  Varanda Pereira, Maria João ; Beron, Mario Marcelo ; da Cruz, Daniela ; Oliveira, Nuno ; Henriques, Pedro Rangel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Purely Functional Combinator Language for Software Quality Assessment
  Martins, Pedro ; Fernandes, João Paulo ; Saraiva, João 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Formally Verified Optimizing Compilation in Flight Control Software
  França, Ricardo Bedin ; Favre-Felix, Denis ; Leroy, Xavier ; Pantel, Marc ; Souyris, Jean 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Software Structure and WCET Predictability
  Gebhard, Gernot ; Cullmann, Christoph ; Heckmann, Reinhold 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Driven Development of Distributed Business Applications
  Goerigk, Wolfgang 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Avoiding Publication and Privatization Problems on Software Transactional Memory
  Machens, Holger ; Turau, Volker 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik