software-architektur.tv: Wozu formale Methoden? mit Lars Hupel
In der Episode diskutieren Eberhard Wolff und Lars Hupel über den gewinnbringenden Einsatz formaler Methoden im Software-Architektur-Alltag.
Ähnliche Beiträge
Peilt Machtwechsel 2029 an: AfD-Chef fordert Abzug der US-Armee aus Deutschland
In Deutschland sind derzeit noch fast 40.000 Soldaten der US-Streitkräfte stationiert. Doch Tino Chrupalla will das Militär vollständig aus dem Land werfen. Für 2029 ruft er gleich zwei Ziele aus.
Großer Kampf wird nicht belohnt: Deutsche Handballer verlieren EM-Finale
Die deutsche Handball-Nationalmannschaft verliert das Finale der Europameisterschaft mit 27:34 (16:18), gewinnt damit aber Silber. Der harte Kampf gegen das Über-Team aus Dänemark wird nicht belohnt. Der Gastgeber ist damit Weltmeister, Olympiasieger und Europameister zugleich.
Software Testing: Exploratives Ensemble Testing
In dieser Episode sprechen Richard Seidl und Tobias Geyer über Exploratives Ensemble Testing, ein Gruppen-Testformat.
Francis Buchholz ist tot: Scorpions trauern um Ex-Bassisten
Bei den Scorpions stieg er zwar schon vor über 30 Jahren aus. Doch zuvor war er lange Teil der Band, mit der er ihren Aufstieg zu Weltruhm miterlebte: Bassist Francis Buchholz. Nun ist er mit 71 Jahren einer Krebserkrankung erlegen.
Frauen zu Andrew geschleust?: Britische Polizei nimmt Epstein-Privatflüge ins Visier
Der frühere Prinz Andrew verliert wegen seiner Kontakte zu Epstein seinen guten Ruf. Juristisch muss er sich aber bisher nicht verantworten. Das könnte sich ändern. Die britische Polizei untersucht 90 Privatflüge, mit denen Frauen eingeschleust worden sein könnten.
Türkei bestätigt Attacke: Russische Drohnen treffen ausländisches Schiff
Im Schwarzen Meer versucht die Ukraine, russische Tanker davon abzuhalten, Russland zu erreichen. Moskaus Antwort folgt prompt: Bei den Angriffen auf ukrainische Häfen geraten auch ausländische Schiffe ins Visier.
