Currently browsing

Deriving behavioral Specifications of Industrial Software Components

Kousar Aslam promotor: prof.dr. Mark van den Brand (TU/e) co-promotors: dr.ir. Loek Cleophas (TU/e) and dr.ir. Ramon Schiffelers (TU/e and ASML) Eindhoven University of Technology Date: 14 June, 2021 Thesis: PDF Summary High-tech companies are struggling with the maintenance of inherently complex software. To facilitate maintenance of legacy software, a …