Tom Mens's Publications List

A transformation-based approach to context-aware modelling

2012-06-15T08:04:02Z

Context-aware computing is a paradigm for governing the numerous mobile devices surrounding us. In this computing paradigm, software applications continuously and dynamically adapt to different “contexts” implying different software configurations of such devices. Unfortunately, modelling a context-aware application (CAA) for all possible contexts is only feasible in the simplest of cases. Hen...

Sylvain Degrandsart, Serge Demeyer, Jan Van den Bergh, Tom Mens (2012) Software and Systems Modeling :

A comparison of identity merge algorithms for software repositories

2012-05-25T14:19:16Z

Software repository mining research extracts and analyses data originating from multiple software repositories to understand the historical development of software systems, and to propose better ways to evolve such systems in the future. Of particular interest is the study of the activities and interactions between the persons involved in the software development process. The main challenge with s...

Mathieu Goeminne, Tom Mens (2012) Science of Computer Programming :

Badger: A Regression Planner to Resolve Design Model Inconsistencies

2012-05-24T20:27:23Z

One of the main challenges in model-driven software engineering is to deal with design model inconsistencies. Automated techniques to detect and resolve these inconsistencies are essential. We propose to use the artificial intelligence technique of automated planning for the purpose of resolving software model inconsistencies. We implemented a regression planner in Prolog and validated it on the r...

Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens (2012) ECMFA 2012 146-161

Techniques and Tools for Parallelizing Software

2012-05-25T14:29:12Z

With the emergence of multicore and manycore processors, engineers must design and develop software in drastically new ways to benefit from the computational power of all cores. However, developing parallel software is much harder than sequential software because parallelism can't be abstracted away easily. Authors Hans Vandierendonck and Tom Mens provide an overview of technologies and tools to s...

Hans Vandierendonck, Tom Mens (2012) IEEE Software 29: 2 22-25

Evolving Software

2012-05-25T14:34:17Z

As chair and member of the ERCIM Working Group on Software Evolution, we are honoured to act as guest editors for this issue of ERCIM News with the special theme of Evolving Software. The importance of software in our information society cannot be underestimated: just imagine what would happen if all software systems around us failed. There would be no television, no radio, no Internet, no financi...

Tom Mens, Jacques Klein (Guest Editors) (2012) ERCIM News 88:

Averting the Next Software Crisis

2011-04-12T05:36:38Z

For parallel programming to become mainstream, software engineering will need to help pave the way.

Hans Vandierendonck, Tom Mens (2011) IEEE Computer 44: 4 88-90

15th European Conference on Software Maintenance and Reengineering

2011-03-28T12:25:38Z

(2011)

QUALGEN: Modeling and Analysing the Quality of Evolving Software Systems

2011-03-28T12:20:19Z

In this article we present an ongoing interuniversity research collaboration in the context of a large ERDF-funded research project aiming to enhance and support the quality of evolving software-intensive systems. The project focuses on two aspects in particular, namely the development of a quality metamodel for measuring and controlling the quality of software-related activities, and the instanti...

Tom Mens, Leandro Doctors, Naji Habra, Benoit Vanderose, Flora Kamseu (2011) 15th European Conference on Software Maintenance and Reengineering (CSMR 2011) 351-354

Evidence for the Pareto principle in Open Source Software Activity

2011-05-30T08:01:51Z

Numerous empirical studies analyse evolving open source software (OSS) projects, and try to estimate the activity and effort in these projects. Most of these studies, however, only focus on a limited set of artefacts, being source code and defect data. In our research, we extend the analysis by also taking into account mailing list information. The main goal of this article is to find evidence for...

Mathieu Goeminne, Tom Mens (2011) International Workshop on Software Quality and Maintainability (SQM 2011) 74-82

Assessing the Kodkod Model Finder for Resolving Model Inconsistencies

2011-05-30T08:10:09Z

In model-driven software engineering (MDE), software is built through the incremental development, composition and transfor- mation of a variety of models. We are inevitably confronted with design models that contain a wide variety of inconsistencies. Interactive and automated support for detecting and resolving these inconsistencies is indispensable. We evaluate an approach to automate the genera...

Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens (2011) Proc. ECMFA 2011, Lecture Notes in Computer Science 6698 69-84

Statechart modelling of interactive gesture-based applications

2012-01-04T11:43:32Z

Developing intuitive interactive applications that are easy to maintain by developers is quite challenging, due to the complexity and the many technical aspects involved in such applications. In this article, we tackle the problem in two complementary ways. First, we propose a gestural interface to improve the user experience when interacting with applications that require the manipulation of 3D g...

R. Deshayes, T. Mens (2011) Proceedings of the First International Workshop on Combining Design and Engineering of Interactive Systems through Models and Tools (ComDeisMoto), organized at INTERACT 2011 – 13th IFIP TC13 Conference on Human-Computer Interaction, Lisbon, Portugal, September 6, 2011

Analyse de l'évolution des aspects sociaux dans les projets logiciels

2012-01-04T11:43:49Z

Le génie logiciel empirique s’intéresse aux études empiriques permettant de comprendre et d’améliorer certains aspects du processus logiciel. Nombre d’entre elles sont dédiées à l’évolution des projets logiciels. Elles extraient les données pertinentes venant de dépôts logiciels ou d’autres sources de données couramment utilisées par les développeurs. Nous suggérons d’é...

Tom Mens, Mathieu Goeminne (2011) Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel 11-18

Analysing the evolution of social aspects of open source software ecosystems

2012-03-05T12:23:35Z

Empirical software engineering is concerned with statistical studies that aim to understand and improve certain aspects of the soft- ware development process. Many of these focus on the evolution and maintenance of evolving software projects. They rely on repository mining techniques to extract relevant data from software repositories or other data sources frequently used by software developers. W...

Tom Mens, Mathieu Goeminne (2011) Proceedings of the Third International Workshop on Software Ecosystems (IWSECO 2011) 1-14

Evolving Software Architecture Descriptions of Critical Systems

2010-05-19T18:49:27Z

To manage the complexity of developing, maintaining, and evolving a critical software-intensive system, its architecture description must be accurately and traceably linked to its implementation.

Tom Mens, Jeff Magee, Bernhard Rumpe (2010) IEEE Computer 43: 5 42-48

Maispion: A Tool for Analysing and Visualising Open Source Software Developer Communities

2010-08-21T15:48:08Z

We present Maispion , a tool for analysing software developer communities. The tool, developed in Smalltalk, mines mailing list and version repositories, and provides visualisations to provide insights into the ecosystem of open source software (OSS) development. We show how Maispion can analyze the history of medium to large OSS communities, by applying our tool to three well-known open source pr...

Francois Stephany, Tom Mens, Tudor Gîrba (2010) Proc. International Workshop on Smalltalk Tools (IWST '09) 50-57

Amélioration de la qualité de modèles: Une étude de deux approches complémentaires

2010-11-02T13:23:20Z

RÉSUMÉ. Une des principales activités de l’IDM est la gestion de l’évolution de modèles. Cette dernière a pour principal défi d’arriver à préserver, voire d’améliorer la qualité des modèles. Dans la littérature, deux différentes approches ont été proposées pour améliorer la qualité de modèles : la gestion d’incohérences de modèles et le refactoring de modèles. Mêm...

Tom Mens, Dalila Tamzalit, Michael Hoste, Jorge Pinna Puissant (2010) Revue des Sciences et Technologies de l'Information - Série Technique et Science Informatiques - Numéro Spécial IDM 29: 4-5 571-599

Software Evolution: Maintaining Stakeholders’ Satisfaction in a Changing World - Guest Editor's Introduction

2010-06-16T13:22:43Z

Tom Mens, Yann-Gaël Guéhéneuc, Juan Fernández-Ramil, Maja D’Hondt (2010) IEEE Software 27: 4 22-25

Guiding Architectural Restructuring through Architectural Styles

2010-11-02T14:07:51Z

Software architectures constitute one of the main artefacts of software-intensive system development. They outline the essential components and interconnections of a software system at a high level of abstraction, ignoring unnecessary details. How to address the evolution of software architectures, however, is still an important topic of current research. In this article, we use UML 2 as architect...

Dalila Tamzalit, Tom Mens (2010) ECBS 2010: 17th IEEE International Conference on Engineering of Computer-Based Systems 69-78

Data-Intensive System Evolution

2010-09-27T11:31:17Z

What happens if you combine the virtues of software engineering with database engineering? Developers managing the evolution of data-intensive software systems face numerous crucial challenges.

Anthony Cleve, Tom Mens, Jean-Luc Hainaut (2010) IEEE Computer 43: 8 110-112

Resolving Model Inconsistencies with Automated Planning

2010-11-01T16:51:47Z

Various approaches have been explored to detect and resolve software model inconsistencies in a generic and scalable way. In this position paper, we outline our research that aims to use the technique of automated planning for the purpose of resolving model inconsistencies. We discuss the scalability results of the approach obtained through several stress-tests and we propose several alternatives ...

Jorge Pinna Puissant, Tom Mens, Ragnhild Van Der Straeten (2010) Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development 2010 8-14

Model Transformation: A Survey of the State-of-the-Art

2010-10-20T21:01:30Z

Model-driven engineering (MDE) is an approach to software development where the primary focus is on models, as opposed to source code. The use of models opens up new pos- sibilities for creating, analyzing, manipulating and formally reasoning about systems at a high level of abstraction. To reap all the benefits of MDE, it is essential to install a mechanism of model transformation, that enables a...

Tom Mens (2010) Model Driven Engineering for Distributed Real-Time Embedded Systems

A Framework for Analysing and Visualising Open Source Software Ecosystems

2010-11-02T14:04:44Z

Nowadays, most empirical studies in open source software evolution are based on the analysis of program code alone. In order to get a better understanding of how software evolves over time, many more entities that are part of the software ecosystem need to be taken into account. We present a general framework to automate the analysis of the evolution of software ecosystems. The framework incorpora...

Mathieu Goeminne, Tom Mens (2010) Proc. IWPSE-EVOL 2010 42-47

Model-Driven Software Refactoring

2010-05-12T19:08:23Z

In this chapter, we explore the emerging research domain of model-driven software refactoring. Program refactoring is a proven technique that aims at improving the quality of source code. Applying refactoring in a model-driven software engineering context raises many new challenges such as how to define, detect and improve model quality, how to preserve model behavior, and so on. Based on a c...

Tom Mens, Gabriele Taentzer, Dirk Mueller (2009) Software Applications: Concepts, Methodologies, Tools, and Applications

Challenges in Model-Driven Software Engineering

2010-04-04T14:29:38Z

After more than a decade of research in Model-Driven Engineering (MDE), the state-of-the-art and the state-of-the-practice in MDE has significantly progressed. Therefore, during this workshop we raised the question of how to proceed next, and we identified a number of future challenges in the field of MDE. The objective of the workshop was to provide a forum for discussing the future of MDE resear...

Ragnhild Van Der Straeten, Tom Mens, Stefan Van Baelen (2009) Lecture Notes in Computer Science Proc. Workshops and Symposia at MODELS 2008. Reports and Revised Selected Papers. LNCS 5421 5421:

Incremental Detection of Model Inconsistencies based on Model Operations

2010-11-02T14:17:56Z

Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gaining more and more attention. Inconsistency checkers typically analyse entire models to detect undesired structures as deﬁned by inconsistency rules. The larger the models become, the more time the inconsistency detect...

Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom Mens (2009) 21st International Conference on Advanced Information Systems (CAiSE 2009) 32-46

A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring

2010-10-21T13:45:26Z

This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation system must be able to (i) import a graph-based representation of models of Java programs , (ii) allow these models to be transformed interactively with well-known program refactorings, and (iii) export the resulting mode...

Javier Perez, Yania Crespo, Berthold Hoffmann, Tom Mens (2009) Software Tools for Technology Transfer - Special Section on GraBaTs 08 12: 3-4 183-199

What does it take to develop a million lines of open source code?

2010-11-02T14:20:19Z

This article presents a preliminary and exploratory study of the relationship between size, on the one hand, and effort, duration and team size, on the other, for 11 Free/Libre/Open Source Software (FLOSS) projects with current size ranging between between 0.6 and 5.3 million lines of code (MLOC). Effort was operationalised based on the number of active committers per month. The extracted data did...

Juan Fernandez-Ramil, Daniel Izquierdo-Cortazar, Tom Mens (2009) Proc. Fifth International Conference on Open Source Systems (OSS 2009) 170-184

Detecting model inconsistency through operation-based model construction

2010-11-02T14:13:30Z

Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system specification. Detecting and resolving structural inconsistencies between these models is then critical. In this article we propose to represent models by sequences of elementary construction operations, rather th...

Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens (2008) IEEE International Conference on Software Engineering (ICSE 2008) 511-520

Introduction and Roadmap : History and Challenges of Software Evolution

2010-10-20T22:03:55Z

The ability to evolve software rapidly and reliably is a major challenge for soft- ware engineering. In this introductory chapter we start with a historic overview of the research domain of software evolution. Next, we briefly introduce the important research themes in software evolution, and identify research challenges for the years to come. Finally, we provide a roadmap of the topics treated in...

Tom Mens (2008) Software Evolution 11

Software Evolution

2009-05-29T11:47:44Z

Software has become omnipresent and vital in our information-based society, so all software producers should assume responsibility for its reliability. While "reliable" originally assumed implementations that were effective and mainly error-free, additional issues like adaptability and maintainability have gained equal importance recently. For example, the 2004 ACM/IEEE Software Engineering Curric...

Tom Mens, Serge Demeyer (2008) :

Specifying Domain-Specific Refactorings for AndroMDA based on Graph Transformation

2010-04-04T14:19:48Z

Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software development based on the code generation framework AndroMDA. Considering the UML profile for AndroMDA, we come up with a number of domain-specific model refactorings. In its most recent version, the AndroMDA code generation...

Dirk Mueller, Tom Mens, Gabriele Taentzer (2008) Lecture Notes in Computer Science Proc. Int'l Conf. Applications of Graph Transformation with Industrial Relevance, LNCS 5088 5088: 104-119

Using Graph Transformation to Support Collaborative Ontology Evolution

2010-04-04T14:20:13Z

In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of-control evolution pro- cesses, proper context dependency management will allow human experts to focus on the meaning interpretation and negotiation processes. This requires support for the detection and resolutio...

Tom Mens, Pieter De Leenheer (2008) Lecture Notes in Computer Science Proc. Int'l Conf. Applications of Graph Transformation with Industrial Relevance, LNCS 5088 5088: 44-58

The Evolution of Eclipse

2010-03-26T14:48:37Z

We present a metrics-based study of the evolution of Eclipse, an open source integrated development environment, based on data from seven major releases, from releases 1.0 to 3.3. We investigated whether three of the laws of software evolution were supported by the data. We found that Eclipse displayed continual change and growth, hence supporting laws 1 and 6. Six size indicators, out of eight,...

Tom Mens, Juan Fernandez-Ramil, Sylvain Degrandsart (2008) International Conference on Software Maintenance (ICSM 2008) 386-395

Generation of Sierpinski Triangles : A Case Study for Graph Transformation Tools

2010-04-04T14:18:37Z

In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A Sierpinski triangle shows a well-known fractal structure. This case study is mostly a performance benchmark, involving the construction of all triangles up to a certain number of iterations. Both time and spac...

Gabriele Taentzer, Enrico Biermann, Dénez Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiss, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk (2008) Lecture Notes in Computer Science Proc. Int'l Conf. Applications of Graph Transformation with Industrial Relevance, LNCS 5088 5088: 514-539

Refactoring des modèles : concepts et défis

2007-08-27T12:16:52Z

Khalid Allem, Tom Mens (2007) Proc. troisièmes journées sur l’Ingénierie Dirigée par les Modèles : 75-81

Analysing Refactoring Dependencies Using Graph Transformation

2008-08-29T09:57:29Z

Tom Mens, Gabriele Taentzer, Olga Runge (2007) Software and Systems Modeling 6: 3 269-285

Proceedings of the ERCIM Workshop on Software Evolution (2006) - Preface

2007-09-04T06:30:19Z

Tom Mens, Maja D’Hondt, Laurence Duchien (2007) Electronic Notes in Theoretical Computer Science 166: 1-4

Incremental Resolution of Model Inconsistencies

2007-12-04T08:45:24Z

Tom Mens, Ragnhild Van Der Straeten (2007) Algebraic Description Techniques 111-127

A formal approach to model refactoring and model refinement

2008-08-29T09:58:19Z

Model-driven engineering is an emerging software engineering approach that relies on model transformation. Typical kinds of model transformations are model refinement and model refactoring. Whenever such a transformation is applied to a consistent model, we would like to know whether the consistency is preserved by the transformation. Therefore, in this article, we formally define and explore the ...

Ragnhild Van Der Straeten, Tom Mens, Viviane Jonckers (2007) Software and Systems Modeling 6: 2 139-162

Refactoring des modèles par la voie des design patterns

2007-08-27T12:16:52Z

Khalid Allem, Tom Mens (2007) : VAL-RR-2007-01

Ontology Evolution : State of the art and future directions

2010-10-20T21:50:52Z

Pieter De Leenheer, Tom Mens (2007) Ontology Management: Semantic Web, Semantic Web Services, and Business Applications 131-176

A Taxonomy of Model Transformation

2007-09-03T20:27:46Z

This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of the Dagstuhl seminar on Language Engineering for Model-Driven Software Development. This taxonomy can be used, among others, to help developers in deciding which model transformation language or tool is best suited to carry out a particular model transformation activity.

Tom Mens, Pieter Van Gorp (2006) Electronic Notes in Theoretical Computer Science 152: 125-142

Applying a model transformation taxonomy to graph transformation technology

2007-09-04T06:33:23Z

A taxonomy of model transformations was introduced in [T. Mens, P.V. Gorp, A taxonomy of model transformation, in: Proc. Int'l Workshop on Graph and Model Transformation (GraMoT 2005), Electronic Notes in Theoretical Computer Science 152]. Among others, such a taxonomy can help developers in deciding which language, formalism, tool or mechanism is best suited to carry out a particular model transf...

Tom Mens, Pieter Van Gorp, Daniel Varró, Gabor Karsai (2006) Electronic Notes in Theoretical Computer Science 152: 143-159

Proc. 3rd Workshop on Software Evolution through Transformations

2007-12-03T20:04:35Z

Transformation-based techniques such as refactoring, model transformation and model-driven development, architectural reconfiguration, etc. are at the heart of many software engineering activities, making it possible to cope with an ever changing environment. This workshop, held as satellite event of the 3rd International Conference on Graph Transformation (ICGT 2006) in Natal, Rio Grande do N...

Jean-Marie Favre, Reiko Heckel, Tom Mens (2006) Electronic Communication of the EASST 3:

ERCIM Workshop on Software Evolution

2007-08-27T12:16:52Z

Tom Mens, Maja D’Hondt, Laurence Duchien (2006) ERCIM News : 66

Measuring software flexibility

2010-04-04T14:35:22Z

Flexibility has been recognised as a desirable quality of software since the earliest days of software engineering. Classic and contemporary software design literature suggests that particular implementations are more flexible than others, but stops short of suggesting objective criteria for quantifying such claims. To measure software flexibility in precise terms, we introduce the notion of evolu...

Amnon H Eden, Tom Mens (2006) IEE Software 153: 3 113-125

Does God Class Decomposition Affect Comprehensibility?

2009-05-29T11:55:13Z

Continuous alterations and extensions of a software system introduce so called god classes, accumulating ever more responsibilities. As god classes make essential steps in program comprehension harder, it is expected that effective and efficient techniques to resolve them will facilitate future maintenance tasks. This work reports on a laboratory experiment with 63 computer science students, in wh...

Bart Du Bois, Serge Demeyer, Jan Verelst, Tom Mens, Marijn Temmerman (2006) IASTED International Conference on Software Engineering

Transformation dependency analysis - A comparison of two approaches

2008-10-01T20:42:01Z

Tom Mens, Günter Kniesel, Olga Runge (2006) Série L’objet - logiciel, base de données, réseaux :

Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME 2005)

2007-12-04T08:40:53Z

Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, Tom Mens (2006) MoDELS 2005 Satellite Events 151-158

ERCIM Working Group on Software Evolution spawns local chapters

2007-08-27T12:16:52Z

Tom Mens, Jean-Marie Favre, Salah Sadou (2006) ERCIM News : 67

Detecting and resolving model inconsistencies using transformation dependency analysis

2007-12-04T08:41:43Z

Tom Mens, Ragnhild Van Der Straeten, Maja D’Hondt (2006) Model Driven Engineering Languages and Systems 200-214

On the use of graph transformations for model refactoring

2007-12-04T08:37:00Z

Tom Mens (2006) Generative and transformational techniques in software engineering 219-257

A Taxonomy of Model Transformations

2007-08-27T12:16:52Z

Tom Mens, Krzysztof Czarnecki, Pieter Van Gorp (2005) Proc. Dagstuhl Seminar 04101 on Language Engineering for Model-Drieven Software Development :

Formalizing refactorings with graph transformations

2007-09-05T19:43:56Z

Tom Mens, Niels Van Eetvelde, Serge Demeyer, Dirk Janssens (2005) Software Maintenance and Evolution : Research and Practice 17: 4 247-276

Workshop on Challenges in Software Evolution

2007-08-27T12:16:52Z

Tom Mens (2005) ERCIM News : 62

Proceedings of the Workshop on Graph-Based Tools

2007-11-17T16:12:24Z

Preface of the special issue of our workshop GraBaTs 2004.

Tom Mens, Gabriele Taentzer, Andy Schürr (2005) Electronic Notes in Theoretical Computer Science 127: 1 1-1

Proceedings of the Workshop on software evolution through transformations : model-based versus implementation-level solutions

2007-11-17T16:08:19Z

This is the preface of the special issue of ENTCS containing the best papers of our workshop SETra 2004.

Reiko Heckel, Tom Mens (2005) Electronic Notes in Theoretical Computer Science 127: 3 1-3

On the evolution complexity of design patterns

2007-09-05T19:40:40Z

Tom Mens, Amnon H Eden (2005) Electronic Notes in Theoretical Computer Science 127: 3 147-163

Detecting structural refactoring conflicts using critical pair analysis

2007-11-17T16:03:33Z

Refactorings are program transformations that improve the software structure while preserving the external behaviour. In spite of this very useful property, refactorings can still give rise to structural conflicts when parallel evolutions to the same software are made by different developers. This paper explores this problem of structural evolution conflicts in a formal way by using graph transfor...

Tom Mens, Gabriele Taentzer, Olga Runge (2005) Electronic Notes in Theoretical Computer Science 127: 3 113-128

ERCIM Working Group on Software Evolution

2007-08-27T12:16:52Z

Tom Mens (2005) ERCIM News : 60

A Framework for Managing Consistency of Evolving UML Models

2007-09-05T19:56:57Z

Tom Mens, Ragnhild Van Der Straeten, Jocelyn Simmonds (2005) Software Evolution with UML and XML 1-31

Towards a taxonomy of software change

2007-09-05T19:45:48Z

Jim Buckley, Tom Mens, Matthias Zenger, Awais Rashid, Günter Kniesel (2005) Software Maintenance and Evolution : Research and Practice 17: 5 309-332

On the use of formal techniques to support model evolution

2007-08-27T12:16:52Z

Tom Mens, Ragnhild Van Der Straeten (2005) Proc. 1ères Journées sur l’Ingénierie Dirigée par les Modèles : 115-124

Challenges in Software Evolution

2007-08-27T12:16:52Z

Tom Mens, Michel Wermelinger, Stéphane Ducasse, Serge Demeyer, Robert Hirschfeld, Mehdi Jazayeri (2005) Proc. Int’l Workshop on Principles of Software Evolution (IWPSE 2005) :

The LAN simulation : A Refactoring Teaching Example

2007-08-27T12:16:52Z

Serge Demeyer, Filip Van Rysselberghe, Tudor Gîrba, Jacek Ratzinger, Radu Marinescu, Tom Mens, Bart Du Bois, Dirk Janssens, Stéphane Ducasse, Michele Lanza, Matthias Rieger, Harald Gall, Mohammad El-Ramly (2005) Proc. Int’l Workshop on Principles of Software Evolution (IWPSE 2005) :

Analyzing the Evolution of Large-Scale Software : Issue Overview

2009-12-10T13:50:38Z

Tom Mens, Juan F Ramil, Michael W Godfrey (2004) Software Maintenance and Evolution : Research and Practice 16: 6 363-365

Supporting Model Refactorings through Behaviour Inheritance Consistencies

2007-08-27T12:16:52Z

Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens (2004) UML 2004 - The Unified Modeling Language 3273: 305-319

Workshop on software evolution through transformations : model-based versus implementation-level solutions

2007-08-27T12:16:52Z

Reiko Heckel, Tom Mens (2004) International Conference on Graph Transformations 3256: 445-447

Language Independent Detection of Object-Oriented Design Patterns

2007-09-05T19:52:04Z

Johan Fabry, Tom Mens (2004) Computer Languages, Systems and Structures 30: 1–2 21-33

Aspect-Oriented Software Evolution

2007-08-27T12:16:52Z

Tom Mens, Kim Mens, Tom Tourwé (2004) ERCIM News : 58 36-37

A Survey of Software Refactoring

2010-03-26T14:49:49Z

Tom Mens, Tom Tourwé (2004) IEEE Transactions on Software Engineering 30: 2 126-139

Maintaining Consistency between UML Models Using Description Logic

2008-10-01T20:42:55Z

Jocelyn Simmonds, Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens (2004) Série L’objet - logiciel, base de données, réseaux 10: 2-3 231-244

Enabling Dynamic Software Evolution through Automatic Refactoring

2007-08-27T12:16:52Z

Peter Ebraert, Theo D’Hondt, Tom Mens (2004) Proc. 1st Int’l Workshop on Software Evolution Transformations : 3-6

Workshop on Graph-Based Tools

2007-08-27T12:16:52Z

Tom Mens, Andy Schürr, Gabriele Taentzer (2004) Proc. Int’l Conf. Graph Transformations 3526: 439-441

Simulation of a LAN

2007-11-17T16:19:39Z

Dirk Janssens, Serge Demeyer, Tom Mens (2003) Electronic Notes in Theoretical Computer Science 72: 4 1-3

Identifying Refactoring Opportunities Using Logic Meta Programming

2009-05-29T11:57:26Z

In this paper, we show how automated support can be provided for identifying refactoring opportunities, e.g., when an application’s design should be refactored and which refactoring(s) in particular should be applied. Such support is achieved by using the technique of logic meta programming to detect so-called bad smells and by defining a framework that uses this information to propose adequate ...

Tom Tourwé, Tom Mens (2003) Proc. 7th European Conf. Software Maintenance and Re-engineering (CSMR 2003) 91-100

Using Genetic Programming to Generate Protocol Adaptors for Interprocess Communication

2010-04-04T14:22:59Z

Werner Van Belle, Tom Mens, Theo D’Hondt (2003) Lecture Notes in Computer Science Proc. Int'l Conf. Evolvable Systems, LNCS 2606 2606: 422-433

Using Description Logics to Maintain Consistency Between UML Models

2009-05-29T11:51:35Z

A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve consistency between these diagrams. Moreover, through evolution those diagrams get modified leading to possible inconsistency between different versions of the diagrams. State-of-the-art UML CASE tools provide poor support for consistency maintenance. To solve this problem, an extension of th...

Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers (2003) UML 2003 - The Unified Modeling Language 326-340

Maintaining consistency between UML models with description logic tools

2007-08-27T12:16:52Z

Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds (2003) :

Refactoring : Current Research and Future Trends

2007-11-17T16:14:51Z

In this paper we provide an detailed overview of existing research in the field of software restructuring and refactoring, from a formal as well as a practical point of view. Next, we propose an extensive list of open questions that indicate future research directions, and we provide some partial answers to these questions.

Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten, Pieter Van Gorp (2003) Electronic Notes in Theoretical Computer Science 82: 3 483-499

Proceedings of the ELISA workshop

2007-08-27T12:16:52Z

Tom Mens, Juan F Ramil, Michael W Godfrey, Brian Down (2003) : vub-prog-tr-03-20

Automated Support for Framework-Based Software Evolution

2009-05-29T11:52:41Z

In this paper, we show how elaborate support for framework-based software evolution can be provided based on explicit documentation of the hot spots of object-oriented application frameworks. Such support includes high-level transformations that guide a developer when instantiating applications from a framework by propagating the necessary changes, as well as application upgrading facilities based...

Tom Tourwé, Tom Mens (2003) Proc. Int’l Conf. Software Maintenance (ICSM 2003) 148-157

High-Level Transformations to Support Framework-Based Software Development

2007-11-17T16:18:21Z

In this paper, we show how elaborate support for framework-based software development can be provided based on explicit documentation of the hot spots of object-oriented application frameworks. This support ranges from automatically verifying whether appropriate design constraints are preserved, over providing high-level transformations that guide a developer when instantiating applications from a...

Tom Tourwé, Tom Mens (2003) Electronic Notes in Theoretical Computer Science 72: 4 1-12

Detecting Inconsistencies between UML Models Using Description Logic

2007-08-27T12:16:52Z

Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens (2003) Description Logics 81:

Enabling and Using the UML for Model Driven Refactoring

2007-08-27T12:16:52Z

Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer (2003) :

High-speed Migration by Anticipative Mobility

2010-04-04T14:27:25Z

Luk Stoops, Karsten Verelst, Tom Mens, Theo D’Hondt (2003) Lecture Notes in Computer Science Proc. Int'l Conf. High Performance Computing, LNCS 2913 2913: 500-510

Beyond the Refactoring Browser : Advanced Tool Support for Software Refactoring

2007-08-27T12:16:52Z

Tom Mens, Tom Tourwé, Francisca Muñoz (2003) Proc. Int’l Workshop on Principles of Software Evolution (IWPSE 2003) : 39-44

Declarative Meta Programming to Support Software Development : Workshop Report

2007-08-27T12:16:52Z

Tom Mens, Roel Wuyts, Kris De Volder, Kim Mens (2003) ACM SIGSOFT Software Engineering Notes 28: 2

Towards automating source-consistent UML refactorings

2010-03-26T14:53:41Z

With the increased interest in refactoring, UML tool vendors seek ways to support software developers in applying a (sequence of) refactoring(s). The problem with such tools is that the UML metamodel – on which their repository is based – is inadequate to maintain the consistency between the model and the code while one of them gets refactored. Therefore, we propose a set of minimal extensions...

Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer (2003) UML 2003 - The Unified Modeling Language 144-158

Reducing Network Latency by Application Streaming

2007-08-27T12:16:52Z

Luk Stoops, Tom Mens, Theo D’Hondt (2003) Proc. Int’l Conf. Parallel Distributed Processing Techniques and Applications : 1056-1062

Proceedings workshop on software evolution through transformations : towards uniform support throughout the software life-cycle

2007-11-17T16:17:06Z

Preface of the ENTCS special issue of our SETra 2002 workshop.

Reiko Heckel, Tom Mens, Michel Wermelinger (2003) Electronic Notes in Theoretical Computer Science 72: 4 1-5

Language Independent Detection of Object-Oriented Design Patterns

2007-08-27T12:16:52Z

Johan Fabry, Tom Mens (2003) Proc. European Smalltalk User Group 2003 :

Workshop on software evolution through transformations : towards uniform support throughout the software life-cycle

2007-08-27T12:16:52Z

Reiko Heckel, Tom Mens, Michel Wermelinger (2002) International Conference on Graph Transformation 2505: 450-454

Analysing Object-Oriented Application Frameworks Using Concept Analysis

2007-08-27T12:16:52Z

Gabriela Arévalo, Tom Mens (2002) OOIS 2002 Workshops Proceedings 2426: 53-63

Towards a Software Evolution Benchmark

2007-08-27T12:16:52Z

Serge Demeyer, Tom Mens, Michel Wermelinger (2002) Proc. 4th Int’l Workshop on Principles of Software Evolution (IWPSE 2001) : 174-177

Analysing Object-Oriented Framework Reuse using Concept Analysis

2007-08-27T12:16:52Z

Gabriela Arévalo, Tom Mens (2002) ECOOP 2002 Inheritance Workshop :

Workshop on Graph-Based Tools

2007-08-27T12:16:52Z

Tom Mens, Andy Schürr, Gabriele Taentzer (2002) Proc. Int’l Conf. Graph Transformation 2505: 440-444

Proceedings workshop on graph-based tools

2007-08-27T12:16:52Z

Tom Mens, Andy Schürr, Gabriele Taentzer (2002) Electronic Notes in Theoretical Computer Science 72: 2

Towards a taxonomy of software evolution

2007-08-27T12:16:52Z

Tom Mens, Jim Buckley, Awais Rashid, Matthias Zenger (2002) Workshop on Unanticipated Software Evolution :

Future Trends in Software Evolution Metrics

2007-08-27T12:16:52Z

Tom Mens, Serge Demeyer (2002) Proc. Int’l Workshop on Principles of Software Evolution (IWPSE 2001) : 83-86

Formalising Behaviour Preserving Program Transformations

2007-08-27T12:16:52Z

Tom Mens, Serge Demeyer, Dirk Janssens (2002) Proc. Int’l Conf. Graph Transformation 2505: 286-301

Supporting Object-Oriented Software Engineering with Intentional Software Views

2007-08-27T12:16:52Z

Kim Mens, Tom Mens, Michel Wermelinger (2002) ECOOP 2002 Workshop on Knowledge Based Object-Oriented Software Engineering :

Maintaining software through intentional source-code views

2007-08-27T12:16:52Z

Kim Mens, Tom Mens, Michel Wermelinger (2002) Proc. Int’l Conf. Software Engineering and Knowledge Engineering : 289-298

Formalising Behaviour Preserving Software Evolution

2007-08-27T12:16:52Z

Tom Mens, Serge Demeyer, Dirk Janssens (2002) ECOOP 2002 Workshop on Unanticipated Software Evolution :

Towards a Classification and Comparison of Software Evolution Measurements

2007-08-27T12:16:52Z

Tom Mens, Serge Demeyer (2002) Proc. Int. Conf. Software Metrics :

A Graph-Based Metamodel for Object-Oriented Software Metrics

2007-11-17T16:21:17Z

Metrics are essential in object-oriented software engineering for several reasons, among which quality assessment and improvement of development team productivity. While the mathematical nature of metrics calls for clear definitions, frequently there exist many contradicting definitions of the same metric depending on the implementation language. We suggest to express and define metrics using a la...

Tom Mens, Michele Lanza (2002) Electronic Notes in Theoretical Computer Science 72: 2 69-80

Fine-Grained Interlaced Code Loading for Mobile Systems

2010-04-04T14:26:00Z

Luk Stoops, Tom Mens, Theo D’Hondt (2002) Proc. 6th Int'l Conf. Mobile Agents, LNCS 2535 2535: 78-92

A Declarative Meta-Programming Approach to Framework Documentation

2007-08-27T12:16:52Z

Tom Tourwé, Tom Mens (2002) ASE 2002 Workshop on Declarative Meta-Programming :

Using Declarative Meta-Programming to Detect Possible Refactorings

2007-08-27T12:16:52Z

Tom Tourwé, Johan Brichau, Tom Mens (2002) ASE 2002 Workshop on Declarative Meta-Programming :

Fine-grained Interlaced Code Loading for Mobile Systems

2007-08-27T12:16:52Z

Luk Stoops, Tom Mens, Theo D’Hondt (2002) ECOOP 2002 workshop on Mobile Object Systems :

A Comparison of Software Refactoring Tools

2007-08-27T12:16:52Z

Jocelyn Simmonds, Tom Mens (2002) : vub-prog-tr-02-15

4th Workshop on object-oriented architectural evolution

2007-08-27T12:16:52Z

Tom Mens, Galal Hassan Galal (2002) ECOOP 2001 Workshops, Panels and Posters 2323: 150-164

Separation of concerns for software evolution : Issue Overview

2009-12-10T13:55:57Z

This special issue reports on approaches that apply the idea of separation of concerns to software evolution. In this context, separation of concerns allows us to separate parts of the software that exhibit different rates of change or different types of change. This makes it possible to provide better evolution support for those parts that have a higher change rate, or to provide different evolut...

Tom Mens, Michel Wermelinger (2002) Software Maintenance and Evolution : Research and Practice 14: 5 311-315

Supporting software evolution with Intentional Software Views

2007-08-27T12:16:52Z

Kim Mens, Tom Mens, Michel Wermelinger (2002) Proc. Int’l Workshop on Principles of Software Evolution (IWPSE 2002) : 138-142

Supporting unanticipated software evolution through intentional software views

2007-08-27T12:16:52Z

Kim Mens, Tom Mens, Michel Wermelinger (2002) ECOOP 2002 Workshop on Unanticipated Software Evolution :

A State-of-the-Art Survey on Software Merging

2007-09-05T19:50:31Z

Tom Mens (2002) IEEE Transactions on Software Engineering 28: 5 449-462

Unanticipated Software Evolution

2009-05-08T10:31:48Z

Günter Kniesel, Joost Noppen, Tom Mens, Jim Buckley (2002) ECOOP 2002 Workshop Reader 92-106

A formal foundation for object-oriented software evolution

2007-08-27T12:16:52Z

Tom Mens (2001) Proc. Int’l Conf. Software Maintenance (ICSM 2001) : 549-552

Formal Foundations of Software Evolution : Workshop Report

2007-08-27T12:16:52Z

Tom Mens, Michel Wermelinger (2001) ACM SIGSOFT Software Engineering Notes 26: 4 27-30

A Declarative Evolution Framework for Object-Oriented Design Patterns

2007-08-27T12:16:52Z

Tom Mens, Tom Tourwé (2001) Proc. Int’l Conf. Software Maintenance (ICSM 2001) : 570-579

Transformational Software Evolution by Assertions

2007-08-27T12:16:52Z

Tom Mens (2001) CSMR Workshop on Formal Foundations of Software Evolution, Lisbon :

Automating support for software evolution in UML

2007-12-04T08:43:27Z

Tom Mens, Theo D’Hondt (2000) Automated Software Engineering Journal 7: 1 39-59

Theoretisch detectiemodel voor conflicten bij software-evolutie

2007-08-27T12:16:52Z

Tom Mens (2000) Akademos - Informatieblad van de Vrije Universiteit Brussel 3: 1

Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution

2007-08-27T12:16:52Z

Tom Mens (2000) Proc. Int’l Conf. Agtive 1999 : Applications of Graph Transformations with Industrial Relevance 1779: 127-143

On the Use of Declarative Meta Programming for Managing Architectural Software Evolution

2007-08-27T12:16:52Z

Tom Mens, Kim Mens, Roel Wuyts (2000) ECOOP 2000 Workshop on Object-Oriented Architectural Evolution :

Objects and Classification : A Natural Convergence

2007-08-27T12:16:52Z

Marianne Huchard, Robert Godin, Amedeo Napoli (2000) ECOOP 2000 Workshop Reader 1964: 123-137

Codifying High-Level Software Abstractions as Virtual Classifications

2007-08-27T12:16:52Z

Kim Mens, Tom Mens (2000) ECOOP 2000 Workshop on Objects and Classification : a Natural Convergence :

Object-Oriented Architectural Evolution

2007-08-27T12:16:52Z

Isabelle Borne, Galal Hassan Galal, Huw Evans, Luis Filipe Andrade (2000) ECOOP 2000 Workshop Reader 1964: 138-149

Supporting Disciplined Reuse and Evolution of UML Models

2010-03-26T14:52:49Z

Tom Mens, Carine Lucas, Patrick Steyaert (1999) Proc. UML’98 - Beyond The Notation 1618: 378-392

Managing unanticipated evolution of software architectures

2007-08-27T12:16:52Z

Kim Mens, Tom Mens, Bart Wouters, Roel Wuyts (1999) ECOOP’99 Workshop on Object-Oriented Architectural Evolution :

A Formal Foundation for Object-Oriented Software Evolution

2007-09-04T06:20:34Z

Tom Mens (1999)

A basic formalism for systematic software evolution

2007-08-27T12:16:52Z

Tom Mens (1998) Proc. Int. Workshop on Principles of Software Evolution (IWPSE’98), Kyoto, Japan : 38-42

Nested Dependency Graphs as a Visual Formalism for Object-Oriented Reuse

2007-08-27T12:16:52Z

Tom Mens (1998) Proc. 20th Int’l Conf. Software Engineering (ICSE) II: 129-134

Assessing the Evolvability of Software Architectures

2007-08-27T12:16:52Z

Tom Mens, Kim Mens (1998) Workshop Reader 12th European Conf. Object-Oriented Programming (ECOOP’98), Brussels, Belgium 1543: 54-55

Combining Software Descriptions

2007-08-27T12:16:52Z

Kim Mens, Tom Mens, Patrick Steyaert, Koen De Hondt (1998) Workshop Reader of 11th European Conf. Object-Oriented Programming (ECOOP97) 1357: 274-275

Giving Precise Semantics to Reuse in UML

2007-08-27T12:16:52Z

Tom Mens, Carine Lucas, Patrick Steyaert (1998) Proc. ICSE’98 Workshop on Precise Semantics for Software Modeling Techniques : 73-89

Practical Experiences with Reuse Contracts

2007-08-27T12:16:52Z

Tom Mens, Wilfried Verachtert (1997) Proc. European Reuse Workshop, Brussels : 105-108

Agora : Reintroducing Safety in Prototype-based Languages

2007-08-27T12:16:52Z

Tom Mens, Patrick Steyaert Wolfgang De Meuter (1996) : vub-prog-tr-96-13

Encapsulation and composition as orthogonal operators on mixins : a solution to multiple inheritance problems

2007-11-17T16:26:15Z

In class-based multiple inheritance systems, interpretations as different as duplication, sharing and specialization are associated with the single phenomenon of name collisions. To deal with those name collisions, various mechanisms have been proposed, but these solutions generally restrain software reusability which is considered to be one of the key features of OO systems. On top of this,...

Tom Mens, Marc Van Limberghen (1996) Object-Oriented Systems Journal 3: 1 1-30

Abstract semantics for ESM systems

2007-08-27T12:16:52Z

Dirk Janssens, Tom Mens (1996) Fundamenta Informaticae 26: 3 and 4 315-339

OPUS : a Calculus for Modeling Object-Oriented Concepts

2009-05-08T10:26:51Z

Tom Mens, Kim Mens, Patrick Steyaert (1994) Proc. Int’l Conf. Object-Oriented Information Systems (OOIS’94) 152-165

OPUS : a Formal Approach to Object-orientation

2009-05-08T10:28:58Z

OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, message passing and incremental modification. This is illustrated by numerous examples. Thanks to the way objects are constructed in this calculus, we can deal with self-reference, recursion and even mutual recursion in a ...

Tom Mens, Kim Mens, Patrick Steyaert (1994) Proc. Int’l Conf. Formal Methods Europe ’94 (FME’94) 326-345