Auflistung nach Schlagwort "Software engineering"

Sortiert nach: Sortierung: Ergebnisse:

  • Krusche, Stephan; Kuhrmann, Marco; Schneider, Kurt (Bonn : Gesellschaft für Informatik e.V. (GI), 2019)
    This workshop aims at presenting and discussing innovative teaching approaches in software engineering education, which are highly relevant for teaching at universities, colleges, and in online courses. The workshop focuses ...
  • Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2011)
    We study the extension of dependence logic D by a majority quantifier M over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers ...
  • Lübke, Daniel (Amsterdam [u.a.] : Elsevier, 2017)
    Because executable business processes are an important and critical software asset of organizations because they control and integrate critical information systems. Thus, testing them thoroughly is a very important task ...
  • Karras, Oliver; Risen, Alexandra; Schneider, Kurt (Bonn : Gesellschaft für Informatik e.V. (GI), 2019)
    A wide variety of use case templates supports different linking variants. The main purpose of all linking options is to highlight the interrelationships between a use case and its associated requirements. Regardless of the ...
  • Schneider, Kurt; Klünder, Jil; Kortum, Fabian; Handke, Lisa; Straube, Julia; Kauffeld, Simone (Bonn : Gesellschaft für Informatik e.V. (GI), 2019)
    Meetings often dominate software projects. Despite frequent dissatisfaction within meetings, many software engineers are not aware of the crucial importance about their behavior. This can set the tone for the entire project ...