SIGS DATACOM GmbH

👉🏼Welcome to Heilbronn! Wir freuen uns sehr, in diesem Jahr erneut mit dem Ferdinand-Steinbeis-Institut und der Initiative digital.auto die SDVcon (Software-Defined Vehicle CONference) in Heilbronn zu Veranstalten. 🤝🏼 Seit dem Morgen werden hier schon spannende Gespräche geführt, außergewöhnliche Autos in der Ausstellung entdeckt, fachliche Vorträge gehalten und ganz viel gute Laune verbreitet. Seid ihr bereit gemeinsam mit uns die Zukunft der Mobilität zu verändern?🚗 #SDV #SDVcon

Danke für eine tolle Veranstaltung! Anfang der Woche durften wir gemeinsam mit heise medien | Sales & Solutions den IT Summit in München durchführen.✨📚 Unter dem Motto "Zukunft gestalten, Herausforderungen meistern" bot die Konferenz Gelegenheit, sich ein Bild zu den größten Herausforderungen zu verschaffen, vor denen IT-Leiter und -Leiterinnen derzeit stehen. Bei Keynotes, Vorträgen und in der Ausstellung gab es Inspiration und wertvolle Tipps aus der Praxis.💡 Es war sehr schön zu sehen, wie viele sich vor Ort mit Gleichgesinnten ausgetauscht und vernetzt haben 🤝🏼😊 #ITSummit #heise

"Mit Tests kann ich Fehlerfreiheit nicht nachweisen. Es gibt einfach bestimmte Domänen, da brauche ich aber die Fehlerfreiheit und eben auch den Nachweis." - Lars Hupel, Bianca L. In der neuesten Episode des Software Testing Podcasts feiern wir die World Quality Week. Ich spreche mit mit Lars und Bianca darüber, wie man Fehlerfreiheit in Software mathematisch beweisen kann und welche Tools dabei helfen. Bianca erklärt uns anhand von Beispielen aus der Finanz- und Automobilbranche, warum bestimmte Systeme absolute Fehlerfreiheit benötigen. Lars ergänzt das Gespräch mit Einblicken in formale Methoden und wie sie in der Praxis angewendet werden. Ein besonders interessantes Thema war, wie KI uns bei der Beweisführung unterstützen kann. Highlights: * In Bereichen wie Finanzen und Medizin ist Fehlerfreiheit entscheidend, und formale Methoden können dabei helfen. * Formale Methoden nutzen mathematische Modelle und Beweisassistenten, um Softwarefehler zu vermeiden. * Microsoft nutzt automatisierte Tools, um Treiber auf Fehlerfreiheit zu überprüfen. * Formale Methoden sind keine Allheilmittel, sondern ergänzen andere Testmethoden. * Änderungen in der Software können zu aufwendigen Anpassungen in den Beweisen führen. Was meinst Du dazu? Was haltet ihr von der Idee, formale Methoden zur Beweisführung in der Softwareentwicklung einzusetzen? Habt ihr schon Erfahrungen damit gemacht? Schreib gerne in die Kommentare. Dankeschön an die Community-Partner des Podcasts: A4Q - Alliance for Qualification | ASQF e.V. | Austrian Testing Board | dpunkt.verlag | German Testing Board e.V. | German Testing Day | GI Fachgruppe TAV | Hanser Verlag | iSQI DACH | ISTQB® - International Software Testing Qualifications Board | iX-Magazin | OOP Konferenz | Software-QS-Tag | SIGS DATACOM GmbH | skillsclub | Software Quality Days | Swiss Testing Board (STB) Giesecke+Devrient Active Group GmbH

Jetzt registrieren und der erste Monat kostet nix: www.sigs.de 📆

Nicht verpassen: Heute um 17 Uhr startet in Essen unsere nächste Ausgabe der German Testing Night – natürlich wieder komplett kostenfrei! Für alle Kurzentschlossenen hier nochmal die wichtigsten Fakten: ❓ Wann? Einlass ab 16:30 Uhr ❓ Wo? Accenture Industry X.0 Innovation Center Kokereiallee 20, 45141 Essen ❓ Kurzfristige Anmeldung? Ist möglich! Alle Infos unter https://lnkd.in/eNTcTDXy Wir freuen uns auf euch! #Testing #Community #Networking #ForFree

👉🏼Die gestrige #NIS2 Online-Konferenz vom iX-Magazin gab Aufschluss zu den Fragen: Was kommt mit der deutschen NIS2-Umsetzung – dem NIS-2-Umsetzungs- und Cybersicherheitsstärkungsgesetz (NIS2UmsuCG) – auf die betroffenen Unternehmen zu? Auf welche Anforderungen und Pflichten müsst ihr euch einstellen? Welche Maßnahmen sind zur Umsetzung erforderlich? 📢Wir möchten uns sehr herzlich bedanken für eine tolle Konferenz mit guten Gesprächen und hilfreichen Sessions! Ein besonderer Dank gebührt unseren Speakern Prof. Dr. Dennis-Kenji Kipker, Manuel 'HonkHase' Atug, Tobias Janecke, Sabine Griebsch, Ulrich Plate und unseren Moderatoren/Veranstaltern Alexander Neumann und Oliver Diedrich.😊 Was werdet ihr von der Veranstaltung besonders im Gedächtnis behalten?💬

❓ Wie hilft Weiterbildung am besten, wenn sie die eigenen Projekte wirklich voranbringen soll - gerade bei einem so akuten Thema wie NIS2? ❗ Fragen! Fragen, Fragen, Fragen ... und auf (fast) alles, was euch wichtig ist, gibt's die Antwort von Manuel 'HonkHase' Atug.   Danke für die rege Beteiligung schon jetzt an alle Teilnehmenden und natürlich auch Alexander Neumann und Oliver Diedrich von heise's iX-Magazin für den Support! Wer hätte gedacht, dass 45 Minuten Q&A nach 90 Minuten Vortrag beinahe zu wenig sein könnte ⏱

👉 Für die wirklich Kurzfristigen: In ein paar Minuten startet unsere Online-Konferenz zum Thema "NIS2"! Was kommt mit der deutschen NIS2-Umsetzung – dem NIS-2-Umsetzungs- und Cybersicherheitsstärkungsgesetz (NIS2UmsuCG) – auf die betroffenen Unternehmen zu? Bei uns erfahrt ihr, auf welche Anforderungen und Pflichten ihr euch einstellen müsst, welche Maßnahmen zur Umsetzung erforderlich sind und welche Fristen gelten. Alle Infos unter: https://lnkd.in/eyt9XW9s 🎥 Für die, die heute keine Zeit haben: Eine Anmeldung lohnt sich trotzdem, denn unsere Aufzeichnungen stehen ab Donnerstagnachmittag zur Verfügung!

👉 Nicht verpassen: Nächste Woche geht es für unser nächstes kostenfreies Community-Event nach Essen! Und eine bessere Location als das Accenture DACH Innovation Hub beim UNESCO Weltkulturerbe "Zeche Zollverein" kann man sich nicht wünschen! Zusammen mit Tricentis öffnen wir ab 16:30 Uhr am 7. November die Tore zu bestem #Networking , spannenden Use Cases und interaktiven Sessions! 🎟 Hier findet ihr alle Infos zum Abend und kostenfreie Tickets: https://lnkd.in/eNTcTDXy Wir freuen uns auf euch! #Community #Testing

Alle Softwarearchitekt:innen, Developer und Projektleitende aufgepasst: Mit der SEACON 2024 bieten wir euch komplett kostenfrei über 20 praxisnahe und inspirierende Vorträge zu den aktuellsten Themen des Software Engineering. 📅 Wo und wann? Am 3. Dezember als Online-Konferenz. Aber nicht nur: Denn unsere drei Gastgeber Yatta, Sigma Software Group und QAware GmbH laden euch optional nachmittags zu ihren Showrooms nach Frankfurt, Hamburg und München ein! 📢 Wer ist mit dabei? Freut euch u.a. auf Evgeniy Bachinskiy, Marcus Ciolkowski, Vadym Kazulkin, Markus Kett, Heiko Klare, Viktor Lukachyk, Mario-Leander Reimer, Dmytro Tereshchenko, Oliver Wegner und Sonja Wegner. Und das war nur die erste Welle an Sprecher:innen! 👨💻 Wo finde ich das Programm? https://lnkd.in/esYK7fNj Und das soll wirklich kostenfrei sein? Absolut! Einen kleinen Tipp haben wir aber noch: Falls ihr nicht nur online sondern auch vor Ort mit dabei sein sollt, dann sichert euch eure Tickets lieber direkt, denn die Plätze sind selbstverständlich begrenzt! Anmelden könnt ihr euch unter https://lnkd.in/eQ_-3Nmu #Softwarearchitektur #Engineering #ErzähltsAuchDenKollegInnen