LIST OF TECHREPORTS 2001 ------------------------ vub-prog-tr-01-01.pdf "Transformational Software Evolution by Assertions" Tom Mens CSRM 2001 Workshop on Formal Foundations of Software Evolution, Lisbon, March 2001. vub-prog-tr-01-02.pdf "Experiences in Mobile Computing: The CBorg Mobile Multi-Agent System" Werner Van Belle, Johan Fabry, Karsten Verelst, Theo D'Hondt Published in ... vub-prog-tr-01-03.pdf "Proceedings of the Workshop on Formal Foundations of Software Evolution" Tom Mens, Michel Wermelinger (editors) Technical Report UNL-DI-1-2001 Departamento de Inform\'{a}tica Faculdade de Ci\^{e}ncias e Tecnologia Universidade Nova de Lisboa 2825-114 Caparica, Portugal vub-prog-tr-01-04.pdf "Features and Feature Interaction in Software Engineering using Logic" Ragnhild Van Der Straeten, Johan Brichau ECOOP 2001 workshop on Feature Interactions in Composed Systems vub-prog-tr-01-05.pdf "Evolution Metrics" Tom Mens, Serge Demeyer Proc. Int. Workshop Principles of Software Evolution, Vienna, September 2001 vub-prog-tr-01-06.pdf "Formal Foundations of Software Evolution: Workshop Report" Tom Mens, Michel Wermelinger Published in ACM Software Engineering Notes, July 2001 vub-prog-tr-01-07.pdf "Towards a Software Evolution Benchmark" Serge Demeyer, Tom Mens, Michel Wermelinger Proc. Int. Workshop Principles of Software Evolution, Vienna, September 2001 vub-prog-tr-01-08.pdf "A Declarative Evolution Framework for Object-Oriented Design Patterns" Tom Mens, Tom Tourwe Proc. Int. Conf. Software Maintenance, pp. 570-579, IEEE Computer Society Press vub-prog-tr-01-09.pdf "A Formal Foundation for Object-Oriented Software Evolution" Tom Mens Proc. Int. Conf. Software Maintenance, pp. 549-552, IEEE Computer Society Press vub-prog-tr-01-10.pdf "Supporting Software Development through Declaratively Codified Programming Patterns" Kim Mens, Isabel Michiels, Roel Wuyts Proc. Int. Conf. Software Engineering and Knowledge Engineering, June 2001 vub-prog-tr-01-11.pdf "Supporting Software Development through Declaratively Codified Programming Patterns" Kim Mens, Isabel Michiels, Roel Wuyts In Journal on Expert Systems with Applications, Elsevier publications vub-prog-tr-01-12 "Software-architectuur als middel tegen software-erosie" Kim Mens AKADEMOS --- Informatieblad van de Vrije Universiteit Brussel, jaargang 4, nummer 1, 2001 vub-prog-tr-01-13 "Algoritme controleert computerprogramma's" Persbericht, 02/03/2001, afdeling Wetenschapscommunicatie VUB vub-prog-tr-01-14 "4th Workshop on Object-Oriented Architectural Evolution" Tom Mens, Galal Hassan Galal ECOOP 2001 Workshop Reader, Springer Verlag, 2001 vub-prog-tr-01-19 "Using meta-level constructs in Web personalization" Sofie Goderis, Gustavo Rossi, Andres Fortier, Juan Cappi, Daniel Schwabe Proc. ICC2001, Special Session on Web Personalization; Lecture Notes in Artificial Intelligence series (LNCS/LNAI), Springer-Verlag, 2001LIST OF DISSERTATIONS 2001 ========================== PhD Dissertations: ------------------ vub-prog-phd-01-01.pdf "A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation" Roel Wuyts PhD dissertation, Programming Technology Lab, January 2001 Masters Dissertations: ---------------------- vub-prog-ms-01-01.pdf "Personalization in Object-Oriented Systems" Sofie Goderis EMOOSE Masters dissertation, August 2001 vub-prog-ms-01-02.pdf "Comparison between different Tree Flattening techniques in an Indirect Reference Listed DGC" Kristof De Vos EMOOSE Masters dissertation, August 2001 Dissertations: -------------- vub-prog-lic-01-01.pdf "Aspect-Oriented Programming using a Logic Meta Programming Language to express cross-cutting through a dynamic joinpoint structure" Kris Gybels Licenciate Dissertation, August 2001 vub-prog-lic-01-02.pdf "A Finite State Machine Approach to Real-Time Scheduler Generation for Embedded Systems" Jessie Dedecker Licenciate Dissertation, July 2001 LIST OF PRESENTATIONS 2001 -------------------------- vub-prog-pr-01-01.ppt "A Graph Transformation Approach to Architecture-Based Reconfiguration" Michel Wermelinger 16 February 2001 Vrije Universiteit Brussel, Brussels, Belgium vub-prog-pr-01-02.ppt "Formal Foundations for Software Evolution" Tom Mens 29 January 2001 Software Composition Group, University of Bern, Switzerland vub-prog-pr-01-03.ppt "A Formalism for Transformational Software Evolution" Tom Mens 13 March 2001 Universidade de Lisboa, Lisbon, Portugal vub-prog-pr-01-04.ppt "Research Topics in Software Evolution" Tom Mens 12 April 2001 Katholieke Universiteit Leuven, Leuven, Belgium vub-prog-pr-01-05.ppt "Declarative Meta Programming" Kim Mens May 2001 Universidade de Lisboa, Lisbon, Portugal vub-prog-pr-01-06.ppt "Evolution Metrics" Tom Mens 11 September 2001 International Workshop on Principles of Software Evolution, Vienna, Austria vub-prog-pr-01-07.ppt "A Graph Rewriting Formalism for Object-Oriented Software Evolution" Tom Mens 8 November 2001 International Conference on Software Maintenace, Firenze, Italy vub-prog-pr-01-08.ppt "A Declarative Evolution Framework for Object-Oriented Design Patterns" Tom Tourwe (and Tom Mens) 9 November 2001 International Conference on Software Maintenance, Firenze, Italy