Logo des Repositoriums

Auflistung nach Autor:in "Josko, Bernhard"

1 - 2 von 2
  • Zeitschriftenartikel
    Model Checking
    (Informatik-Spektrum: Vol. 27, No. 2, 2004) Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas
    Die Gewährleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. „sicherheitskritischen“ Systeme zu, bei dem ein Systemversagen Menschenleben gefährden kann.
  • Konferenzbeitrag
    SUCCESS 2006 – Motivation, Vorgehensweise und Ergebnisse
    (INFORMATIK 2006 – Informatik für Menschen, Band 1, 2006) Buschermöhle, Ralf; Eekhoff, Heike; Josko, Bernhard
    Im Rahmen der Studie SUCCESS 2006 wurden (Miss-)Erfolgsfaktoren von Hard- und Softwareentwicklungsprojekten in Deutschland identifiziert. Dieses Papier schildert die Motivation, die grundsätzlich angewandte Vorgehensweise, von der Erfolgsfaktorenidentifikation bis zur Hypothesenverifikation, sowie eine Zusammenfassung der Ergebnisse der Studie.