Middleware for the Inspection of Complex Software Systems (Middleware voor de inspectie van complexe software systemen) KU Leuven
With the increasing impact of computers on society, we are faced with the obligation of maintaining increasingly complex software systems. Thiscomplexity makes it difficult to verify whether the actual behavior corresponds to the intended behavior. This creates an ever increasing need for inspection. However, this is far from trivial, as information about the run-time state and behavior is distributed over different machines and different ...