Resource-based verification for robust composition of aspects
Pascal Dürr · 2008
I believe all suffering is caused by ignorance.People inflict pain on others in the selfish pursuit of their happiness or satisfaction.Yet true happiness comes from a sense of peace and contentment, which in turn must be achieved through the cultivation of altruism, of love and compassion, and elimination of ignorance, selfishness, and greed."Tenzin Gyatso, Dalai Lama, Nobel Peace Prize laureate.The first person I want to thank, is my daily supervisor and assistant-promoter, Lodewijk Bergmans.A lot of the results achieved in this thesis can be partially contributed to his guidance and advice.He not only encouraged me to do a PhD in the first place but also ensured that I never regretted it.During our four years we never had a dull moment and I have yet to remember a meeting or trip were we did not have a lot of fun.Although our professional relationship ends on the first of July, I am sure that I will continue our excellent personal relationship with you and your wife Ingrid.Secondly, my promotor Mehmet Akşit, his initial elegant brain-child "Composition Filters" has had a huge impact on the thesis and has motivated my quest to continue to improve and extent this approach to software composition.His feedback, advice and guidance can be found throughout this thesis.