„Informatik - Software“

Suchergebnisse

3.042 Treffer

• A Teaching Assistant for the C Language (Short Paper)
  Mendes, Rui C. ; Almeida, José João 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A System Architecture to Detect and Block Unwanted Wireless Signals in a Classroom (Short Paper)
  Barros, Daniel ; Barros, Paulo ; Lomba, Emanuel ; Ferreira, Vítor ; Pinto, Pedro 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation
  Dalla Preda, Mila 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry
  Gasiba, Tiago Espinha ; Lechner, Ulrike ; Cuellar, Jorge ; Zouitni, Alae 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fusion: A Safe and Secure Software Platform for Autonomous Driving
  Mundhenk, Philipp ; Parodi, Enrique ; Schabenberger, Roland 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Introduction to Microservice API Patterns (MAP)
  Zimmermann, Olaf ; Stocker, Mirko ; Lübke, Daniel ; Pautasso, Cesare ; Zdun, Uwe 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exploring Maintainability Assurance Research for Service- and Microservice-Based Systems: Directions and Differences
  Bogner, Justus ; Weller, Adrian ; Wagner, Stefan ; Zimmermann, Alfred 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Microservices to Customize Multi-Tenant SaaS: From Intrusive to Non-Intrusive
  Song, Hui ; Nguyen, Phu H. ; Chauvel, Franck 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SDN for Dynamic Reservations on Real-Time Networks (Invited Talk)
  Almeida, Luis 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Observing the Uptake of a Language Change Making Strings Immutable
  Maarek, Manuel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling Contiki-Based IoT Systems
  Durmaz, Caglar ; Challenger, Moharram ; Dagdeviren, Orhan ; Kardas, Geylani 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Employing Informal Sketches and Diagrams in Software Development
  Jancár, Milan ; Porubän, Jaroslav 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards an Automated Test Bench Environment for Prolog Systems
  Gonçalves, Ricardo ; Areias, Miguel ; Rocha, Ricardo 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Detailing an e-Learning Course on Software Engineering and Architecture Using BPMN
  Morais, Ceres ; Pedrosa, Daniela ; Fontes, Mario Madureira ; Cravino, José ; Morgado, Leonel 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Software-enforced Interconnect Arbitration for COTS Multicores
  Ziccardi, Marco ; Cornaglia, Alessandro ; Mezzetti, Enrico ; Vardanega, Tullio 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A survey of modelling and simulation software frameworks using Discrete Event System Specification
  Franceschini, Romain ; Bisgambiglia, Paul-Antoine ; Touraille, Luc ; Bisgambiglia, Paul ; Hill, David 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Plagiarism Detection: A Tool Survey and Comparison
  Martins, Vítor T. ; Fonte, Daniela ; Henriques, Pedro Rangel ; da Cruz, Daniela 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures
  Rodrigues, Flávio ; Oliveira, Nuno ; Barbosa, Luís S. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Conclave: Writing Programs to Understand Programs
  Carvalho, Nuno Ramos ; Almeida, José João ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Language-Driven Software Development (Invited Talk)
  Sierra, José-Luis 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik