Funktionale Einschränkungen in der Demo Die folgende Funktionalität ist für den produktiven Einsatzerforderlich, in der Demo aber nicht umgesetzt: keine dauerhafte Archivierung privat archivierte Proj
Voraussetzungen für Git Repositories Für die Anbindung einer GitLab-Instanz an SARA sind derzeit erforderlich: ein Anzeigename zur Darstellung in SARA die URL unter der die GitLab-Instanz erreichbar i
Projektpartner Universität Konstanz AG Verteilte Systeme, FB Informatik Kontakt: Prof. Dr. Marcel Waldvogel (Projektleitung) Universität Ulm Institut für Organisation und Management von Informationssy
Voraussetzungen für Nutzende Sie benutzen Git zur Versionsverwaltung Ihrer Software Sie haben Zugang zu einem Git-Webfrontend (z.B. eine GitLab -Instanz oder GitHub ), welches an SARA angebunden...
Details zur Episode Linear-Time Properties and Invariants Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/19 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Introduction Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/04/13 Formate Stream (700 kbps) Stream (250 kbps)
Hardware Bei Apple gibt es spezielle Edu-Tarife auch für Privatbestellungen; Notebook und Desktop sind Beschäftigten der Universität vorbehalten. BaWü - Apple Notebook Desktop
einem ersten Workshop mit der Softwarefirma, um unsere SOLL-Vorstellungen mit den Möglichkeiten der Software abzugleichen und Anforderungen an die Weiterentwicklung der Software zu erarbeiten. Leider...
Konsortium (übersetzt aus dem Englischen): "Optical Character Recognition (OCR) ist eine spezielle Software, die Formen, Muster und Anordnungen von Zeichen in Bildern analysiert und in...
