Warum lange suchen – Wir finden die passenden Leser.
Insbesondere sicherheitskritische Anwendungen mit Echtzeitanforderungen benötigen die Abschätzung von Programmlaufzeiten im schlimmsten Fall. Eine neuartige Lösung der führenden Tool-Spezialisten Lauterbach […]
QA‐MISRA ist die maßgeschneiderte Antwort auf aktuelle und künftige Marktanforderungen. Das neue Tool ist das Produkt einer Kooperation zwischen QA […]
Ein neuer Standard, der aus einem preisgekrönten Forschungsprojekt hervorgegangen ist: Der eFMI-Standard wird die modellbasierte Entwicklung von Embedded Software beschleunigen. […]
Der Einsatz von Werkzeugen zur statischen Analyse kann die Produktivität beträchtlich steigern. Der Code wird automatisch nach einer Vielzahl von […]
Der Einsatz von Werkzeugen zur statischen Analyse kann die Produktivität beträchtlich steigern. Der Code wird automatisch nach einer Vielzahl von […]
AbsInt: Invitation to Webinar on obtaining DO-178B/C-Certification Credits from Sound Static Program Analyzers On Tuesday, December 15, we invite you […]
Am Donnerstag, den 18. Juni 2020, laden wir Sie herzlich zu einem neuen gemeinsamen Webinar mit Vector Informatik ein. Das […]