Back to my home page

IRM | FSA | iCampus | IntensiVE

Publications of Kim Mens

INGI

COPYRIGHT NOTICE. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


Book Chapters

  1. K. MENS & T. TOURWE. Evolution Issues in Aspect-Oriented Programming. Chapter in book on "Software Evolution" edited by T. Mens & S. Demeyer, pp. 197–224. Springer, 2008. ISBN 978-3-540-76439-7. DOI 10.1007/978-3-540-76440-3.

Journal Articles

  1. J. BRICHAU, A. KELLENS, K. GYBELS, K. MENS, R. HIRSCHFELD, T. D’HONDT. Application-Specific Models and Pointcuts using a Logic Meta Language. Elsevier Journal on Computer Languages, Systems & Structures. Article in Press, Accepted manuscript, 2007. (Extended version of an article with the same name presented at ESUG 2006.)

  2. A. KELLENS, K. MENS & P. TONELLA. A Survey of Automated Code-Level Aspect Mining Techniques. Transactions on Aspect-Oriented Software Development (TAOSD), Volume IV (Special Issue on Software Evolution), 143–162. Springer-Verlag, LNCS 4640, 2007. (Click here for an early draft in PDF format.)

  3. M. CECCATO, M. MARIN, K. MENS, L. MOONEN, P. TONELLA & T. TOURWE. Applying and Combining Three Different Aspect Mining Techniques. Software Quality Journal, Volume 14, Number 3, pp. 209–231. Springer Netherlands, September 2006. ISSN 0963-9314. (Click here for an early draft in PDF format.)

  4. K. MENS, A. KELLENS, F. PLUQUET & R. WUYTS. Co-Evolving Code and Design with Intensional Views - A Case Study. Elsevier Journal on Computer Languages, Systems & Structures, 32(2-3): 140-156. Special Issue: Smalltalk. Elsevier, July-October 2006. (Click here for an early draft in PDF format.)

  5. K. MENS & T. TOURWE. Delving source code with formal concept analysis. Elsevier Journal on Computer Languages, Systems & Structures, 31(3-4) : 183-198. Special Issue: Smalltalk. Elsevier, October-December 2005. (Click here for an early draft in PDF format.)

  6. T. MENS, K. MENS & T. TOURWE. Aspect-Oriented Software Evolution. In ERCIM News No. 58 : 36 –37, Special Theme: Automated Software Engineering. July 2004. ISSN: 0926-4981. (Click here for an early draft in PDF format.)

  7. K. MENS, I. MICHIELS & R. WUYTS. Supporting Software Development through Declaratively Codified Programming Patterns. Elsevier Journal on Expert Systems with Applications, 23(4) : 405–431. Elsevier, November 2002. ISI citation index : 0.3210. (Click here for an early draft in PDF format. )

Peer-reviewed Articles in Conference Proceedings

  1. D. ORDONEZ & K. MENS, APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars. ASE 2008. Tool Demonstration. 2 pages. To be published.

  2. D. ORDONEZ, K. MENS, D. QUIGLEY & J. CATER. Issues and Problems in Test & Operations Language Translation. SpaceOps 2008. American Institute of Aeronautics and Astronautics, 2008.

  3. S. GONZALEZ, K. MENS & A. CADIZ. Context-Oriented Programming with the Ambient Object System. European Lisp Symposium (ELS08), 2008.

  4. S. GONZALEZ, K. MENS & P. HEYMANS. Highly Dynamic Behaviour Adaptability through Prototypes with Subjective Multimethods. In Proceedings of the 2007 symposium on Dynamic Languages – Companion of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, System, Languages and Applications (OOPSLA), Montréal, Canada, pp. 77—88, October 2007. DOI 10.1145/1297081.1297094. (Acceptance rate: 30%) (Click here for an early draft in PDF format.)

  5. J. BRICHAU, C. DE ROOVER & K. MENS. Open Unification for Program Query Languages. International Conference of the Chilean Computer Science Society (SCCC 2007). (Acceptance rate: 35%)

  6. S. CASTRO, J. FABRY, K. MENS & T. D’HONDT. A Unified Mechanism for Improving Advanced Transaction Management in Web Services. International Conference of the Chilean Computer Science Society (SCCC 2007). (Acceptance rate: 35%)

  7. K. MENS, D. ORDONEZ. Using Annotated Grammars for the Automated Generation of Program Transformers. In Actes des 3es Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007). Eds. Antoine Beungard & Marc Pantel. ISBN: 978-2-7261-1292-7, pp. 7–24, 2007.

  8. J. BRICHAU, A. KELLENS, K. GYBELS, K. MENS, R. HIRSCHFELD, T. D’HONDT. Application-Specific Models and Pointcuts using a Logic Meta Language. In Advances in Smalltalk (Proceedings of the 14th International Smalltalk Conference – ESUG 2006), Lecture Notes in Computer Science (LNCS 4406), Ed. Wolfgang De Meuter, Springer Verlag, pp. 1–22, 2007.

  9. A. KELLENS, K. MENS, J. BRICHAU & K. GYBELS. Managing the Evolution of Aspect-Oriented Software with Model-based Pointcuts. Proceedings of the European Conference on Object-Oriented Programming (ECOOP 2006), D. Thomas (Ed.), LNCS 4067, Springer-Verlag, pp. 501–525, 2006. (Acceptance rate: 1/8)

  10. K. MENS & A. KELLENS. IntensiVE, a toolsuite for documenting and checking structural source-code regularities. Proceedings of the European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006.

  11. Y.-G. GUEHENEUC, K. MENS & R. WUYTS. A comparative framework for design recovery tools. Proceedings of the Conference on Software Maintenance and Reengineering (CSMR 2006), 2006.

  12. K. MENS, A. KELLENS, F. PLUQUET & R. WUYTS. The Intensional View Environment. Industrial & Tool Proceedings of the International Conference on Software Maintenance (ICSM 2005), 2005. ISBN: 963-460-980-5, pp. 81–84.

  13. K. MENS & A. KELLENS. Towards a Framework for Testing Structural Source-Code Regularities. Proceedings of the 21st International Conference on Software Maintenance (ICSM 2005). IEEE Computer Society, 2005. ISBN: 0-76952368-4, ISSN: 1063-6773, pp. 679–682.

  14. M. CECCATO, M. MARIN, K. MENS, L. MOONEN, P. TONELLA & T. TOURWE. A Qualitative Comparison of Three Aspect Mining Techniques. Proceedings of the 13th IEEE International Working Conference on Program Comprehension (IWPC 2005). IEEE Computer Society Press, 2005, ISBN: 1092-8138, pp. 13-22. (Click here for an early draft in PDF format.)

  15. K. MENS, B. POLL & S. GONZALEZ. Using Intentional Source-Code Views to Aid Software Maintenance. In Proceedings of the International Conference on Software Maintenance (ICSM 2003). IEEE Computer Society, 2003, ISBN : 0-7695-1905-9, pp. 169–178.

  16. J. BRICHAU, K. MENS & K. DE VOLDER. Building Composable Aspect-specific Languages with Logic Metaprogramming. In D. BATORY, C. CONSEL et W. TAHA (Eds.), Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2002), Lecture Notes in Computer Science, vol. 2487, Springer-Verlag, 2002, ISBN: 3-540-44284-7, pp. 110–127. (ISI citation index : 0.5150)

  17. K. MENS, T. MENS & M. WERMELINGER. Maintaining Software through Intentional Source-Code Views. In Proceedings of the 14th international conference on Software Engineering and Knowledge Engineering (SEKE 2002). ACM Press, July 2002, ISBN : 1-58113-556-4, pp. 289–296.

  18. K. MENS, I. MICHIELS, R. WUYTS. Supporting software development through declaratively codified programming patterns. In Proceedings of International Conference on Software Engineering and Knowlegde Engineering (SEKE 2001), Buenos Aires, Argentina, Knowledge Systems Institute, pp. 236-243, 2001. (A more complete and more recent version of this article, with the same title, is available as journal article.)

  19. T. D'HONDT, K. DE VOLDER, K. MENS & R. WUYTS. Co-evolution of Object-Oriented Software Design and Implementation. In M. AKSIT (Ed.), Software Architectures and Component Technology (SACT 2000). Kluwer Academic Publishers, 2001, pages 207-224.

  20. K. MENS, R. WUYTS & T. D'HONDT. Declaratively Codifying Software Architectures Using Virtual Software Classifications. In Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 29 Europe 1999). IEEE Computer Society Press, pp. 33-45, 1999.

  21. C. LUCAS, P. STEYAERT, K. MENS. Managing Software Evolution through Reuse Contracts. In Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR 1997). March 1997.

  22. P. STEYAERT, C. LUCAS, K. MENS & T. D’HONDT. Reuse Contracts : Managing the Evolution of Reusable Assets. Proceedings of the 11th Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 1996), ACM SIGPLAN Notices, Volume 31, Issue 10, ACM Press, 1996, pp. 268–285. (ISI citation index : 0.1890)

  23. T. MENS, K. MENS & P. STEYAERT. OPUS: a Calculus for Modelling Object-Oriented Concepts. In Proceedings of Object-Oriented Information Systems (00IS 1994), Dilip Patel, Yuan Sun, Shushma Patel, Springer-Verlag, 152-165, 1994.

  24. T. MENS, K. MENS & P. STEYAERT. OPUS: a Formal Approach to Object-Orientation. In Proceedings of Formal Methods Europe (FME 1994), Springer-Verlag, Lecture Notes in Computer Science, 873, pp. 326-345, 1994.

Published Workshop Reports

  1. T. MENS, K. MENS, M. D’HONDT & E. VAN PAESSCHEN. Postproceedings of the Third International ERCIM Symposium on Software Evolution (EVOL 2007), co-located with ICSM 2007 in Paris. Special issue of Electronic Communications of the ECEASST, 2007.

  2. S. DEMEYER, Y.-G. GUEHENEUC, A. KELLER, C.F.J. LANGE, K. MENS, A. KUHN, M. KUHLEMANN. Workshop on Object-Oriented Reengineering. To be published in ECOOP 2007 Workshop Reader, Lecture Notes in Computer Science, Springer-Verlag, 2008.

  3. R. WUYTS, S. DEMEYER, Y.-G. GUEHENEUC, K. MENS, S. DUCASSE. 7th Workshop on Object-Oriented Reengineering. To be published in ECOOP 2006 Workshop Reader, Lecture Notes in Computer Science, Springer-Verlag, 2007.

  4. S. DEMEYER, K. MENS, R. WUYTS, Y.-G. GUEHENEUC, A. ZAIDMAN, N. WALKINSHAW, A. AGUIAR, S. DUCASSE. (Report of the Sixth International) Workshop on Object-Oriented Reengineering. To be published in Object-Oriented Technology – ECOOP 2005 Workshop Reader, Lecture Notes in Computer Science, Springer-Verlag, 2006.

  5. R. WUYTS, S. DUCASSE, S. DEMEYER & K. MENS. Report of the Fifth International Workshop on Object-Oriented Reengineering. In J. MALENFANT, B. M. Østvold (Eds.), Object-Oriented Technology – ECOOP 2004 Workshop Reader, Lecture Notes in Computer Science, vol. 3344, Springer-Verlag, 2005, ISBN: 3-540-32988-X, pp. 177–186.

  6. S. DEMEYER, S. DUCASSE, K. MENS, A. TRIFU, R. VASA & F. VAN RYSSELBERGHE. (Report of the Fourth international) Workshop on Object-Oriented Reengineering. In F. BUSCHMANN, A. P. BUCHMANN, M. CILIA (Eds.), Object-Oriented Technology – ECOOP 2003 Workshop Reader, Lecture Notes in Computer Science, Volume 3013. Springer-Verlag, 2004. ISBN 3-540-22405-X, pp. 72–85.

  7. T. MENS, R. WUYTS, K. DE VOLDER & K. MENS. Declarative Meta Programming to Support Software Development: Workshop Report. ACM SIGSOFT Software Engineering Notes, Volume 28 Issue 2. ACM Press, March 2003. 3 pages. Workshop organised in collocation with the ASE 2002 conference.

  8. M. D'HONDT, K. MENS & E. VAN PAESSCHEN. (Report of the KBOOSE) Workshop on Knowledge-Based Object-Oriented Software Engineering. In J. H. NUNEZ, A. M. D. MOREIRA (Eds.), Object-Oriented Technology – ECOOP 2002 Workshops and Posters. Lecture Notes in Computer Science, Volume 2548. Springer-Verlag 2002. ISBN 3-540-00233-2, pp. 160–173.

  9. K. MENS, R. WUYTS, D. BONTRIDDER & A. GRIJSEELS. Workshop Report – ECOOP'98 Workshop 7: Tools and Environments for Business Rules. In S. DEMEYER, J. BOSCH (Eds.), Object-Oriented Technology – ECOOP 1998 Workshop Reader. Lecture Notes in Computer Science, Volume 1543. Springer-Verlag 1998. ISBN 3-540-65460-7, pp. 189–196.

  10. K. MENS, C. V. LOPES, B. TEKINERDOGAN & G. KICZALES. Aspect-Oriented Programming Workshop Report. In J. BOSCH & S. MITCHELL (Eds.), Object-Oriented Technology – ECOOP 1997 Workshop Reader. Lecture Notes in Computer Science, Volume 1357. Springer-Verlag, 1998. ISBN 3-540-64039-8, pp. 483–496. (ISI citation index : 0.3210)

Workshop Articles Published in International Proceedings

  1. B. MEJIAS, A. CADIZ, P. VAN ROY & K. MENS. A Self-Adaptable Network Topology for Ambient Intelligence. Selfman SASO Workshop, 2008.

  2. G. DELANNAY, K. MENS, P. HEYMANS, P-Y SCHOBBENS, J-M ZEIPPEN. PloneGov as an Open Source Product Line. Proceedings of the Workshop on Open Source Software and Product Lines (OSSPL’07), collocated with SPLC 2007.

  3. S. GONZALEZ, K. MENS, S. MOSTINCKX. Prototypes with Multimethods for Context-Awareness. Workshop on Object Technology for Ambient Intelligence and Pervasive computing (OT4AmI 2006), collocated with ECOOP 2006.

  4. A. KELLENS, K. GYBELS, J. BRICHAU & K. MENS. A Model-driven Pointcut Language for More Robust Pointcuts. Accepted for presentation at the Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT! 2006) collocated with AOSD 2006, March 2006.

  5. D. ORDONEZ CAMACHO, K. MENS, M. VAN DEN BRAND & J. VINJU. Automated Derivation of Translators From Annotated Grammars. To be published in the Proceedings of the Sixth Workshop on Language Descriptions, Tools and Applications (LDTA 2006), Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, 2006. 19 pages.

  6. T. TOURWE & K. MENS. Mining Aspectual Views using Formal Concept Analysis. In Proceedings of the 4th International Workshop on Source Code Analysis and Manipulation (SCAM 2004). IEEE Computer Society, 2004. ISBN 0-7695-2144-4, pp. 97 –106. (Peer-reviewed; acceptance rate: 16/39.)

  7. K. MENS, T. MENS & M. WERMELINGER. Supporting Software Evolution with Intentional Software Views. In Proceedings of the 5th International Workshop on Principles of Software Evolution (IWPSE 2002). ACM Press, May 2002. ISBN 1-58113-545-9, pp. 138–142.

  8. K. MENS, T. MENS, B. WOUTERS & R. WUYTS. Managing Unanticipated Evolution of Software Architectures. In A. M. D. MOREIRA & S. DEMEYER (Eds.), Object-Oriented Technology – ECOOP 1998 Workshop Reader, Lecture Notes in Computer Science, Volume 1743, Springer-Verlag 1999. ISBN 3-540-66954-X, pp. 75–76.

  9. K. MENS. Annotating evolving software with explicit intentions. In Proceedings of International Workshop on Principles of Software Evolution IWPSE 1998, pp. 140–145, 1998.

  10. T. MENS & K. MENS. Assessing the Evolvability of Software Architectures. In S. DEMEYER & J. BOSCH (Eds.), Object-Oriented Technology – ECOOP 1998 Workshop Reader, Lecture Notes in Computer Science, Volume 1543, Springer-Verlag,1998. ISBN 3-540-65460-7, pp. 54–55. (No electronic version available.)

  11. K. MENS, T. MENS, P. STEYAERT & K. DE HONDT. Combining Behavioural and Structural Software Descriptions. In J. BOSCH & S. MITCHELL (Eds.), Object-Oriented Technology – ECOOP 1997 Workshop Reader, Lecture Notes in Computer Science, Volume 1357, Springer-Verlag 1997. ISBN 3-540-64039-8, pp. 274–275.

  12. K. MENS. Towards an explicit intentional semantics for evolving software. In Doctoral Symposium Proceedings of the 13th IEEE Automated Software Engineering Conference, October 1998.

  13. P. STEYAERT, C. LUCAS, K. MENS. Reuse contracts: Making systematic reuse a standard practice. In Proceedings of the Eighth Annual Workshop on Software Reuse (WISR8), 1997.

  14. M. AKSIT, B. TEKINERDOGAN, L. BERGMANS, K. MENS, P. STEYAERT, C. LUCAS, K. LIEBERHERR. Adaptability in object-oriented software development. In Special Issues in Object-Oriented Programming, Workshop Reader of ECOOP 1996,pages 5–52. dpunkt.verlag, 1997. (No electronic version available.)

  15. K. MENS, P. STEYAERT, C. LUCAS. Reuse contracts: Managing evolution in adaptable systems. In Max Mühlhäuser, editor, Special Issues in Object-Oriented Programming, Workshop Reader of the 10th European Conference on Object-Oriented Programming (ECOOP 1996), pages 37–42. dpunkt.verlag, 1996.

  16. C. LUCAS, P. STEYAERT, K. MENS. Research topics in composability. In Max Mühlhäuser, editor, Special Issues in Object-Oriented Programming, Workshop Reader of the 10th European Conference on Object-Oriented Programming (ECOOP 1996). dpunkt.verlag, pp. 81–86, 1996.

Technical Reports

  1. K. MENS, A. KELLENS. Mining Source Code for Design Regularities. Position paper at Working Session on Industrial Realities of Program Comprehension, ICPC 2008. Amsterdam. 4 pages.

  2. S. CASTRO, K. MENS, J. BRICHAU. Towards a taxonomy of tools for documenting code design. Position paper submitted to Working Session on Query Technologies and Applications for Program Comprehension, ICPC 2008. Amsterdam. 4 pages.

  3. K. MENS, A. KELLENS, J. KRINKE. Pitfalls in Aspect Mining. BENEVOL 2007, 6th Belgian-Netherlands software EVOLution workshop. December 2007. Namur. 5 pages.

  4. T. MENS, X. BLANC, K. MENS. Model-driven Software Evolution: An Alternative Research Agenda. BENEVOL 2007, 6th Belgian-Netherlands software EVOLution workshop. December 2007. Namur. 7 pages.

  5. K. MENS & T. TOURWE. Evolutionary Problems in Aspect-Oriented Software Development. Position accepted for presentation at the Third International ERCIM Symposium on Software Evolution, 2007.

  6. J. BRICHAU, C. DE ROOVER, A. KELLENS & K. MENS. Maintaining Design Regularities in Evolving Software Systems using Template Queries in IntensiVE. Demonstration accepted for presentation at the Third International ERCIM Symposium on Software Evolution, 2007.

  7. K. MENS, D. ORDONEZ. Automated Program Translation Between Operations Languages: A Case Study.

  8. K. MENS, D. ORDONEZ & M. SYBEN. Navigating through Java programs with Concept Lattices. INGI Technical Report 2006-12, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium. 2006.
  9. D. ORDONEZ & K. MENS. Third Semi-Annual Report of the APPAREIL Project. Deliverable for the FIRST EUROPE OBJECTIF 3 Program, Contract n° EPH3310300R055F / 415748. July 2006. INGI Technical Report 2006-08, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium. 2006. (Due to contractual obligations, an electronic version of this technical report is not available for public distribution.)

  10. R. WUYTS & K. MENS. Codifying Structural Regularities of Object-Oriented Programs. INGI Technical Report 2006-06, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium. 2006.

  11. S. GONZALEZ, S. MOSTINCKX, P. COSTANZA, K. MENS & W. DE MEUTER. Multimethods for Context-Awareness. INGI Technical Report 2006-03, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium. 2006.

  12. D. ORDONEZ & K. MENS. Second Semi-Annual Report of the APPAREIL Project. Deliverable for the FIRST EUROPE OBJECTIF 3 Program, Contract n° EPH3310300R055F / 415748. January 2006. INGI Technical Report 2006-02, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium. 2006. (Due to contractual obligations, an electronic version of this technical report is not available for public distribution.)

  13. S. GONZALEZ, W. DE MEUTER & K. MENS. Multiple Dispatch for Ambient Intelligence. INGI Technical Report 2005-15, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium. 2005.

  14. A. KELLENS & K. MENS. A Survey of Aspect Mining Tools and Techniques. INGI Technical Report 2005-08, UCL, Belgium. Served as deliverable 6.2a for workpackage 6 of the IWT project 040116 “AspectLab”. June 2005.

  15. D. ORDONEZ & K. MENS. First Semi-Annual Report of the APPAREIL Project. Deliverable for the FIRST EUROPE OBJECTIF 3 Program, Contract n° EPH3310300R055F / 415748. July 2005. INGI Technical Report 2005-06, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium. 2005. (Due to contractual obligations, an electronic version of this technical report is not available for public distribution.)

  16. S. GONZALEZ, W. DE MEUTER, K. MENS & T. D'HONDT. The Unavoidable Failure of Class-Based Languages in the Processor Cloud Era. 5 page position paper presented at the 2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity, ECOOP 2004, Oslo, Norway, Monday 14 June 2004. INGI Technical Report 2004-08, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium, 2004.

  17. K. MENS & T. TOURWE. Reverse Engineering Aspectual Views using Formal Concept Analysis. Position paper presented at the workshop on object-oriented reengineering, ECOOP 2004, Oslo, Norway. INGI Technical Report 2004-09, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium, 2004.

  18. K. MENS & B. POLL. Supporting Software Maintenance and Reengineering with Intentional Source-Code Views. Position paper presented at the workshop on object-oriented reengineering, ECOOP 2003, Darmstadt, Germany. INGI Technical Report 2003-10, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium, 2003.

  19. T. MENS, K. MENS & R. WUYTS. On The Use Of Declarative Meta Programming For Managing Architectural Software Evolution, Position paper presented at the 2nd Workshop on Object-Oriented Architectural Evolution, ECOOP 2000, Sophia Antipolis, France, June 13, 2000. INGI Technical Report 2000-03, Département d'Ingénierie Informatique, Université catholique de Louvain, Belgium, 2000.

  20. K. MENS & M. WERMELINGER. On the use of Knowledge Representation Techniques for Modeling Software Architectures. Technical Report vub-prog-tr-00-16, Programming Technology Lab, Vrije Universiteit Brussel, 2000.

  21. T. MENS & K. MENS. A Uniform Declarative Framework for Automated Software Merging. Technical Report vub-prog-tr-00-04, Programming Technology Lab, Vrije Universiteit Brussel, 2000.

  22. K. MENS. Multiple Cross-Cutting Architectural Views. Presented at the Second Workshop on Multi-Dimensional Separations of Concerns in Software Engineering, collocated with ICSE2000. Technical Report vub-prog-tr-00-15, Programming Technology Lab, Vrije universiteit Brussel, 2000.

  23. K. MENS & T. MENS. Codifying High-Level Software Abstractions as Virtual Classifications. Presented at the ECOOP 2000 Workshop on Objects and Classification: a Natural Convergence. Technical Report vub-prog-tr-00-14, Programming Technology Lab, Vrije universiteit Brussel, 2000.

  24. C. LUCAS, K. MENS, P. STEYAERT & W. VERACHTERT. Applying Reuse Contracts in a Product Line Approach. Presented at the OOPSLA 1998 workshop on Object Technology and Product Lines. Technical Report vub-prog-tr-98-07, Programming Technology Lab, Vrije universiteit Brussel, 1998.

  25. K. MENS, C. LUCAS, P. STEYAERT & W. VERACHTERT. Reuse Contracts: Connecting Bottom-Up and Top-Down Reuse. Presented at the OOPSLA 1998 workshop on Object Technology, Architecture and Domain Analysis – Experiences in Making the Connection. Technical Report vub-prog-tr-98-12, Programming Technology Lab, Vrije universiteit Brussel, 1998.

  26. K. MENS, P. STEYAERT & C. LUCAS. Documenting Evolving Software Systems through Reuse Contracts. Presented at the OOPSLA 1996 workshop on Object-Oriented Software Evolution and Re-engineering. Technical Report vub-prog-tr-96-12, Programming Technology Lab, Vrije universiteit Brussel, 1996.

  27. K. MENS, K. DE VOLDER, T. MENS. A Formalisation of Encapsulated Modification of Objects. Technical Report vub-prog-tr-96-06, Programming Technology Lab, Vrije universiteit Brussel, 1996.

  28. K. MENS, K. DE VOLDER, T. MENS & P. STEYAERT. A Layered Calculus for Encapsulated Object Modification – Extended abstract. Technical Report vub-prog-tr-96-17, Programming Technology Lab, Vrije universiteit Brussel, 1996.

  29. K. MENS, K. DE VOLDER, T. MENS & P. STEYAERT. A Layered Calculus for Encapsulated Object Modification – Theoretical results. Technical Report vub-prog-tr-96-07, Programming Technology Lab, Vrije universiteit Brussel, 1996.

  30. K. MENS, C. LUCAS & P. STEYAERT. Formalising Operations on ACIDs and Their Interactions. Technical Report vub-prog-tr-96-03, Programming Technology Lab, Vrije universiteit Brussel, 1996.

  31. C. LUCAS, K. MENS & P. STEYAERT. Static Typing of Dynamic Inheritance. Poster presented at OOPSLA 1995. Technical Report vub-prog-tr-95-04, Programming Technology Lab, Vrije universiteit Brussel, 1995.

  32. C. LUCAS, K. MENS & P. STEYAERT. Typing Dynamic Inheritance: A Trade-Off Between Extensibility and Substitutability. Technical Report vub-prog-tr-95-03, Programming Technology Lab, Vrije universiteit Brussel, 1995.

Other publications

  1. Software architectuur als middel tegen software erosie.Vulgarizing article. Interview in Dutch with Dr. Kim Mens by SVM, appeared in AKADEMOS — Informatieblad van de Vrije Universiteit Brussel, 4(1), 2001.

  2. Algoritme controleert computerprogramma's. Press communication, Vrije Universiteit Brussel, March 2, 2001.

Pending publications

  1. A. KELLENS, K. MENS, E. GOSSIEAUX, P. HEYMANS & T. D’HONDT. MACAO, a Framework for Mining Aspects with Cluster Analysis. Submitted to Electronic Communications of the ECEASST, 2008. Under evaluation.

  2. K. MENS, A. KELLENS, J. KRINKE. Pitfalls in Aspect Mining. Full paper to be submitted to WCRE’08.

  3. D. ORDONEZ CAMACHO, K. MENS, M. VAN DEN BRAND & J. VINJU. Automated Generation of Program Translation and Verification Tools Using Annotated Grammars. Elsevier, 2008. (extended version of our LDTA2006 paper)

  4. S. GONZALEZ, K. MENS & A. CADIZ. Context-Oriented Programming with the Ambient Object System. Journal version of our ELS’08 paper.

Ph.D. dissertation


All Publications

Jump directly to the directory containing a digital version of most of my publications.


Suggested Reading


Logic Meta-ProgrammingA nice article that illustrates the power of logic meta-programming to reason about object-oriented source code is Supporting Software Development through Declaratively Codified Programming Patterns which appeared in the Elsevier Journal on Expert Systems with Applications, in 2002.

Intensional Views If you want to learn more about intensional views, we suggest reading our ICSM 2003 paper entitled Using Intentional Source-Code Views to Aid Software Maintenance or our more recent (2006) journal publication Co-Evolving Code and Design with Intensional Views - A Case Study.

Co-evolution & OOSD Our SACT 2000 paper discusses logic meta-programming as an emerging technique to support Co-evolution of Object-Oriented Software Design and Implementation .

Aspect-Oriented Software Development Our GPCE 2002 paper Building Composable Aspect-specific Languages with Logic Metaprogramming explains how to use logic meta-programming as a general-purpose language to define and combine aspects in a modular way.
Our IWPC 2005 paper presents A Qualitative Comparison of Three Aspect Mining Techniques: fan-in analysis, identifier analysis and dynamic analysis.

Reuse Contracts The seminal reference on reuse contracts is our OOPSLA 1996 paper Reuse Contracts: Managing the Evolution of Reusable Assets.

Formal Concept Analysis To learn more about how to use the technique of formal concept analysis to mine source code for relevant information, we suggest reading our article on Delving source code with formal concept analysis, which appeared in 2005 in the Elsevier Journal on Computer Languages, Systems & Structures, or our SCAM 2004 paper on Mining Aspectual Views using Formal Concept Analysis..

Object calculi In a previous life, I've done some research on formal calculi for modelling object-oriented concepts. See for example my OOIS 1994 and FME 1994 papers.

Aspect MiningFor an overview of existing aspect-mining techniques, read our Survey of Aspect Mining Tools and Techniques. For our particular aspect mining tool based on formal concept analysis, see suggested reading on formal concept analysis, just above. We also wrote A Qualitative Comparison of Three Aspect Mining Techniques.

Mail me | last modified on December 23, 2010 : Status: stable.