Software, with care

We develop secure, maintainable software for complex domains, critical systems, and challenging requirements.

News (Archive)

Konferenz
BOB Konferenz 2027

Wir freuen uns, das Datum für die 2027er-Ausfühurung unserer Hauskonferenz BOB ankündigen zu können: sie findet am 26. Februar 2027 in Berlin statt. Der Call for Contributions öffnet voraussichtlich im September.

Artikel
Beitrag von Michael Sperber im Medtec Online

Am 3.7.2026 ist von Michael Sperber in Medtec Online der Blogbeitrag "Verifikation in der Softwareentwicklung – reicht Testen aus?" erschienen. Der Artikel beschäftigt sich mit dem Testen sicherheitskritischer Software als Prozess über den gesamten Lebenszyklus – und was „formale Methoden“ ergänzend beitragen können.

Vortrag
Till Rauch beim Java-Forum Stuttgart

Am Donnerstag, dem 9. Juli 2026, ist neben Active-Group-Chef Dr. Michael Sperber (s. Eintrag hier auch Kollege Till Rauch beim Java-Forum Stuttgart vertreten. Er hält um 14:30 gemeinsam mit Falk Sippach (embarc Software Consulting GmbH) den Vortrag "Funktionale Programmierung in Java. Was wir von Haskell lernen können".