Connect with us

Künstliche Intelligenz

Software Testing: Formale Methoden in der Softwarequalität


In dieser Folge spricht Richard Seidl mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung. Sie erklären, warum Mathematik und Spezifikationen ein solideres Fundament liefern als typische Testverfahren. Besonders anschaulich wird es, wenn sie die Vorteile funktionaler Programmierung diskutieren und zeigen, wie sich Softwareeigenschaften beweisen lassen. Praktische Einblicke in Typsysteme, Beweisassistenten und Property-Based Testing machen das Thema greifbar.

Weiterlesen nach der Anzeige

Dr. Michael Sperber ist Geschäftsführer der Active Group GmbH, die Individualsoftware ausschließlich mit funktionaler Programmierung entwickelt. Er ist international anerkannter Experte für funktionale Programmierung und wendet sie seit über 20 Jahren in Forschung, Lehre und industrieller Entwicklung an. Außerdem hat er zahlreiche Fachartikel und Bücher zum Thema verfasst, sowie das Curriculum für das iSAQB-Advanced-Modul „Formale Methoden“ (zusammen mit Lars Hupel). Michael Sperber ist Mitbegründer des Blogs funktionale-programmierung.de und Mitorganisator der Entwicklerkonferenz BOB.

Markus Schlegel ist Softwarearchitekt bei der Active Group GmbH. Er hat 2013 die funktionale Programmierung für sich entdeckt und schläft seither wieder ruhig.

Software Testing im Gespräch

Bei diesem Format dreht sich alles um Softwarequalität: Ob Testautomatisierung, Qualität in agilen Projekten, Testdaten oder Testteams – Richard Seidl und seine Gäste schauen sich Dinge an, die mehr Qualität in die Softwareentwicklung bringen.

Die aktuelle Ausgabe ist auch auf Richard Seidls Blog verfügbar: „Formale Methoden in der Softwarequalität – Dr. Michael Sperber und Markus Schlegel“.

Weiterlesen nach der Anzeige


(mai)



Source link

Verwandte Themen:
Weiterlesen

Künstliche Intelligenz

Amazon Spring Deals im Preis-Check: Die besten Angebote im Überblick


Amazon startet heute seine Spring Deals und lockt mit satt rabattierten Angeboten. Von Smartphones bis E-Scooter – wir zeigen die besten Frühlingsangebote.

Die zahlreichen Sales-Events von Amazon sind längst fester Bestandteil im Shopping-Jahr. Neben der Black Week, Cyber Monday und dem Prime Day kommt es aktuell zur Neuauflage der Spring Deals. Auch andere Händler nutzen die Gelegenheit und unterbieten Amazon teils mit eigenen Aktionen. Wir prüfen, ob die zahlreichen Sonderpreise dem Preischeck standhalten und zeigen, bei welchen Artikeln man wirklich sparen kann.

Die Redaktion von Heise Bestenlisten prüft alle Angebote sorgfältig. Statt uns auf Rabattaussagen oder UVPs zu verlassen, analysieren wir die Preise der Mitbewerber und betrachten die Preisentwicklung der letzten Monate. So schaffen es nur echte Schnäppchen in unsere Auswahl, egal ob von Amazon oder einem Mitbewerber.

Erfahrungsgemäß herrscht bei den großen Sales-Events Hochbetrieb: Ständig kommen neue Angebote hinzu oder die bisherigen Preise werden unterboten. Viele Deals sind auch nur für kurze Zeit verfügbar und dann schnell vergriffen. Da heißt es dran bleiben – wir behalten den Überblick, filtern die Highlights heraus und präsentieren die besten Deals.

Hinweis: Eine Prime-Mitgliedschaft ist erforderlich, um die Angebote bei Amazon nutzen zu können. Wir aktualisieren diesen Beitrag regelmäßig, da fortlaufend neue Deals hinzukommen. Viele Angebote sind nur kurzfristig verfügbar – ein regelmäßiger Blick lohnt sich also.

Die besten Frühlings-Schnäppchen

  • Soundcore by Anker Q20i, Over-Ear-Kopfhörer mit ANC für 30 Euro statt 42 Euro (- 28,5 %)
  • Mammotion Luba Mini AWD Lidar Mähroboter mit Garage für 1649 Euro (Code MAMMOTIONDE50 an der Kasse eingeben) statt 2299 Euro (-28 %) → Testbericht
  • Segway Navimow 208 Lidar Mähroboter zum Tiefstpreis für 1099 Euro statt 1499 Euro (-27 %)
  • Roborock Q7 M5-Set, Saugroboter mit Wischfunktion für 152 Euro statt 203 Euro (-25 %)
  • Tefal Easy Fry Silence 7L, Heißluftfritteuse für 130 Euro statt 170 Euro (-23,5 %)
  • Roborock S8 MaxV Ultra, Saugroboter mit Wischfunktion inkl. Docking-Station für 649 Euro statt 822 Euro (-21 %)
  • Dreame A2 mit Lidar, Mähroboter für 1599 Euro statt zuletzt 1999 Euro (-20 %) →Testbericht
  • Mova 1000 mit Lidar, Mähroboter zum Tiefstpreis für 749 Euro statt zuletzt 899 (-17 %) →Top10: Die besten Mähroboter
  • Bosch EasyPump, elektrische Luftpumpe mit Akku bis 10 bar für 43 Euro statt 50 Euro (-14 %) → Top 10: Die beste Akku-Luftpumpe
  • Hisense 50E89Q QLED Mini, LED-Fernseher mit 50 Zoll und 4K für 479 Euro statt 550 Euro (-13 %)
Balkonkraftwerk Oubu Mentech mit Speicher.

Balkonkraftwerk Oubu Mentech mit Speicher. heise bestenlisten

Balkonkraftwerke und Speicher

Dreame A1

Dreame A1 heise bestenlisten

Mähroboter

Smarte Beleuchtung

Nuki Smart Lock 3.0

Nuki Smart Lock 3.0 heise bestenlisten

Smarte Türschlösser und -öffner

Test AVM-Thermostat Fritzdect 301: Alles auf Datenschutz

Test AVM-Thermostat Fritzdect 301: Alles auf Datenschutz heise bestenlisten

Smarte Thermostate für Heizkörper und Fußbodenheizungen

Küchengeräte

E-Mobilität

Audio

Smartphones

  • Vivo X300 Pro mit 512 GB bei Gomibo für 1041 Euro statt 1219 Euro (-15 %)
  • Xiaomi Redmi Note 15 5G mit 256 GB in Glacier Blue für 229 Euro (Bestpreis) statt 255 Euro (-10 %)
  • Xiaomi 17 mit 512 GB bei Alza mit Code: DEXIAOMI17100 für 950 Euro statt 1000 Euro (-5 %)



Source link

Weiterlesen

Künstliche Intelligenz

Mac-Pipeline noch nicht durch: Diese weiteren Rechner plant Apple für 2026


Die „Apple Week“ ist durch – und es gab jede Menge neue Produkte. Doch beim Mac wird es in diesem Jahr nicht beim MacBook Neo, dem MacBook Air M5 oder dem MacBook Pro M5 Max und M5 Pro bleiben. Auch weitere Modelle muss Apple noch auf den Stand M5 bringen. Zudem wird, vermutlich im Herbst, eine gänzlich neue Notebook-Produktkategorie mit Touchscreen erwartet.

Weiterlesen nach der Anzeige

Desktops brauchen ein Upgrade

Bis Mitte des Jahres wird sich Apple wohl seinen etwas vernachlässigten Desktop-Produktreihen annehmen. Hier sind die Geräte allesamt noch auf dem Stand M4 oder darunter. Der populäre Mac mini M4 wurde im November 2024 auf den Markt gebracht, ebenso wie der bis auf den Chip kaum veränderte iMac M4. Vergleichsweise neu dagegen ist der Mac Studio, dem Apple vor einem Jahr einen M4 Max sowie – verwirrenderweise – M3 Ultra verpasste. Gut informierte Marktbeobachter wie Bloomberg-Journalist Mark Gurman gehen davon aus, dass es bis Mitte des Jahres Upgrades für die Geräte geben wird.

Mac mini und iMac dürften in Sachen Formfaktor unverändert sein, wobei der iMac neue Farben erhalten könnte. Die Hoffnung auf ein 32-Zoll-„Pro“-Modell des All-in-One-Macs ist auch noch nicht ganz verschwunden – wobei Apple zuletzt sein einziges 32-Zoll-Gerät, das Pro Display XDR, vom Markt nahm und bei den überarbeiteten Studio Displays in beiden Varianten auf 27 Zoll blieb. Bei den Chips dürften es M5 und M5 Pro (Mac mini) sowie M5 (iMac) werden. Beim Mac Studio wird es interessant: Schafft Apple hier – neben dem erwartbaren M5 Max – den Sprung auf einen noch unveröffentlichten M5 Ultra? Den M3 Ultra kann der Konzern kaum weiterverkaufen.

Die Frage nach dem Mac Pro

Schließlich hat Apple auch noch ein komplett vernachlässigtes Desktop-Modell im Angebot: den Mac Pro. Dieser ist nach wie vor beim M2 Ultra stehen geblieben, zu weiterhin höllisch hohen Preisen. Nur wenige Profis interessieren sich seit dem Mac Studio noch für die Hardware. Ob er ganz eingestellt wird oder doch noch ein Upgrade erhält, ist unklar. Die PCIe-Slots können nützlich sein, um viel SSD- oder Festplattenarchiv-Speicher direkt einzubauen, außerdem Spezialkarten für Audio und Video. Doch schon Grafikkarten passen nicht mehr in die Geräte. Die Hardware ist also nur etwas für Spezialisten. Mit einem M5 Ultra bekäme sie zumindest etwas mehr Lebensdauer.

Im Herbst wird Apple schließlich nach übereinstimmenden Berichten ein neues MacBook-Modell vorstellen, das derzeit in der Gerüchteküche unter dem Begriff MacBook Ultra läuft. Es soll neue M6-Chips, erstmals in einem Mac einen Touchscreen sowie ein OLED-Display bekommen. Vor Oktober wird das aber wohl nichts.

Weiterlesen nach der Anzeige


(bsc)



Source link

Weiterlesen

Künstliche Intelligenz

Gewinn bei Volkswagen hat sich 2025 halbiert


Der Gewinn des Volkswagen-Konzerns ist im vergangenen Jahr um knapp die Hälfte eingebrochen. Im Vergleich zum Vorjahr sei das Konzernergebnis nach Steuern 2025 um rund 44 Prozent von 12,4 auf 6,9 Milliarden Euro gesunken, teilte Europas größter Autohersteller mit. Der Umsatz sank um 0,8 Prozent auf knapp 322 Milliarden Euro. Die Dividende soll mit 5,26 Euro je Vorzugsaktie 17 Prozent unter dem Vorjahreswert liegen. Die operative Gewinnmarge vor Zinsen und Steuern dürfte sich in diesem Jahr auf 4,0 bis 5,5 Prozent erholen, prognostiziert der Konzern. Vergangenes Jahr war sie deutlicher als gedacht um 3,1 Prozentpunkte auf 2,8 Prozent abgerutscht.

Weiterlesen nach der Anzeige

Tendenz zur Besserung

Im Schlussquartal schnitt Volkswagen dabei besser ab als in den ersten neun Monaten. Im dritten Quartal war der Konzern noch tief in die roten Zahlen gerutscht und hatte mehr als eine Milliarde Euro Verlust verbucht. Grund waren vor allem die Belastungen bei Porsche wegen des Strategie-Schwenks zur Verbrenner-Verlängerung, die auf den gesamten Konzern durchschlugen. Hinzu kamen Milliardenbelastungen aus den US-Zöllen.

Weniger Autos ausgeliefert als 2024

Bei den Verkäufen war der Konzern 2025 knapp unter die Marke von neun Millionen gerutscht: Weltweit lieferte der Konzern 8,98 Millionen Fahrzeuge aller Konzernmarken aus. Das waren 0,5 Prozent weniger als ein Jahr zuvor. In Europa legte Volkswagen zwar sogar zu. Das konnte Rückgänge in China und Nordamerika aber nicht ausgleichen.

Volkswagen steht nicht nur bei den Verkaufszahlen unter Druck. Der Konzern muss in diesem und vermutlich auch im nächsten Jahr den Verkaufsanteil von Elektroautos und Plug-in-Hybriden massiv steigern. Anders sind die Flottengrenzwerte, die Volkswagen im vergangenen Jahr verfehlt hat, für die Jahre 2025 bis 2027 im Mittel nicht zu schaffen. Die Chancen dafür stehen allerdings gut. Eine ganze Reihe von neuen oder überarbeiteten Elektroautos steht vor dem Verkaufsstart. Dazu zählen unter anderem der ID.Polo und ID.Cross von VW, der Skoda Epiq und die überarbeiteten Fassungen von Cupra Born, VW ID.3 und VW ID.4 als ID.Tiguan.

Mehr zur Marke Volkswagen


(mfz)



Source link

Weiterlesen

Beliebt