Modelgebaseerde verificatie als wapen in de strijd voor productkwaliteit

A.H.J. Mathijssen

Research output: Contribution to journalArticleProfessional

Abstract

Steeds vaker gebruikt de academische wereld het begrip ‘valorisatie’ om aan te geven dat wetenschappers een brug moeten slaan naar het bedrijfsleven. In dit kader heeft het Laboratory for Quality Software van de TU Eindhoven academische tools losgelaten op een industriële casus, geleverd door NXP. Modelgebaseerde verificatietechnieken, normaal gesproken ingezet bij forward engineering van softwareontwerpen, hebben we succesvol toegepast bij a posteriori broncodeanalyse.
Original languageEnglish
JournalBits & Chips : Nieuwsmagazine voor de Hightechindustrie
Publication statusPublished - 2009

Fingerprint Dive into the research topics of 'Modelgebaseerde verificatie als wapen in de strijd voor productkwaliteit'. Together they form a unique fingerprint.

Cite this